{"entities":{"Q5445291":{"pageid":7474850,"ns":120,"title":"Item:Q5445291","lastrevid":50291903,"modified":"2026-01-13T18:44:18Z","type":"item","id":"Q5445291","labels":{"en":{"language":"en","value":"Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5242126"}},"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":"Q5445291$CBC89170-FA38-4469-904E-B4B5D3DD9312","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fca18f958f08220b5e94e686973b490ac0fe3f29","datavalue":{"value":{"text":"Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5445291$4AA3B75F-29FB-4913-84BF-CD72BFD3CB19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0c24fbc2ba3bc8456b3438878d29d255d527fc7","datavalue":{"value":"1138.68559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445291$96A98764-A6B0-4890-9FB9-165F45DF5516","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e166189e75e6a97afd30d074f6de0a2e9edec41","datavalue":{"value":"10.1007/978-3-540-77684-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445291$F1E9764D-46CB-4C3B-ACAA-726B07B94E9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"604a0d7fcc1e2c43b6e93347ac5f105e9bfc07d5","datavalue":{"value":{"entity-type":"item","numeric-id":498924,"id":"Q498924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$9B4213A5-2F07-4BD7-B1DE-F67FA6BE15E3","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":"Q5445291$5CC1CEAA-6095-4C24-8629-358991A3F7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$556066B5-EDEC-4FC6-807F-8F0847E5818F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$52C2DA4A-6915-46BA-8B23-88C9D3E701B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$47FF08AE-0F91-43A8-B258-3940D23AEA27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f4cea1d629a8aa358d6ac4f0c18e4c1f82cc9f1","datavalue":{"value":{"time":"+2008-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5445291$2D9ACF7A-EC3C-41E5-A4E3-A91D9EC84A05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445291$8985ED7F-74AE-4090-89D5-6D2D118E12AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445291$55E55964-475F-4682-9A75-ECEC20D44E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445291$F64B0EDB-5B26-4A9E-AE30-CEEA7E85106E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95541c3c1533e1af4b8ad183d59508562008603d","datavalue":{"value":"5242126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445291$C446454F-D3E6-4D75-9F41-21796FDF23E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$F7179737-A1AB-470E-A9E7-A9BEA03A928E","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":"Q5445291$3520542A-59AE-4B60-84F9-093F6A114281","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ac37bceae8cc4f51cfdc5f09fc0ae56f129518d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77684-0_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5445291$CC2598CF-0CEA-406E-A4BA-7A07BDB9CB53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc9306cb831512407e5f3d406b43cb9d897660e0","datavalue":{"value":"W1484234566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5445291$17D243BE-0134-48AC-BF2B-0E2AECCA71F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$F3A99F99-3DE2-4196-B761-09E9217F7D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$261DEC7D-A4E4-4C3C-9251-8A0619AAC09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$02D042B7-E494-4E06-AE4F-2B28BC6A4EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d697ddf86a3473b0b0dddc263f10e314dacbbc5","datavalue":{"value":{"entity-type":"item","numeric-id":1363783,"id":"Q1363783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$65FB8C5B-F3F9-42FA-B37A-2B580C1EDC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$57274E08-71CD-4361-98FD-D6EAFA306EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594850dc0405a1933033f8a4b3024588f6ff29a5","datavalue":{"value":{"entity-type":"item","numeric-id":5277748,"id":"Q5277748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$ED10C5CF-C693-41DA-AF8D-87F9199338D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c7d0fcce172bfc08bee9ba0fa79c71c72be739","datavalue":{"value":{"entity-type":"item","numeric-id":861709,"id":"Q861709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$2AF76B91-CDC3-4035-ABB1-67B16B2D32A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befd5bf037312a5f81f972d48216396733a6971","datavalue":{"value":{"entity-type":"item","numeric-id":5277755,"id":"Q5277755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$0B1BE68E-E5EA-4E6F-A0E4-97D01218D860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$5ECC3916-C5DC-4B68-8876-AE29BB9922FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$8C5EA0E4-00E5-4FDF-A0DE-6E241B1EC1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3eb31d1f35138bbf0149d57bdfea62403193c96","datavalue":{"value":{"entity-type":"item","numeric-id":5191482,"id":"Q5191482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$25A81943-37F3-4361-849A-55F454A5FD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aa7f823732baef134ea790bcd0c07074553bf","datavalue":{"value":{"entity-type":"item","numeric-id":4815035,"id":"Q4815035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$79DC0D6C-FB92-4357-BD08-2378DF37C023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e3b8457bdbc5cddcf19c9c044bcacd79aa4e5a","datavalue":{"value":{"entity-type":"item","numeric-id":4736482,"id":"Q4736482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$9AED5A68-713A-425A-9DB5-69A335F6AE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd95268db7c6b7315032cb4ede7c6c2c9b37e1f","datavalue":{"value":{"entity-type":"item","numeric-id":3181745,"id":"Q3181745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$9044B6AC-665F-4081-94C7-7B167BD3366A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971827659a9b787383fcb93f2ce4a88c28fa1753","datavalue":{"value":{"entity-type":"item","numeric-id":4815031,"id":"Q4815031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$88981DD9-E03F-478D-92B2-ED0EBFB3DE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f5d48ad5f87848ba0169288bf01b30b971d92e","datavalue":{"value":{"entity-type":"item","numeric-id":854963,"id":"Q854963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5445291$DC336369-F489-48BF-88FB-2AE0E501C20C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f812925c8d67723c8b1e2e6ab99b4964a6885c","datavalue":{"value":{"entity-type":"item","numeric-id":5394122,"id":"Q5394122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6dab776ac441ad6f1a8114a49fe54db5702dfc","datavalue":{"value":{"amount":"+0.8272796273231506","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":"Q5445291$ABC69429-AD68-4610-83BB-443105CF1345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3856aa65ee0d250555791d3bf800ed2f2110ff97","datavalue":{"value":{"entity-type":"item","numeric-id":3008405,"id":"Q3008405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc21b27b47dc69153155f24fb550b730e121748","datavalue":{"value":{"amount":"+0.8078499436378479","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":"Q5445291$9D3081AC-89E5-4130-8528-28EBD913F444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8337863b8b0f352799f900a9f9ba6c7094ac8d40","datavalue":{"value":{"entity-type":"item","numeric-id":5191482,"id":"Q5191482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee493ac9e36c884e99c9baa8f71d659a8a3b0a09","datavalue":{"value":{"amount":"+0.8071876168251038","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":"Q5445291$9E9294ED-3F84-4325-8A9B-B9A3C333E716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e65fd1489d2775ce28012b571ce1e2ca73942b","datavalue":{"value":{"entity-type":"item","numeric-id":2644415,"id":"Q2644415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3cc001cf61cebd6183638996fa53517e3fa2dd","datavalue":{"value":{"amount":"+0.8046299815177917","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":"Q5445291$C9A28271-FD85-4E37-A184-73F2912A7CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25b74dbece6f252ddc58fd72e3bc573218e5729","datavalue":{"value":{"entity-type":"item","numeric-id":5451973,"id":"Q5451973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c90897e32d6dd96b181a29d4e953584e58113fb","datavalue":{"value":{"amount":"+0.8041906952857971","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":"Q5445291$4657C564-8B16-475D-8E65-E3B145ABFC2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5445291","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5445291"}}}}}