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": "Zuletzt ge\u00e4ndert",
"key": "_MDAT",
"redi": "",
"typeid": "_dat",
"mode": 1,
"format": ""
}
],
"results": {
"Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1713195007",
"raw": "1/2024/4/15/15/30/7/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"
},
"Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models/en": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"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:RestrictedChaseUniversalModelsInLean.pdf": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1713194838",
"raw": "1/2024/4/15/15/27/18/0"
}
]
},
"fulltext": "Datei:RestrictedChaseUniversalModelsInLean.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:RestrictedChaseUniversalModelsInLean.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Seminar Logic-Based Knowledge Representation (SS2024)": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1713187552",
"raw": "1/2024/4/15/13/25/52/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-24-logicintro.pdf": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"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": ""
},
"Proof Theory and Sequent Systems (SS2024)": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1713183655",
"raw": "1/2024/4/15/12/20/55/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"
},
"Inproceedings3377": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1713183235",
"raw": "1/2024/4/15/12/13/55/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"
},
"Concurrency Theory (SS2024)": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1713179321",
"raw": "1/2024/4/15/11/8/41/0"
}
]
},
"fulltext": "Concurrency Theory (SS2024)",
"fullurl": "//iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)",
"namespace": 0,
"exists": "1",
"displaytitle": "Concurrency Theory"
},
"Datei:CONCUR24-E01-bisimulation.pdf": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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": ""
},
"Theoretische Informatik und Logik (SS2024)": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1713169212",
"raw": "1/2024/4/15/8/20/12/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-03-overlay.pdf": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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": ""
},
"Algorithmic Game Theory (SS2024)": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1713163079",
"raw": "1/2024/4/15/6/37/59/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"
},
"Inproceedings3363": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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": {
"Zuletzt ge\u00e4ndert": [
{
"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/en": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712645195",
"raw": "1/2024/4/9/6/46/35/0"
}
]
},
"fulltext": "Chase Termination Beyond Polynomial Time/en",
"fullurl": "//iccl.inf.tu-dresden.de/web/Chase_Termination_Beyond_Polynomial_Time/en",
"namespace": 0,
"exists": "1",
"displaytitle": "Chase Termination Beyond Polynomial Time"
},
"Chase Termination Beyond Polynomial Time": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"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"
},
"Inproceedings3376": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712591911",
"raw": "1/2024/4/8/15/58/31/0"
}
]
},
"fulltext": "Inproceedings3376",
"fullurl": "//iccl.inf.tu-dresden.de/web/Inproceedings3376",
"namespace": 0,
"exists": "1",
"displaytitle": "Chase Termination Beyond Polynomial Time"
},
"Datei:Chase Termination Beyond Polynomial Time.pdf": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712591798",
"raw": "1/2024/4/8/15/56/38/0"
}
]
},
"fulltext": "Datei:Chase Termination Beyond Polynomial Time.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:Chase_Termination_Beyond_Polynomial_Time.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:Arxiv-combined.pdf": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712591650",
"raw": "1/2024/4/8/15/54/10/0"
}
]
},
"fulltext": "Datei:Arxiv-combined.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:Arxiv-combined.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:TheoLog2024-Vorlesung-01-print.pdf": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712587998",
"raw": "1/2024/4/8/14/53/18/0"
}
]
},
"fulltext": "Datei:TheoLog2024-Vorlesung-01-print.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:TheoLog2024-Vorlesung-01-print.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Datei:TheoLog2024-Vorlesung-01-overlay.pdf": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712587781",
"raw": "1/2024/4/8/14/49/41/0"
}
]
},
"fulltext": "Datei:TheoLog2024-Vorlesung-01-overlay.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:TheoLog2024-Vorlesung-01-overlay.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"H\u00dcL/S386/en": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712570103",
"raw": "1/2024/4/8/9/55/3/0"
}
]
},
"fulltext": "H\u00dcL/S386/en",
"fullurl": "//iccl.inf.tu-dresden.de/web/H%C3%9CL/S386/en",
"namespace": 0,
"exists": "1",
"displaytitle": "Room H\u00dcL/S386"
},
"H\u00dcL/S386": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712570103",
"raw": "1/2024/4/8/9/55/3/0"
}
]
},
"fulltext": "H\u00dcL/S386",
"fullurl": "//iccl.inf.tu-dresden.de/web/H%C3%9CL/S386",
"namespace": 0,
"exists": "1",
"displaytitle": "Raum H\u00dcL/S386"
},
"An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation/en": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712567120",
"raw": "1/2024/4/8/9/5/20/0"
}
]
},
"fulltext": "An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation/en",
"fullurl": "//iccl.inf.tu-dresden.de/web/An_Algebraic_Notion_of_Conditional_Independence,_and_its_Application_to_Knowledge_Representation/en",
"namespace": 0,
"exists": "1",
"displaytitle": "An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation"
},
"An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712556369",
"raw": "1/2024/4/8/6/6/9/0"
}
]
},
"fulltext": "An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation",
"fullurl": "//iccl.inf.tu-dresden.de/web/An_Algebraic_Notion_of_Conditional_Independence,_and_its_Application_to_Knowledge_Representation",
"namespace": 0,
"exists": "1",
"displaytitle": "An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation"
},
"Datei:ER-Rudolph-Lecture01.pdf": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712486209",
"raw": "1/2024/4/7/10/36/49/0"
}
]
},
"fulltext": "Datei:ER-Rudolph-Lecture01.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:ER-Rudolph-Lecture01.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"First-Order Logic \u2013 Semantic and Computational Properties (SS2024)": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712331101",
"raw": "1/2024/4/5/15/31/41/0"
}
]
},
"fulltext": "First-Order Logic \u2013 Semantic and Computational Properties (SS2024)",
"fullurl": "//iccl.inf.tu-dresden.de/web/First-Order_Logic_%E2%80%93_Semantic_and_Computational_Properties_(SS2024)",
"namespace": 0,
"exists": "1",
"displaytitle": "First-Order Logic \u2013 Semantic and Computational Properties"
},
"Proof Theory and Sequent Systems (SS2024)/en": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712242106",
"raw": "1/2024/4/4/14/48/26/0"
}
]
},
"fulltext": "Proof Theory and Sequent Systems (SS2024)/en",
"fullurl": "//iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2024)/en",
"namespace": 0,
"exists": "1",
"displaytitle": "Proof Theory and Sequent Systems"
},
"Lukas Gerlach": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712155114",
"raw": "1/2024/4/3/14/38/34/0"
}
]
},
"fulltext": "Lukas Gerlach",
"fullurl": "//iccl.inf.tu-dresden.de/web/Lukas_Gerlach",
"namespace": 0,
"exists": "1",
"displaytitle": "Lukas Gerlach"
},
"Inproceedings3368": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712056645",
"raw": "1/2024/4/2/11/17/25/0"
}
]
},
"fulltext": "Inproceedings3368",
"fullurl": "//iccl.inf.tu-dresden.de/web/Inproceedings3368",
"namespace": 0,
"exists": "1",
"displaytitle": "Representative Answer Sets: Collecting Something of Everything"
},
"Datei:2023BGR.pdf": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712056631",
"raw": "1/2024/4/2/11/17/11/0"
}
]
},
"fulltext": "Datei:2023BGR.pdf",
"fullurl": "//iccl.inf.tu-dresden.de/web/Datei:2023BGR.pdf",
"namespace": 6,
"exists": "1",
"displaytitle": ""
},
"Martin Diller": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712052136",
"raw": "1/2024/4/2/10/2/16/0"
}
]
},
"fulltext": "Martin Diller",
"fullurl": "//iccl.inf.tu-dresden.de/web/Martin_Diller",
"namespace": 0,
"exists": "1",
"displaytitle": "Martin Diller"
},
"Research Seminar Logic and AI": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1712039685",
"raw": "1/2024/4/2/6/34/45/0"
}
]
},
"fulltext": "Research Seminar Logic and AI",
"fullurl": "//iccl.inf.tu-dresden.de/web/Research_Seminar_Logic_and_AI",
"namespace": 0,
"exists": "1",
"displaytitle": "Research Seminar Logic and AI"
},
"Sarah Alice Gaggl": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1711703629",
"raw": "1/2024/3/29/9/13/49/0"
}
]
},
"fulltext": "Sarah Alice Gaggl",
"fullurl": "//iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl",
"namespace": 0,
"exists": "1",
"displaytitle": "Sarah Alice Gaggl"
},
"First-Order Logic \u2013 Semantic and Computational Properties (SS2024)/en": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1711632932",
"raw": "1/2024/3/28/13/35/32/0"
}
]
},
"fulltext": "First-Order Logic \u2013 Semantic and Computational Properties (SS2024)/en",
"fullurl": "//iccl.inf.tu-dresden.de/web/First-Order_Logic_%E2%80%93_Semantic_and_Computational_Properties_(SS2024)/en",
"namespace": 0,
"exists": "1",
"displaytitle": ""
},
"Generating molecule graphs from mass spectrometry results using Answer-Set-Programming/en": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1711376804",
"raw": "1/2024/3/25/14/26/44/0"
}
]
},
"fulltext": "Generating molecule graphs from mass spectrometry results using Answer-Set-Programming/en",
"fullurl": "//iccl.inf.tu-dresden.de/web/Generating_molecule_graphs_from_mass_spectrometry_results_using_Answer-Set-Programming/en",
"namespace": 0,
"exists": "1",
"displaytitle": "Generating molecule graphs from mass spectrometry results using Answer-Set-Programming"
},
"Generating molecule graphs from mass spectrometry results using Answer-Set-Programming": {
"printouts": {
"Zuletzt ge\u00e4ndert": [
{
"timestamp": "1711376804",
"raw": "1/2024/3/25/14/26/44/0"
}
]
},
"fulltext": "Generating molecule graphs from mass spectrometry results using Answer-Set-Programming",
"fullurl": "//iccl.inf.tu-dresden.de/web/Generating_molecule_graphs_from_mass_spectrometry_results_using_Answer-Set-Programming",
"namespace": 0,
"exists": "1",
"displaytitle": "Generating molecule graphs from mass spectrometry results using Answer-Set-Programming"
}
},
"serializer": "SMW\\Serializers\\QueryResultSerializer",
"version": 2,
"meta": {
"hash": "79b02c751a88251636d90683f96b8741",
"count": 50,
"offset": 0,
"source": "",
"time": "0.013743"
}
}
}