{"entities":{"Q5504650":{"pageid":7534210,"ns":120,"title":"Item:Q5504650","lastrevid":50547365,"modified":"2026-01-14T08:55:21Z","type":"item","id":"Q5504650","labels":{"en":{"language":"en","value":"Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5496687"}},"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":"Q5504650$434F4F36-6C96-40F7-92E9-A91BFB55072A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f73f3907f1cc3d2403abf81aa73832502b907f6","datavalue":{"value":{"text":"Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5504650$C2933775-A67A-48A8-B010-420A01C95606","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a048c6f748588932ada37fd44bad9252372fb02","datavalue":{"value":"1185.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504650$926DF825-D064-42A9-B8E9-6D0946D2DBA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8807f6b60431439ca03d923d5d6db0caaa48e494","datavalue":{"value":"10.1007/978-3-540-89982-2_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504650$CAA811DB-1133-4AAA-90FF-8FD6F7DF4EFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c426544bb8ac422f7f01b16c87ed6dcb0cd6104c","datavalue":{"value":{"entity-type":"item","numeric-id":253990,"id":"Q253990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$95FEC9D2-970E-4C38-A864-17BC25CFD6A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$1C312898-703F-4744-AD70-FAFFA495CD45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2844be9af34a276fa39e2e4031f3513bcfe525d4","datavalue":{"value":{"time":"+2009-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5504650$31342D9A-CD48-4109-B4BF-A538C4D5BCC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504650$CB188967-2CE8-49EE-A4C3-ECC7D070EC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504650$E3DC50FC-578A-4DB2-84CE-22A578E12BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504650$7B200B2A-55A5-4C4D-B7E3-F7E8E199DE9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b2997e81c2c4be2adcc861de3f151402fbfd56e","datavalue":{"value":"5496687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504650$88251251-7166-4694-AB18-A82FE5223B4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504650$45E91AA0-71B3-4A23-9A7B-9C505F4BCC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b030c2db3c695d87c42ce639374450db17b6ecd","datavalue":{"value":"uniform equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504650$118CE16B-27F7-4843-90D5-B5D861E5D67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504650$C719D093-5A46-4223-904E-5137FADC5ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4171ea3452ad77694350646997bc347c9ac7adee","datavalue":{"value":"program optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504650$49C0A491-9C8B-45B7-855A-AC6992A4D41B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5bf7792417d9e3fd8a6a7d4aef4b6d03fb1480a","datavalue":{"value":{"entity-type":"item","numeric-id":13127,"id":"Q13127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$F9E4575C-C27D-4310-BE9E-321A1A55493F","rank":"normal"},{"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":"Q5504650$7FDD22A1-085B-4A65-A305-BE8C32631D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c1ef313e426f71f5dcd127dfe1b9fad8b07d119","datavalue":{"value":{"entity-type":"item","numeric-id":19153,"id":"Q19153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$EF693BA3-6EF8-44DD-8B42-1E312D347DC1","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":"Q5504650$3E40FC78-1B96-427A-B7FA-1AF140CE80D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8632dbbe7bb028843a655035d96c8f92fcd9e1a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89982-2_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5504650$7649B308-9F56-413E-85D0-9AD7A82C27A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2855210e01524334f2d1f12d4e2128c600144c01","datavalue":{"value":"W1830221155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504650$8C5DE4D9-2FE5-47EB-BD38-04F4E5C95B7A","rank":"normal"}],"P223":[{"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":"Q5504650$69DDBA34-B8A9-4317-A5ED-936C0AC2C871","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":"Q5504650$4D2CB5A2-3A15-4C0F-8FF1-7E9FAE594CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c7667b0e3af3cd40d17928083c501e3d2c7a15","datavalue":{"value":{"entity-type":"item","numeric-id":5424885,"id":"Q5424885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$CC9D0D19-7AD4-448A-ABF2-6BC6C58CDBAC","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":"Q5504650$62330D27-5BA4-4F83-986F-639425A8A17E","rank":"normal"},{"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":"Q5504650$13B2E8C1-597A-4BA0-BAC7-EB21482289B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9850dbfc39b62eaf426aadba129c147ef53a245","datavalue":{"value":{"entity-type":"item","numeric-id":881833,"id":"Q881833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$7D16BFF9-F7AC-4743-AF55-9B41D43636D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbedbead53d74a32e5a7433f77daee73459fc4a7","datavalue":{"value":{"entity-type":"item","numeric-id":3506442,"id":"Q3506442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$19FB3216-4F9A-4809-9DCB-3D697338BB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e23772db96e9bf015553350a5ee3dfa756e876","datavalue":{"value":{"entity-type":"item","numeric-id":5425408,"id":"Q5425408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$1BAECDD2-F6FD-4678-80FE-7E64E695D2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361a7b341d619ec73fc115f42df2d9f2bb8bf849","datavalue":{"value":{"entity-type":"item","numeric-id":5451973,"id":"Q5451973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$25547135-134F-4471-83E5-1B54574E90FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af0996b1bbdbbeab6ef4927efe8d4a7bd8a2b5d2","datavalue":{"value":{"entity-type":"item","numeric-id":854968,"id":"Q854968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$3A66D32C-80D5-4538-AC8B-DB42191F4CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550e25e3a74fd3b0952480baa830dd6f8033718c","datavalue":{"value":{"entity-type":"item","numeric-id":5394123,"id":"Q5394123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$5C5889BB-81CA-4FDE-8E33-53AD4E82581D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ab0d53caff47e06ccee82fa286f81c7018e083","datavalue":{"value":{"entity-type":"item","numeric-id":3624060,"id":"Q3624060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$2A6D5DB0-3FB6-436A-AFD0-AAB560521CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6284e3aa61c09d97c89d43e58aba73ad8a6cb1a0","datavalue":{"value":{"entity-type":"item","numeric-id":5425407,"id":"Q5425407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$48D32F00-8CF3-4D59-9667-55176DAEEEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ec7e26714b2588a89599299802fbed0e409e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5277782,"id":"Q5277782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$8ACF5890-8F0D-4B4E-8662-292710DA707B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6f1672bd9ca61ccb8ef6263c9a7908245e4015","datavalue":{"value":{"entity-type":"item","numeric-id":5424874,"id":"Q5424874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$D1B31141-3688-4026-A0E9-ECE262505FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf275ea16c4cb3b4c034947ed7873316c29790a","datavalue":{"value":{"entity-type":"item","numeric-id":5431419,"id":"Q5431419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$040C1701-FC40-4373-A071-A0BEA9C9F796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e70ff4632e81bd680b01337c672c0cbd029ed9","datavalue":{"value":{"entity-type":"item","numeric-id":3608649,"id":"Q3608649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504650$1B298067-F7EB-4A2F-BBC6-1E1B905B01FD","rank":"normal"}],"P1643":[{"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":"4c0ea514e198cfa2d13858ae008068bf442d165c","datavalue":{"value":{"amount":"+0.971412479877472","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":"Q5504650$5E9F0935-1ECC-472B-9134-A57305B1B0C6","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":"92761d087334bf8aa0c12af13f260abbb532f495","datavalue":{"value":{"amount":"+0.8333562612533569","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":"Q5504650$F15C7BB5-A48C-4D28-8B07-B0BE8ED75C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef47f4dfa19f85f1e5824ec163fad12514ae6ce5","datavalue":{"value":{"entity-type":"item","numeric-id":5424874,"id":"Q5424874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48c0a016d0a6c75a3b334ff2ab8d89d10d7fb26c","datavalue":{"value":{"amount":"+0.8155133724212646","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":"Q5504650$FA31FD9C-6EE8-4433-B4B1-30B34ECE8A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aacdb0a177fd3fce5410d6abad8a8f0cbf33f2d7","datavalue":{"value":{"entity-type":"item","numeric-id":2407875,"id":"Q2407875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba3ebf8a74d7777037fcb11121469eee56d12370","datavalue":{"value":{"amount":"+0.8060881495475769","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":"Q5504650$74E9E1D6-9F19-46E6-835A-734F37F18987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a789569f5e6934a3f6b788d824a20447a9c05f","datavalue":{"value":{"entity-type":"item","numeric-id":5475778,"id":"Q5475778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0d363ac46b482b363a28f2107f57dc97ca2879","datavalue":{"value":{"amount":"+0.8031582832336426","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":"Q5504650$6E52A735-16EE-49B9-9992-6299B8E6C877","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5504650","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5504650"}}}}}