{"entities":{"Q6166578":{"pageid":13301460,"ns":120,"title":"Item:Q6166578","lastrevid":55471336,"modified":"2026-02-17T17:10:53Z","type":"item","id":"Q6166578","labels":{"en":{"language":"en","value":"Temporal ASP: from logical foundations to practical use with \\texttt{telingo}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7722132"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$169A3E3D-7E7D-4637-AE31-E50CACEA1BCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"682111d99058c607a5b1a77493acf8e2d439741d","datavalue":{"value":{"text":"Temporal ASP: from logical foundations to practical use with \\texttt{telingo}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166578$94E6B9F3-65FE-4E4E-A860-F5DAD83E1A7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10c811294c12faacebeeb0a87dc41b02cd5e20bb","datavalue":{"value":"1524.68351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166578$214EFC40-A9B3-4D17-B566-0A316B7C3D93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c30f1008b5a80c6a9015a1dacf1261f249acddff","datavalue":{"value":"10.1007/978-3-030-95481-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166578$34660307-6985-42BB-9345-7FC62BE50837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e17172b64041e106abf805133500ed871f43f9f","datavalue":{"value":{"entity-type":"item","numeric-id":309904,"id":"Q309904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$E095387F-AC7E-4276-B80D-C9CEA5D98673","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ff93e23775af527ab7ac01e642d678db448e29e4","datavalue":{"value":{"entity-type":"item","numeric-id":6166575,"id":"Q6166575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$58AB8845-9E35-4906-AE9F-89363B67C5B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6eaf6392c103dc7078b19f62b9d4fcfed266fe4","datavalue":{"value":{"time":"+2023-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166578$59CB6C92-CAA3-4162-9D16-F1249895628E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166578$FF30246D-808C-454E-8012-D7152E678E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166578$A86B9093-D4E5-4CD5-8338-C35557B6A5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166578$7F5E823A-B1FF-4BD3-B522-EEFAED43D15D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af155b52eb027caee64daf4f4270548adf333dd3","datavalue":{"value":"7722132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166578$0A4A23D9-AC6B-489F-A604-C1D2E8B8B949","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166578$C7C6AA14-F8F0-46CC-9164-DE00FD14D1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166578$E0AC713B-6A77-4AA5-9DAA-8ADC2407A18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ac413f5aa94c5b7e7fdc90244795870badd09b","datavalue":{"value":"equilibrium logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166578$CBB93D13-71A7-44D3-AD26-4319B153FACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c14b7368463412560954361c4b324aa366bc4b2","datavalue":{"value":"temporal equilibrium logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166578$258B7BF3-F626-4504-8162-1BEEF847FE17","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$01913C36-9B6F-4C6A-8172-35791D499028","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af49b97adfecfd35b3f0c27508d25f7358ffedd5","datavalue":{"value":"https://doi.org/10.1007/978-3-030-95481-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166578$47D4AB93-FCC5-4493-AB4B-A0AD120412AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94daf18fc41b74fef15009851700439706aeb6b4","datavalue":{"value":"W4210522393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166578$A7612A74-42E1-403D-8AED-C1B1415DF2D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f455707a85c6f0184135457468e3b8314675c8","datavalue":{"value":{"entity-type":"item","numeric-id":4583305,"id":"Q4583305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$71E1508A-6C73-4BD9-AEBD-E6BA91BF857F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"904f1bb0840ed6208e962a08e29dee1369fa9c0b","datavalue":{"value":{"entity-type":"item","numeric-id":4635843,"id":"Q4635843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$3F3E9877-488B-4450-9801-CC9BF754AD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51349babc9d3c4785c029872745b0bb797ea3fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1337679,"id":"Q1337679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$AE7662C1-A935-445A-9231-1BE153193A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a85fa77ff7b7aca579fb2664277483f7526fd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3523235,"id":"Q3523235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$3299A5B9-31AA-4650-BC5A-232AD508C613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c0cef043b895852e298d9b771ed31285d9fadb","datavalue":{"value":{"entity-type":"item","numeric-id":4909313,"id":"Q4909313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$B862B397-BD03-473D-BB54-5FE9E9DA68BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7861eeaf8d5dabb1476eb7286fcb1015813e6e4d","datavalue":{"value":{"entity-type":"item","numeric-id":2326733,"id":"Q2326733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$AFA453E7-58AF-4672-8AE5-1C404538A9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666365d2888114949a45e3960822eef04ccc03c5","datavalue":{"value":{"entity-type":"item","numeric-id":4559802,"id":"Q4559802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$3735429C-D621-4099-9F00-6235E42BA288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$B65D1C87-CE63-4706-876E-1715BDB059FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72b12b8fe9d8095c0fff6acea9d9e2ca2d28ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5197744,"id":"Q5197744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$8BFE4F87-C01F-4448-9677-BDBB1CAAC484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca836191187cfe0b6a41958544cf85f8e4f0514","datavalue":{"value":{"entity-type":"item","numeric-id":4275262,"id":"Q4275262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$C2851C8E-5653-4410-AB19-C6CBC2BBFE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c999a03128137cbeac2feffe55e854e8d5a76471","datavalue":{"value":{"entity-type":"item","numeric-id":1108819,"id":"Q1108819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166578$532B27DA-C3EC-494A-ADA5-5499BCED80A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a330a46b6cf46446a0aa9e6010663580400bc243","datavalue":{"value":{"entity-type":"item","numeric-id":2326733,"id":"Q2326733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc68c002d556ec074e1eb639174a813a8dcdd77","datavalue":{"value":{"amount":"+0.8141680955886841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6166578$A8849EC8-68A4-4AA0-94DC-0D15140D14DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556d57e194b4bdaedf613c5b7a8deb8dcc3f38e5","datavalue":{"value":{"entity-type":"item","numeric-id":3449185,"id":"Q3449185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199bb5fc58b17fd35d8e97abbda0ceee248b725d","datavalue":{"value":{"amount":"+0.8067000508308411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6166578$BB059543-4465-49E1-B0CB-3F7391A5FE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659c390ce47edafd970430a6efc6a1ce1f1a6e94","datavalue":{"value":{"entity-type":"item","numeric-id":5398086,"id":"Q5398086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da3ec8ce340c8407772bb9097dbab2b71b81b4c","datavalue":{"value":{"amount":"+0.799578070640564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6166578$DAC72056-1CEE-4985-AB67-80DF03B54F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faed175f80fa864bd1c059cfe71a8aebd0667619","datavalue":{"value":{"entity-type":"item","numeric-id":2851228,"id":"Q2851228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc56c99a7c45f33fe9d9532a7c3e4a3e0ffa6a2c","datavalue":{"value":{"amount":"+0.7988498210906982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6166578$0EDA721C-FAF8-449A-B2A7-832339A94BE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6166578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6166578"}}}}}