{"entities":{"Q388214":{"pageid":389981,"ns":120,"title":"Item:Q388214","lastrevid":51892949,"modified":"2026-01-20T12:03:14Z","type":"item","id":"Q388214","labels":{"en":{"language":"en","value":"A game semantics for disjunctive logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6239427"}},"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":"Q388214$1836BF23-E303-41B2-8997-ED798EFFD467","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbd92aef19eb4f60a93ec0e8424c296b795d489f","datavalue":{"value":{"text":"A game semantics for disjunctive logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q388214$12812856-FD1F-4024-B72D-1147221ED3DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0675ff109534ed53891ed84f2989c7ec762990c7","datavalue":{"value":"1314.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388214$A172E958-D93B-4BC5-B7D0-45A36B0DF695","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4cfb3812e8fecf7ad1471d65599763a198761f","datavalue":{"value":{"entity-type":"item","numeric-id":388213,"id":"Q388213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$5F6B31F5-4804-4B86-B8AD-C4C165BD747F","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":"Q388214$B339CE86-A1A1-4E98-8A56-DA769F1DE46A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2f1fb0bb823de7c85c0e6b790ab9a70856742d2","datavalue":{"value":{"time":"+2013-12-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":"Q388214$7015E4CD-C88B-4029-9C53-E6B04A544E4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388214$F2D9C91A-F183-445F-B6B0-9E3BE179E050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388214$55A621E1-AB86-4FC1-B18A-3ACDF03DB8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bc7eb0f462deb89a5bf6af1abf9a96ba13c81d67","datavalue":{"value":"91A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388214$77F19721-64A9-4016-B639-294FA0A439B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ef02adf8ee3b5bb0917c23a6fc992aae50b84b3","datavalue":{"value":"6239427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388214$7FF3268E-6BE0-4D69-BD8F-F79885A32A7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q388214$D1F9A288-8E9C-4B65-A180-CAF3F0DFA276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08550266bf03e3d9d539b3e6a8b8aa8b4cd04b48","datavalue":{"value":"disjunctive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q388214$7603DC9D-40CB-4698-A35D-E04D6416C04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q388214$BC6C071E-0546-4A11-9ED9-9D8C57B2BF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb3969f9d1abacdb827ee34b8ba910032090c12","datavalue":{"value":"logic programming semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q388214$FA6F9EF9-9611-460E-AAFA-05AB7989DFEE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8510cde1c8aae0f11e7e3f07edb7c4c1b96dfe0","datavalue":{"value":{"entity-type":"item","numeric-id":27977,"id":"Q27977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$B4D7267F-E22A-4632-B86B-8CCB75A10C2E","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":"Q388214$83E75B6F-21AE-4066-91D8-8DF70A63FC28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f99073e1ad120d59d65a8fa5e8370f7aedaecf2f","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.05.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q388214$96901662-F204-401C-AC7E-0417E6F9A795","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c02b1feaea94b5c405d4ec8de69fa3dcc5456a7","datavalue":{"value":"W1972627011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388214$6E4A44B2-858C-4988-BB00-65A67715373A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6750f6506709128140651597cac933c856e092f2","datavalue":{"value":{"entity-type":"item","numeric-id":4263830,"id":"Q4263830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$BF50B261-98F2-4681-9246-8250F97B5EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$E22D0E6A-65A7-4DE4-8A63-E7E06BB29034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$2759EC69-3B0E-4163-BF9D-1F625D710E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d04e62816ec7fbcd2e017b8da04b781fb47159d1","datavalue":{"value":{"entity-type":"item","numeric-id":5053003,"id":"Q5053003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$E9183844-997C-4E2D-96E8-45EE269724BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$4519A37F-9A9B-4A1C-87C1-F630A4E0E635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf3c737b5e29107ca57554fff9a37a1f2fa0c58","datavalue":{"value":{"entity-type":"item","numeric-id":5425397,"id":"Q5425397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$24C567EF-7E7D-439C-BE51-776356BF5AD8","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":"Q388214$9A9A30C9-4501-4185-AFF0-75C5694E2D57","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":"Q388214$3C4EFD57-5157-4EF2-AFA3-41D3EBAC4D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$E50A9C8B-6572-4E19-B02E-6B06492065DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ada61c14aee50389693cc08b998bd5592a48d66","datavalue":{"value":{"entity-type":"item","numeric-id":3090874,"id":"Q3090874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$5CE7E43C-198A-44FE-B41D-619B6755C971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84632367f0bc821d70fbb205d283f9db1d7e726","datavalue":{"value":{"entity-type":"item","numeric-id":3067470,"id":"Q3067470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$538C2D9E-C80E-45DB-B58E-827C26F817C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f13511c0a6139033fe7d562c445dada3a543595","datavalue":{"value":{"entity-type":"item","numeric-id":631778,"id":"Q631778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$D2E37EA4-F4C7-47A6-9623-5FD618C5D4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$73090041-5331-409C-ACC6-D4C4D4DFCB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8b109b049839a3b0948fa4e3428772ea4a2026","datavalue":{"value":{"entity-type":"item","numeric-id":3707363,"id":"Q3707363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$CF9F8D22-F88E-46C6-AF74-D37EBE908C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39dd5459d0d15baef4d77d33de8211cce0b5483f","datavalue":{"value":{"entity-type":"item","numeric-id":2767019,"id":"Q2767019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$D61FD194-5DC9-4BDE-9908-D99FD163ACE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c376af624bcb2d3496d6c0f64f786c7cafb401","datavalue":{"value":{"entity-type":"item","numeric-id":5726697,"id":"Q5726697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$1E9CC81B-6195-40F9-993C-A88DC8EEF431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bd407bcecb63e1d4876dcd09d799ba25c8af78","datavalue":{"value":{"entity-type":"item","numeric-id":4391451,"id":"Q4391451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$DABC4C37-C3B3-467E-9180-ECC488790571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd4d3318c286766f6c9764c900b85ec244128ad","datavalue":{"value":{"entity-type":"item","numeric-id":2852368,"id":"Q2852368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$A18B0F21-DDAE-40D5-A228-5F51A24F987E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$9A72CAD4-9A9F-4275-B241-016D5AFDB6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1aed9af0b115c501efcd1e09a55330fdc38c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3939270,"id":"Q3939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$E9F4FBE9-6970-4819-AD0B-7960F7B51638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9b59a5650f74d0bf864ccb2b42bedecdab9a58","datavalue":{"value":{"entity-type":"item","numeric-id":4501156,"id":"Q4501156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$94688930-B471-46E4-8FB5-FF4A605E5346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb7e593dc711413de13eb5341cee7b5af247a9fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277727,"id":"Q5277727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$86AA7E50-6DEF-4BAC-924F-A54F5E84BA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d4e005a92fce1984a6e6d87f7357d3d3c7b46e","datavalue":{"value":{"entity-type":"item","numeric-id":3078324,"id":"Q3078324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$B8E4F287-0632-4B23-9973-C950AEE230BD","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":"Q388214$064B596C-0ED1-4DA1-8003-B7A7BD423AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388214$6F9D3B2E-31F0-451E-A7E8-A2676FD28BEF","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":"Q388214$9339D6AD-1F4F-49F6-82EC-0469EBD18FE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aecc1abeb664ec529e9d76f617b3729d4a60194c","datavalue":{"value":"10.1016/J.APAL.2013.05.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388214$530086CE-3759-45C0-B297-819CF808D4A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf36802c5f0be2dfff6ef2a8e623d7007af3e12","datavalue":{"value":{"entity-type":"item","numeric-id":2474440,"id":"Q2474440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c79725407bd885d4028d96ecbd80d4f80c69b09","datavalue":{"value":{"amount":"+0.8007394075393677","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":"Q388214$52085A60-8BB6-4895-86DD-2DAA7ECEDE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02df4384e19a4185c5f0fe9afa06e878ee3230d8","datavalue":{"value":{"entity-type":"item","numeric-id":5425397,"id":"Q5425397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7353231fcebbbc1614f243524da38274ca8de30","datavalue":{"value":{"amount":"+0.7920313477516174","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":"Q388214$B221B9A3-32D6-4D84-B9C2-A8824893724C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1099795e2b98a2012c2b61f3dea46cacffb308ea","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb86a151a1d6a5bf72fd21ab3fc0c3f8aaf294d","datavalue":{"value":{"amount":"+0.7883663773536682","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":"Q388214$7FCF9D56-D29D-4C40-8E39-E31B540B3749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"184b4d755503f915616e74c2344e0d838247eb62","datavalue":{"value":{"entity-type":"item","numeric-id":4955337,"id":"Q4955337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06bd8ab3e80ced1826d378253cb095e9fac6dbc5","datavalue":{"value":{"amount":"+0.7828180193901062","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":"Q388214$3DA78025-65A9-49F4-9E34-106745BE0DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cea0efeafc8742ad319e10704112f9b02dd0c5","datavalue":{"value":{"entity-type":"item","numeric-id":345702,"id":"Q345702"},"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":"Q388214$D2AAE7EA-2D97-4438-8805-4A0FB81D900A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:388214","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:388214"}}}}}