{"entities":{"Q345702":{"pageid":347469,"ns":120,"title":"Item:Q345702","lastrevid":52688984,"modified":"2026-01-23T06:44:36Z","type":"item","id":"Q345702","labels":{"en":{"language":"en","value":"Game semantics for non-monotonic intensional logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6659110"}},"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":"Q345702$3585BCCA-CE53-4D79-9D5F-3FF9A7B7E470","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1c7ca8e192c4f618fb1b83103d28d7051d20eec","datavalue":{"value":{"text":"Game semantics for non-monotonic intensional logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q345702$0F888740-CA99-4A8A-B9A7-923B38E4A1D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1560ecaf877b6d55d2845e00ede1f5d7edc23642","datavalue":{"value":"1350.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345702$190E34DD-BB9B-47DB-8006-3B54AEFACEEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18739a4260c6dc3b50de2ebcb14b68c236c66d5b","datavalue":{"value":{"entity-type":"item","numeric-id":345700,"id":"Q345700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$816CEA0F-2D97-47A9-852D-56DD12EB67EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eabe44788d95d3eeb614879e9f2cbd05912d1c01","datavalue":{"value":{"entity-type":"item","numeric-id":345701,"id":"Q345701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$6EB725A0-9372-438A-9694-244007D24868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc397ee761647537d18191e49156594f1ff1e719","datavalue":{"value":{"entity-type":"item","numeric-id":169899,"id":"Q169899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$F270ED32-4908-4927-8BE6-EB06D6F32806","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$92CC7708-8CAC-481E-A9DB-472806F38570","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a54830ddddf8efde2ef9bbf0a00011143bf8f201","datavalue":{"value":{"time":"+2016-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q345702$790107FF-2CB9-4A93-AA97-1F434D03E0A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345702$99D51348-2F90-4380-A9D4-3630396E83D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345702$623D4B11-0348-495E-9693-79DF7B79993D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345702$2E0960DA-E454-4D72-B541-2BF35764D982","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1951289d05234910c32acc9c437248cf0e424c6e","datavalue":{"value":"6659110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345702$9ED4AA81-F332-433A-AC3A-20A0A6C3DB07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q345702$3F78663C-026C-4DA4-8AA4-BDDACED564EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a90443b7f91de49602140139787a4600c3cdf5a2","datavalue":{"value":"intensional logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q345702$BE404A5D-61FA-4252-8C43-4FBBEB3E5457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b9043c7a4b3d72754e6297ab4230a16aefcc687","datavalue":{"value":"nonmonotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q345702$6D7A15F7-EDDA-4FDC-82EE-2D4AACBBF969","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":"Q345702$196D7490-459A-407E-BE46-92F4186A800C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bdc84fd7c8404b6d612a5ae310991c50ec63a7e","datavalue":{"value":"https://doi.org/10.1016/j.apal.2016.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q345702$7BC20F5B-2F2E-4C7F-99C9-FE0D05CD285E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f14633f21d5858649ba088b82b5a4e09330bb7d3","datavalue":{"value":"W2530798921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345702$9B94ADFF-DBF1-49AC-B821-374AC94770B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b38e00f9ec1f1ad95bd5a593d1dbecc11889a11","datavalue":{"value":{"entity-type":"item","numeric-id":1079962,"id":"Q1079962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$7A6D6541-0F08-46AE-AC53-180E650B793D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d332575dd1e03d3d97497607abbb55c868eb39e2","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$B10D49E7-14FA-4393-8DF5-E4F5D204E8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fecc1cae86af7527d2bf5f4519470c4a693e30f","datavalue":{"value":{"entity-type":"item","numeric-id":2474440,"id":"Q2474440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$69C3DD2F-A915-470B-BEE9-596F166879FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9940c0e06b26b1101c84817c76f74d0dadecc1","datavalue":{"value":{"entity-type":"item","numeric-id":5817866,"id":"Q5817866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$BA0A53DD-67D1-466B-89DB-9862CA0B4340","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":"Q345702$E1066EF8-B615-4461-A898-E43F48352D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$9F0663A0-4A25-4798-85B9-935DCC7FF421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$877316DC-56B7-4DDC-9178-2B79D26F82B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a27d29d6c8a6d90cf683150add9e5ddb2d9f1b6","datavalue":{"value":{"entity-type":"item","numeric-id":3806791,"id":"Q3806791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$A986964F-E254-4532-B575-702D018761A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22e8f38404d034b12576e90c9438856e777354","datavalue":{"value":{"entity-type":"item","numeric-id":4369409,"id":"Q4369409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$71CD26CA-BEA9-475B-A21B-C2D15CF72B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07611ee42a8009bb3ba13ff374bfec46fd7c5518","datavalue":{"value":{"entity-type":"item","numeric-id":4015949,"id":"Q4015949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$6481C701-6564-4DAF-B06B-08D62E1272B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16a1aee5ba30134d85bbea3ae8ff9f978a1b201","datavalue":{"value":{"entity-type":"item","numeric-id":4047529,"id":"Q4047529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$9479A625-DF2B-470E-A480-D91A58B9CCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f416887b483d031e2a1ab3f87df72039596e5308","datavalue":{"value":{"entity-type":"item","numeric-id":388214,"id":"Q388214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$BF80CBE1-4464-4681-A53D-4EEF0C510FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f5b57336e5f2bc922c7f31f958263e5ce7ad0c","datavalue":{"value":{"entity-type":"item","numeric-id":3750144,"id":"Q3750144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q345702$7CC688CC-1B71-4AFC-9ABA-7029C897004B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34c8f71f253dd0e618c7d05e6552471442cd87b9","datavalue":{"value":"10.1016/J.APAL.2016.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q345702$C2FA8C64-AF57-4579-9778-54955F9A1F05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60331b663f10ff547a709f3c81ba3a2990cac227","datavalue":{"value":{"entity-type":"item","numeric-id":2851265,"id":"Q2851265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4771defeb565d564a9b06a7555041e7a4fff1c11","datavalue":{"value":{"amount":"+0.9879137277603148","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":"Q345702$954BD838-1AC3-41E9-A9B5-4110F17A5379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2fc07422b876fb20982f27508d04c53f3b2255","datavalue":{"value":{"entity-type":"item","numeric-id":4015949,"id":"Q4015949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c54f3284afa3390fbf852d0119d96d5ae2da8b","datavalue":{"value":{"amount":"+0.8287188410758972","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":"Q345702$55932EE8-F6BE-4334-A5C2-C655577E2C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496d92ed380b69a7c4a4015653d4adf73ef14fd3","datavalue":{"value":{"entity-type":"item","numeric-id":514506,"id":"Q514506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a6358043602b8ffab3a7104cfd94db1728c82fd","datavalue":{"value":{"amount":"+0.8287121057510376","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":"Q345702$C9F022BE-B8BA-484D-ADE6-668224681049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc6dbd73a308081e29e7c7043ea3202b08c2e6a","datavalue":{"value":{"entity-type":"item","numeric-id":388214,"id":"Q388214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a27cd156830d7e5f1dd8dacd4232ae015ef7b4","datavalue":{"value":{"amount":"+0.7814570069313049","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":"Q345702$A63501A2-6E77-4399-A5B5-189D50DDE389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7bbf0adf031f82cc6f863de3df702ceed07595e","datavalue":{"value":{"entity-type":"item","numeric-id":4225150,"id":"Q4225150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"415432fbac52a70c129ac55ff666940937a2071d","datavalue":{"value":{"amount":"+0.7579064965248108","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":"Q345702$12E45203-ABD0-4DCF-B23C-AE7789A37BD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:345702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:345702"}}}}}