{"entities":{"Q4593002":{"pageid":6622587,"ns":120,"title":"Item:Q4593002","lastrevid":58284303,"modified":"2026-04-04T13:49:14Z","type":"item","id":"Q4593002","labels":{"en":{"language":"en","value":"A denotational semantics for equilibrium logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804564"}},"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":"Q4593002$86F4ACEA-FABD-426D-A55F-B393DAC2F808","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb86f6a1367be81fe24c3a6424302bc965045da3","datavalue":{"value":{"text":"A denotational semantics for equilibrium logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593002$C64EB9B4-9911-4653-902F-E965864F6520","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f05515e04e29d868f50c5e2a76c1976029352df6","datavalue":{"value":"1379.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593002$0F9441BF-0136-4242-ACB2-5F0CA5FB9FAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cdade1a31afd494d006c16647c629596af28f7d","datavalue":{"value":"10.1017/S1471068415000277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593002$36DB5773-62D2-432D-BA3C-60D258722263","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593002$FE102F55-0BF8-4565-87A6-79D87AFFA955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593002$CC44D169-9D27-4F45-8724-C1B45149AFEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74f84d5c5090dfa472490b34f1a58de1f2c867f0","datavalue":{"value":"https://arxiv.org/abs/1507.06915","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593002$590565F4-9378-4219-8D65-078B0945ED1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593002$762F2493-5EA8-4803-8E9B-FB18DA37BBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593002$28321626-7062-4599-8F1B-0F692B4B74EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a845a12d132dac99085d564529e7abe17845d69","datavalue":{"value":"6804564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593002$A925A154-839A-47A7-BFDE-1752B34D2FA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593002$F60E261A-F8A7-4A32-ABFF-3E5010F783B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ac413f5aa94c5b7e7fdc90244795870badd09b","datavalue":{"value":"equilibrium logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593002$4948C3AB-24A2-4F6C-882C-F1EE7695513E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593002$E0AA6FF2-FC2E-4C34-B56B-991A55DB7DD5","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":"Q4593002$1882C4B9-E4A8-486E-93C5-E08FDAA07BE1","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":"Q4593002$28B8B854-0FAD-4AD2-8CC9-3BC8912EE7B5","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":"Q4593002$FA9FA230-F3A5-4862-9CA8-AE5827A7F179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909dcce9ef475375dc0fdd7c7254791b6752b246","datavalue":{"value":{"entity-type":"item","numeric-id":2457796,"id":"Q2457796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593002$9D9CB26C-FB3C-40B7-9468-26F8A17AA422","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":"Q4593002$605AC366-AFE9-4E57-A7A4-FD6643AEFA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3210d060a12afe0766e0d0ca189692d5e890a42b","datavalue":{"value":{"entity-type":"item","numeric-id":4583308,"id":"Q4583308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593002$F317FBAF-1C08-4C0D-8BFE-53E788773FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593002$C1EE469D-22BE-44FE-ADEB-5FD3FDC5F74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8968370e8664bac5c6147e0b6215b90deb36b4ae","datavalue":{"value":{"entity-type":"item","numeric-id":3008405,"id":"Q3008405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593002$E853A56D-F290-4965-B5CD-D6CB7F17395C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593002$E920A13F-5D0C-4BB2-A2F1-3DD7B987FCF7","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":"Q4593002$A5E09D94-B136-4DAF-83AC-4571898B0534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593002$722C72D9-3B6F-4500-B84F-C90EE2DE6734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db129d68c6b1e1274e62dc2a8cc912e3103b7e8","datavalue":{"value":{"entity-type":"item","numeric-id":5473986,"id":"Q5473986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593002$8F9232C7-B248-413B-9B3B-B56295D6DC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810a438105196696cc0a2f8acd79928b03e80b29","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593002$8F24557E-90C8-4CFB-BDF5-A16946205FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7f16cd69884c174f6c7f46366177d5c18429ab","datavalue":{"value":{"entity-type":"item","numeric-id":5394121,"id":"Q5394121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593002$7FEC22F5-FA80-4B59-BBBB-83E7A074BD99","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":"Q4593002$ECC28B7C-E623-45C7-BDFB-CA6D7B97F561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c6f7ab5f180e49ad773df63b59dcbbe0c686a2","datavalue":{"value":{"entity-type":"item","numeric-id":2933088,"id":"Q2933088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593002$B4384E6A-ADCD-4C48-87C7-BD9FC0809425","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":"Q4593002$C77D0A43-1303-4C52-A39A-7633446C1841","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa64ebba9063485d2b47778fce9b0b7f02f5e53f","datavalue":{"value":{"entity-type":"item","numeric-id":3172888,"id":"Q3172888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085a5fec02b2c4810686a8c88bd2241a36274df2","datavalue":{"value":{"amount":"+0.7718528509140015","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":"Q4593002$F1BD1554-CBE7-45FF-8938-4A7C27C0AB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7b0fbc6f6db4b0f6c6b5316ab9e77f799ee6eb","datavalue":{"value":{"entity-type":"item","numeric-id":3112653,"id":"Q3112653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b75cd1ad1dfbfc48dc1c120a19dd9e0e872d96","datavalue":{"value":{"amount":"+0.7716889381408691","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":"Q4593002$D72EDEA0-682B-4397-8CC7-74C45338CD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76da20b75be59cb30ec893d99afa717830d76e9d","datavalue":{"value":{"entity-type":"item","numeric-id":2447178,"id":"Q2447178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2f344f7649be910b49143cb51e6fdde1f78acc","datavalue":{"value":{"amount":"+0.7613633275032043","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":"Q4593002$C2C89F98-F1BF-4ADD-8E3D-7D0702896CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6b9dd9780ca8ce6dd69c09db06aed1bdc778c5","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ff8a0651ea4bb4455c3f0bec408a4eb3d84877","datavalue":{"value":{"amount":"+0.7612244486808777","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":"Q4593002$BDC56629-1EEC-40CF-950E-7DA08A2A82E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9def07adecd4f3f96c038cd5d31521a274c4bf","datavalue":{"value":{"entity-type":"item","numeric-id":2767096,"id":"Q2767096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2cce689b13420a2f3f088b908f85efb2d9157e","datavalue":{"value":{"amount":"+0.7595847845077515","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":"Q4593002$D67F0531-8EFD-4083-9F3A-2AF1973615BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593002"}}}}}