{"entities":{"Q3585176":{"pageid":5615080,"ns":120,"title":"Item:Q3585176","lastrevid":58214946,"modified":"2026-04-04T06:36:02Z","type":"item","id":"Q3585176","labels":{"en":{"language":"en","value":"Logic programming for finding models in the logics of knowledge and its applications: a case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773251"}},"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":"Q3585176$99E54F4B-A42D-45A2-81F8-CAB5371A547C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0f96c775f7b168ae14a575763df971ac076f354","datavalue":{"value":{"text":"Logic programming for finding models in the logics of knowledge and its applications: A case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585176$FCD2BBCD-89AE-4D42-82BD-0C2171931BAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f41bf90b516234920a8e52d08ae09689a42df631","datavalue":{"value":"1213.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585176$4CA9E6C9-0FED-466B-B78A-85972D2C973C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0264e083c7fd0343d47541a982db07c372dff8e5","datavalue":{"value":"10.1017/S1471068410000359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585176$A9EB7A33-6CF0-4853-9B98-BC354C7965F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2ccb970cc772365b8b245465f670b4e1249bd02","datavalue":{"value":{"entity-type":"item","numeric-id":2060725,"id":"Q2060725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585176$45B816AA-2F01-440C-A898-CE8B47FC9D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51981e552a27139a0fa909d29b61875f9cf710ae","datavalue":{"value":{"entity-type":"item","numeric-id":206865,"id":"Q206865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585176$42A66BC1-8DF0-484F-9457-BF557D3C5F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3230973ef852beb18e0210d27087e5da40c072a9","datavalue":{"value":{"entity-type":"item","numeric-id":1197386,"id":"Q1197386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585176$BE6098D7-5BB9-4635-96B5-102EDF833D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19fd1ee7092bab263cc2f30700538f304f26576","datavalue":{"value":{"entity-type":"item","numeric-id":235880,"id":"Q235880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585176$1CA854EA-D812-41D5-A42F-67AE180BE4AF","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":"Q3585176$CEF16A13-1204-4A0C-9CCC-3334DFA0007E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dbecd33995f2d948db2c506d7c0f2fb946d5112","datavalue":{"value":{"time":"+2010-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585176$02F83337-AD18-4FD9-85AF-BC638046CF2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab42b1cef49bbb4c6d469317833f47b1f77b217b","datavalue":{"value":"https://arxiv.org/abs/1007.3700","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585176$9CE863BD-E6E0-4479-BFF3-5C31DE166BF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585176$D84025ED-B66B-4FE0-8138-9563021B6257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efa942c7c6f2fb66122d13edb6c1664be6328b51","datavalue":{"value":"5773251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585176$AA310EB3-12BB-451D-B07D-4BB5AB979277","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce248baa6ddc45c558e1072a9ef8778d9930096","datavalue":{"value":"planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585176$74BC93BB-32D3-4EF0-B1CD-B335DEACB66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2369f197c94d66a2f531c4f86ea3247f6715487","datavalue":{"value":"multi-agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585176$FED39C81-EB89-4020-B45C-B2627C6A241C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585176$C3F03BBD-18E9-404B-AC53-F7663661938F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9291db8f6f24de7d39d503e17e069cd87b7516e8","datavalue":{"value":{"entity-type":"item","numeric-id":19701,"id":"Q19701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585176$2FCAE89D-2DDB-4F34-9929-ECDBDF4BD3FB","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":"Q3585176$2C016378-B7E2-49C2-A2A9-39E42A850BF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6510d79e9ae71f181c050c6b8ef6152f261318fd","datavalue":{"value":{"entity-type":"item","numeric-id":4815032,"id":"Q4815032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585176$26FFFA3A-7341-4012-8D3D-A00A75A94D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18670168214b3dc0cd152f5a7b4856ae530e29a4","datavalue":{"value":{"entity-type":"item","numeric-id":2785840,"id":"Q2785840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585176$BDBF270B-C249-4C91-B27E-A990E62351EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585176$387110AB-9D88-477A-98C9-A0D8CC8D4A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585176$1D54DCDF-DC78-45ED-BE1B-B89E92073BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585176$72AAF1B7-B31C-4277-8949-C947F8278BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a3faf9d0e1138ff2b7256f0fb9448a11dda69a","datavalue":{"value":{"entity-type":"item","numeric-id":5277758,"id":"Q5277758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585176$5AD4B0D6-939D-496E-B1BB-0E5BE45AA2C9","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":"Q3585176$79CD923A-C3FC-41C6-85C8-E10ADB4A0D22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87772e37679dfd998160a00153980829ab08205c","datavalue":{"value":"W3099531604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585176$1D5ACB8B-86F2-4F6A-82E5-2CAA190D2974","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fbb17e20bbfa94242c113884c5583f7b6f43731","datavalue":{"value":{"entity-type":"item","numeric-id":4530027,"id":"Q4530027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a14e503b4ece2c1e799be7411d9e32399ecc520","datavalue":{"value":{"amount":"+0.8076984286308289","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":"Q3585176$3EB9A5B8-45D0-48D5-BB38-09AD4F2BE479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177b8773902459fb73f13651b3be13e852cc59e0","datavalue":{"value":{"entity-type":"item","numeric-id":5277695,"id":"Q5277695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d7c38c94134d02a46c8902140ef3bd123eb9b0","datavalue":{"value":{"amount":"+0.787930428981781","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":"Q3585176$8E15CF38-C576-4018-8344-21C71F9A78AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad505a3ab5fa333821cb6a5397edb6131296a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1263299,"id":"Q1263299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a3d0111d9866f5fed7975e1f64c980fe76b4ed","datavalue":{"value":{"amount":"+0.7784438729286194","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":"Q3585176$059DB08E-C160-4D6C-B91B-DB57B6B82C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5737c383593fc9f88275a4949b85112fe4794e","datavalue":{"value":{"entity-type":"item","numeric-id":2859117,"id":"Q2859117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e28071b43c988359674f3c09da85048946434f7","datavalue":{"value":{"amount":"+0.7770642042160034","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":"Q3585176$6F3226A5-FBE8-4EA0-B82D-38C8EFAFA02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4b2f5718c80b203b83f56fc31243d28598f16c","datavalue":{"value":{"entity-type":"item","numeric-id":2900545,"id":"Q2900545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a94ec897410effba69c7587bf392944156797d10","datavalue":{"value":{"amount":"+0.7702682614326477","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":"Q3585176$21F9B1B2-0585-4C9F-AEE6-3B73C5A3D50B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585176"}}}}}