MediaWiki-API-Ergebnis
This is the HTML representation of the JSON format. HTML is good for debugging, but is unsuitable for application use.
Specify the format parameter to change the output format. To see the non-HTML representation of the JSON format, set format=json.
See the complete documentation, or the API help for more information.
{
"query-continue-offset": 50,
"query": {
"printrequests": [
{
"label": "",
"key": "",
"redi": "",
"typeid": "_wpg",
"mode": 2
},
{
"label": "Modification date",
"key": "_MDAT",
"redi": "",
"typeid": "_dat",
"mode": 1
}
],
"results": {
"Concurrency Theory (SS2024)": {
"printouts": {
"Modification date": [
{
"timestamp": "1713856393",
"raw": "1/2024/4/23/7/13/13/0"
}
]
},
"fulltext": "Concurrency Theory (SS2024)",
"fullurl": "//iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)",
"namespace": 0,
"exists": "1",
"displaytitle": "Concurrency Theory"
},
"Datei:CONCUR24-04-directstyle.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713856366",
"raw": "1/2024/4/23/7/12/46/0"
}
]
},
"fulltext": "Datei:CONCUR24-04-directstyle.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:CONCUR24-04-directstyle.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Formale Systeme (WS2023)": {
"printouts": {
"Modification date": [
{
"timestamp": "1713790212",
"raw": "1/2024/4/22/12/50/12/0"
}
]
},
"fulltext": "Formale Systeme (WS2023)",
"fullurl": "//iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2023)",
"namespace": 0,
"exists": "1",
"displaytitle": "Formale Systeme"
},
"Theoretische Informatik und Logik (SS2024)": {
"printouts": {
"Modification date": [
{
"timestamp": "1713776999",
"raw": "1/2024/4/22/9/9/59/0"
}
]
},
"fulltext": "Theoretische Informatik und Logik (SS2024)",
"fullurl": "//iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2024)",
"namespace": 0,
"exists": "1",
"displaytitle": "Theoretische Informatik und Logik"
},
"Datei:TheoLog2024-Vorlesung-05-print.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713776983",
"raw": "1/2024/4/22/9/9/43/0"
}
]
},
"fulltext": "Datei:TheoLog2024-Vorlesung-05-print.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:TheoLog2024-Vorlesung-05-print.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:TheoLog2024-Vorlesung-05-overlay.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713776975",
"raw": "1/2024/4/22/9/9/35/0"
}
]
},
"fulltext": "Datei:TheoLog2024-Vorlesung-05-overlay.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:TheoLog2024-Vorlesung-05-overlay.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Algorithmic Game Theory (SS2024)": {
"printouts": {
"Modification date": [
{
"timestamp": "1713774429",
"raw": "1/2024/4/22/8/27/9/0"
}
]
},
"fulltext": "Algorithmic Game Theory (SS2024)",
"fullurl": "//iccl.inf.tu-dresden.de/web/Algorithmic_Game_Theory_(SS2024)",
"namespace": 0,
"exists": "1",
"displaytitle": "Algorithmic Game Theory"
},
"Datei:AGT24-Ex02.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713774412",
"raw": "1/2024/4/22/8/26/52/0"
}
]
},
"fulltext": "Datei:AGT24-Ex02.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:AGT24-Ex02.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models": {
"printouts": {
"Modification date": [
{
"timestamp": "1713539839",
"raw": "1/2024/4/19/15/17/19/0"
}
]
},
"fulltext": "Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models",
"fullurl": "//iccl.inf.tu-dresden.de/web/Ighting_my_Proof_Anxiety_with_Lean_-_The_Restricted_Chase_Indeed_Yields_Universal_Models",
"namespace": 0,
"exists": "1",
"displaytitle": "Fighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models"
},
"Datei:AGT2024-02.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713532975",
"raw": "1/2024/4/19/13/22/55/0"
}
]
},
"fulltext": "Datei:AGT2024-02.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:AGT2024-02.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Inproceedings3315": {
"printouts": {
"Modification date": [
{
"timestamp": "1713515834",
"raw": "1/2024/4/19/8/37/14/0"
}
]
},
"fulltext": "Inproceedings3315",
"fullurl": "//iccl.inf.tu-dresden.de/web/Inproceedings3315",
"namespace": 0,
"exists": "1",
"displaytitle": "On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets"
},
"Inproceedings3316": {
"printouts": {
"Modification date": [
{
"timestamp": "1713515775",
"raw": "1/2024/4/19/8/36/15/0"
}
]
},
"fulltext": "Inproceedings3316",
"fullurl": "//iccl.inf.tu-dresden.de/web/Inproceedings3316",
"namespace": 0,
"exists": "1",
"displaytitle": "Description Logics That Count, and What They Can and Cannot Count"
},
"News96": {
"printouts": {
"Modification date": [
{
"timestamp": "1713512982",
"raw": "1/2024/4/19/7/49/42/0"
}
]
},
"fulltext": "News96",
"fullurl": "//iccl.inf.tu-dresden.de/web/News96",
"namespace": 0,
"exists": "1",
"displaytitle": "Best Paper Award f\u00fcr Forschende des ICCL"
},
"News96/en": {
"printouts": {
"Modification date": [
{
"timestamp": "1713512256",
"raw": "1/2024/4/19/7/37/36/0"
}
]
},
"fulltext": "News96/en",
"fullurl": "//iccl.inf.tu-dresden.de/web/News96/en",
"namespace": 0,
"exists": "1",
"displaytitle": "ICCL Researchers win Best Paper Award at SAC 2024"
},
"Datei:2024.04.18-filippo-best-paper.jpeg": {
"printouts": {
"Modification date": [
{
"timestamp": "1713512252",
"raw": "1/2024/4/19/7/37/32/0"
}
]
},
"fulltext": "Datei:2024.04.18-filippo-best-paper.jpeg",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:2024.04.18-filippo-best-paper.jpeg",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"News95": {
"printouts": {
"Modification date": [
{
"timestamp": "1713511703",
"raw": "1/2024/4/19/7/28/23/0"
}
]
},
"fulltext": "News95",
"fullurl": "//iccl.inf.tu-dresden.de/web/News95",
"namespace": 0,
"exists": "1",
"displaytitle": "Ank\u00fcndigung: Themenvergabe f\u00fcr studentische Projekte"
},
"Datei:TheoLog24-Uebung03.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713469360",
"raw": "1/2024/4/18/19/42/40/0"
}
]
},
"fulltext": "Datei:TheoLog24-Uebung03.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:TheoLog24-Uebung03.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Proof Theory and Sequent Systems (SS2024)": {
"printouts": {
"Modification date": [
{
"timestamp": "1713449338",
"raw": "1/2024/4/18/14/8/58/0"
}
]
},
"fulltext": "Proof Theory and Sequent Systems (SS2024)",
"fullurl": "//iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2024)",
"namespace": 0,
"exists": "1",
"displaytitle": "Proof Theory and Sequent Systems"
},
"Datei:TheoLog2024-Vorlesung-04-overlay.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713446232",
"raw": "1/2024/4/18/13/17/12/0"
}
]
},
"fulltext": "Datei:TheoLog2024-Vorlesung-04-overlay.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:TheoLog2024-Vorlesung-04-overlay.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:TheoLog2024-Vorlesung-04-print.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713446223",
"raw": "1/2024/4/18/13/17/3/0"
}
]
},
"fulltext": "Datei:TheoLog2024-Vorlesung-04-print.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:TheoLog2024-Vorlesung-04-print.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Inproceedings3377": {
"printouts": {
"Modification date": [
{
"timestamp": "1713444930",
"raw": "1/2024/4/18/12/55/30/0"
}
]
},
"fulltext": "Inproceedings3377",
"fullurl": "//iccl.inf.tu-dresden.de/web/Inproceedings3377",
"namespace": 0,
"exists": "1",
"displaytitle": "The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains"
},
"Datei:BaBo-SAC-24.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713444837",
"raw": "1/2024/4/18/12/53/57/0"
}
]
},
"fulltext": "Datei:BaBo-SAC-24.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:BaBo-SAC-24.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"News95/en": {
"printouts": {
"Modification date": [
{
"timestamp": "1713444238",
"raw": "1/2024/4/18/12/43/58/0"
}
]
},
"fulltext": "News95/en",
"fullurl": "//iccl.inf.tu-dresden.de/web/News95/en",
"namespace": 0,
"exists": "1",
"displaytitle": "KBS group present student topics"
},
"Datei:RestrictedChaseUniversalModelsInLean.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713421836",
"raw": "1/2024/4/18/6/30/36/0"
}
]
},
"fulltext": "Datei:RestrictedChaseUniversalModelsInLean.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:RestrictedChaseUniversalModelsInLean.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Stefan Ellmauthaler": {
"printouts": {
"Modification date": [
{
"timestamp": "1713347343",
"raw": "1/2024/4/17/9/49/3/0"
}
]
},
"fulltext": "Stefan Ellmauthaler",
"fullurl": "//iccl.inf.tu-dresden.de/web/Stefan_Ellmauthaler",
"namespace": 0,
"exists": "1",
"displaytitle": "Stefan Ellmauthaler"
},
"Article3097": {
"printouts": {
"Modification date": [
{
"timestamp": "1713344010",
"raw": "1/2024/4/17/8/53/30/0"
}
]
},
"fulltext": "Article3097",
"fullurl": "//iccl.inf.tu-dresden.de/web/Article3097",
"namespace": 0,
"exists": "1",
"displaytitle": "Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features."
},
"Inproceedings3378": {
"printouts": {
"Modification date": [
{
"timestamp": "1713343754",
"raw": "1/2024/4/17/8/49/14/0"
}
]
},
"fulltext": "Inproceedings3378",
"fullurl": "//iccl.inf.tu-dresden.de/web/Inproceedings3378",
"namespace": 0,
"exists": "1",
"displaytitle": "Data Complexity in Expressive Description Logics With Path Expressions"
},
"Seminar Logic-Based Knowledge Representation (SS2024)": {
"printouts": {
"Modification date": [
{
"timestamp": "1713273875",
"raw": "1/2024/4/16/13/24/35/0"
}
]
},
"fulltext": "Seminar Logic-Based Knowledge Representation (SS2024)",
"fullurl": "//iccl.inf.tu-dresden.de/web/Seminar_Logic-Based_Knowledge_Representation_(SS2024)",
"namespace": 0,
"exists": "1",
"displaytitle": "Seminar Logic-Based Knowledge Representation"
},
"Datei:LBKR-2402-logicintro.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713273858",
"raw": "1/2024/4/16/13/24/18/0"
}
]
},
"fulltext": "Datei:LBKR-2402-logicintro.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:LBKR-2402-logicintro.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:CONCUR24-03-semantics.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713269347",
"raw": "1/2024/4/16/12/9/7/0"
}
]
},
"fulltext": "Datei:CONCUR24-03-semantics.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:CONCUR24-03-semantics.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models/en": {
"printouts": {
"Modification date": [
{
"timestamp": "1713194935",
"raw": "1/2024/4/15/15/28/55/0"
}
]
},
"fulltext": "Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models/en",
"fullurl": "//iccl.inf.tu-dresden.de/web/Ighting_my_Proof_Anxiety_with_Lean_-_The_Restricted_Chase_Indeed_Yields_Universal_Models/en",
"namespace": 0,
"exists": "1",
"displaytitle": "Fighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models"
},
"Datei:LBKR-24-logicintro.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713187547",
"raw": "1/2024/4/15/13/25/47/0"
}
]
},
"fulltext": "Datei:LBKR-24-logicintro.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:LBKR-24-logicintro.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:CONCUR24-E01-bisimulation.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713179306",
"raw": "1/2024/4/15/11/8/26/0"
}
]
},
"fulltext": "Datei:CONCUR24-E01-bisimulation.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:CONCUR24-E01-bisimulation.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:AGT2024-01.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713170400",
"raw": "1/2024/4/15/8/40/0/0"
}
]
},
"fulltext": "Datei:AGT2024-01.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:AGT2024-01.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:TheoLog2024-Vorlesung-03-overlay.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713169199",
"raw": "1/2024/4/15/8/19/59/0"
}
]
},
"fulltext": "Datei:TheoLog2024-Vorlesung-03-overlay.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:TheoLog2024-Vorlesung-03-overlay.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:TheoLog2024-Vorlesung-03-print.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1713169192",
"raw": "1/2024/4/15/8/19/52/0"
}
]
},
"fulltext": "Datei:TheoLog2024-Vorlesung-03-print.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:TheoLog2024-Vorlesung-03-print.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Inproceedings3363": {
"printouts": {
"Modification date": [
{
"timestamp": "1712923045",
"raw": "1/2024/4/12/11/57/25/0"
}
]
},
"fulltext": "Inproceedings3363",
"fullurl": "//iccl.inf.tu-dresden.de/web/Inproceedings3363",
"namespace": 0,
"exists": "1",
"displaytitle": "Notation3 as an Existential Rule Language"
},
"Datei:RR23-N3Rules.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1712923034",
"raw": "1/2024/4/12/11/57/14/0"
}
]
},
"fulltext": "Datei:RR23-N3Rules.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:RR23-N3Rules.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Inproceedings3364": {
"printouts": {
"Modification date": [
{
"timestamp": "1712922875",
"raw": "1/2024/4/12/11/54/35/0"
}
]
},
"fulltext": "Inproceedings3364",
"fullurl": "//iccl.inf.tu-dresden.de/web/Inproceedings3364",
"namespace": 0,
"exists": "1",
"displaytitle": "Abstract Domains for Database Manipulating Processes"
},
"Datei:RR23-abstractDomains.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1712922853",
"raw": "1/2024/4/12/11/54/13/0"
}
]
},
"fulltext": "Datei:RR23-abstractDomains.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:RR23-abstractDomains.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:TheoLog24-Uebung01.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1712909249",
"raw": "1/2024/4/12/8/7/29/0"
}
]
},
"fulltext": "Datei:TheoLog24-Uebung01.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:TheoLog24-Uebung01.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:TheoLog24-Uebung02.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1712909133",
"raw": "1/2024/4/12/8/5/33/0"
}
]
},
"fulltext": "Datei:TheoLog24-Uebung02.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:TheoLog24-Uebung02.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Projekte und Studienarbeiten Wissensbasierte Systeme": {
"printouts": {
"Modification date": [
{
"timestamp": "1712908950",
"raw": "1/2024/4/12/8/2/30/0"
}
]
},
"fulltext": "Projekte und Studienarbeiten Wissensbasierte Systeme",
"fullurl": "//iccl.inf.tu-dresden.de/web/Projekte_und_Studienarbeiten_Wissensbasierte_Systeme",
"namespace": 0,
"exists": "1",
"displaytitle": "Projekte und Studienarbeiten Wissensbasierte Systeme"
},
"Datei:CONCUR24-02-Bisimulation.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1712906649",
"raw": "1/2024/4/12/7/24/9/0"
}
]
},
"fulltext": "Datei:CONCUR24-02-Bisimulation.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:CONCUR24-02-Bisimulation.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:CONCUR24-01-Introduction.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1712906631",
"raw": "1/2024/4/12/7/23/51/0"
}
]
},
"fulltext": "Datei:CONCUR24-01-Introduction.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:CONCUR24-01-Introduction.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:TheoLog2024-Vorlesung-02-print.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1712841052",
"raw": "1/2024/4/11/13/10/52/0"
}
]
},
"fulltext": "Datei:TheoLog2024-Vorlesung-02-print.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:TheoLog2024-Vorlesung-02-print.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:TheoLog2024-Vorlesung-02-overlay.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1712841041",
"raw": "1/2024/4/11/13/10/41/0"
}
]
},
"fulltext": "Datei:TheoLog2024-Vorlesung-02-overlay.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:TheoLog2024-Vorlesung-02-overlay.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:AGT24 Ex01.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1712833084",
"raw": "1/2024/4/11/10/58/4/0"
}
]
},
"fulltext": "Datei:AGT24 Ex01.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:AGT24_Ex01.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:AGT SS24.pdf": {
"printouts": {
"Modification date": [
{
"timestamp": "1712739429",
"raw": "1/2024/4/10/8/57/9/0"
}
]
},
"fulltext": "Datei:AGT SS24.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:AGT_SS24.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Chase Termination Beyond Polynomial Time": {
"printouts": {
"Modification date": [
{
"timestamp": "1712645195",
"raw": "1/2024/4/9/6/46/35/0"
}
]
},
"fulltext": "Chase Termination Beyond Polynomial Time",
"fullurl": "//iccl.inf.tu-dresden.de/web/Chase_Termination_Beyond_Polynomial_Time",
"namespace": 0,
"exists": "1",
"displaytitle": "Chase Termination Beyond Polynomial Time"
}
},
"serializer": "SMW\\Serializers\\QueryResultSerializer",
"version": 2,
"meta": {
"hash": "dbfdcb7a6227c77d15920e949b29544b",
"count": 50,
"offset": 0,
"source": "",
"time": "0.015365"
}
}
}