{"entities":{"Q2326735":{"pageid":2337478,"ns":120,"title":"Item:Q2326735","lastrevid":53560652,"modified":"2026-01-25T07:22:30Z","type":"item","id":"Q2326735","labels":{"en":{"language":"en","value":"Verifying strong equivalence of programs in the input language of \\textsc{gringo}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7115980"}},"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":"Q2326735$527F3EDE-41F8-476D-A08D-0FCC00032EBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84ef3ca033b323a8f1c3274ddc78e0ddeb058cd8","datavalue":{"value":{"text":"Verifying strong equivalence of programs in the input language of \\textsc{gringo}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2326735$5CC210EA-C616-4390-A4DC-FABEA29C63DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b08f802a764fba6d734a07754982c934e624f5a","datavalue":{"value":"10.1007/978-3-030-20528-7_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326735$F067852A-B4A0-4181-B81C-9CC9A41D8D89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf8255103459cec9e4a7a50693e37eb252f850e7","datavalue":{"value":{"entity-type":"item","numeric-id":2326734,"id":"Q2326734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326735$6CECDAF2-E52F-4857-BC54-A2CDDC6FAE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b02b9e7e03e44c0aa9ad28c14a665e922cd412","datavalue":{"value":{"entity-type":"item","numeric-id":421457,"id":"Q421457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326735$8CCF9575-894A-4C47-BC74-2A91D4C23D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326735$DDDD3D4D-A25D-4068-8E74-13BB212B7BC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77c2137b577d3dd12f1645f7fd6aec4d1ea106d0","datavalue":{"value":{"time":"+2019-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2326735$B472E21D-76F0-4BD2-B2C8-02C9D0D3B1B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326735$4E5EF8B2-C6EE-47A8-BD3F-C445EE05961B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326735$EBF96693-ED51-49F7-9E01-FE38FC553BF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5c82ebfaf48ef72ddf7a6c8ad0e74fb9cd0e841","datavalue":{"value":"7115980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326735$8DB0969A-FD5C-4AA2-B4D2-2B9714CA4436","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326735$20828858-E091-4160-84EE-48EE282B7A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42980b6b269d46d6dffc89e1fefab8681fc78a94","datavalue":{"value":{"entity-type":"item","numeric-id":42137,"id":"Q42137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326735$2674BEFD-8627-4D54-AA5E-699A25269612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d6e84e9c36b0c6a2477129394fe7ca01650b7f","datavalue":{"value":{"entity-type":"item","numeric-id":16800,"id":"Q16800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326735$2F30EAD1-8404-48FA-8CCC-0FC837929E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326735$D8ADD314-5A71-4831-A675-0C1D1EC32DDB","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":"Q2326735$1380FE3F-72D1-4D6F-8AA1-A0180E2EA31D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73e6d44b1be1956d87fdf5a75a9efaa6e7db6934","datavalue":{"value":"https://doi.org/10.1007/978-3-030-20528-7_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2326735$07011E8A-6D23-41A7-9DD4-AB49972E1DA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a4be91ca021eeb2f9009b38cecc5167353939c6","datavalue":{"value":"W2945261847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326735$D9D1E87E-F6D6-4C84-9FC1-AA61C0E3E434","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e000ad49afd82833cb64d9dd071c10fe20bb66","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79c456b14d72b63ff541c604753ad18f8b390c75","datavalue":{"value":{"amount":"+0.8004354238510132","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":"Q2326735$06123197-3DCA-49E4-8EF2-5614A87D3CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b8fbbab91c7d04c31aa12e8963378a3e993572","datavalue":{"value":{"entity-type":"item","numeric-id":5431418,"id":"Q5431418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d2aaf38bb630b9623f6777a059123b48181413","datavalue":{"value":{"amount":"+0.7957645058631897","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":"Q2326735$0C38370D-AEAD-420B-962F-D2978E148927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b30f1102ef9c2217ea44aa83b31db1770bb1035","datavalue":{"value":{"entity-type":"item","numeric-id":5140011,"id":"Q5140011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec98ee55c65a645947bfe474fb16a177c0171656","datavalue":{"value":{"amount":"+0.7883425354957581","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":"Q2326735$24A4AE0F-81FF-48E5-8E5A-3236DB850D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9689fe7c73db41156fb2d54e47929011d4a84159","datavalue":{"value":{"entity-type":"item","numeric-id":5424886,"id":"Q5424886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e4840e54c484b45cb08fe443fd6dcc26e98b847","datavalue":{"value":{"amount":"+0.7874577045440674","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":"Q2326735$0F01C482-E392-4A1B-876D-DEBE70FD2143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a874e584e3d8d03702e1bac3b705fb764b3b7143","datavalue":{"value":{"entity-type":"item","numeric-id":4808808,"id":"Q4808808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810fbeec035d3089be83c758efaef57e554747ed","datavalue":{"value":{"amount":"+0.7792841196060181","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":"Q2326735$82026B24-79B2-482C-BB06-98A47243F308","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2326735","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2326735"}}}}}