{"entities":{"Q4994892":{"pageid":7024469,"ns":120,"title":"Item:Q4994892","lastrevid":58387527,"modified":"2026-04-05T00:12:57Z","type":"item","id":"Q4994892","labels":{"en":{"language":"en","value":"A resolution prover for coalition logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7361819"}},"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":"Q4994892$88744C21-5C3D-4E54-8F48-8422387DEF92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33417d5d558892f566fb6384aff879ad449b1fc0","datavalue":{"value":"1464.68432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994892$A63C21CC-E0D0-4CED-9901-38FB98F9F2E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6ab1fbf106e496a88446f2b3bd6d2be3544b1a6","datavalue":{"value":{"entity-type":"item","numeric-id":281155,"id":"Q281155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994892$ECE37CEB-5545-48C5-B5F4-067506002B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86eaa5dde981e4173207292c8c7312c59a933956","datavalue":{"value":{"entity-type":"item","numeric-id":235703,"id":"Q235703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994892$7A39C66F-2751-4AA9-A81C-A421F3C3E9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c764ac21e0f0934969acd440140a93a6d4c985","datavalue":{"value":{"entity-type":"item","numeric-id":1383356,"id":"Q1383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994892$DA205E24-5528-4F2E-AA4D-9E18D16F8637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994892$DE4A9264-029C-492D-A60F-7940B138D271","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84e4cb1bbf72a56d7645dc9bfb4e1a2c12071055","datavalue":{"value":{"time":"+2021-06-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":"Q4994892$F2DFBE8D-0629-49D2-B020-05A1CBD90E90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37e0b6a2734556b8163f25a4cdf501e50d288af3","datavalue":{"value":"https://arxiv.org/abs/1404.0841","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994892$60503A9C-2645-427A-8770-CFB5FF14FC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ae74a98533d5dc8ea6f0b60ecc24ca236934f1b","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?SR2014.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994892$1A4C2365-02C7-4C6C-83CF-69352C3EA493","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994892$25B75F1B-3108-4AE4-A221-9802AA6020EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994892$CD2EF3B7-8EF9-46C4-84A0-4F5F07F1D9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994892$F8074AAF-295E-48C8-ADBF-AAA60F23E26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994892$E2BF12F1-EB67-4FC0-84C0-C6F6EE5B002B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994892$3E24F1FE-BEF9-4673-8DFC-1B2246E6504B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e7821ac546420ffac288c241a881e247a33d0c98","datavalue":{"value":"91A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994892$118F4949-0B52-4245-8A2B-1946B17AF999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994892$F0CDAA29-A5C3-40F8-A044-CA800AD4EE05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"568b8ab67a6b4c9fccaba46b5e8b73a2b2d6beb5","datavalue":{"value":"7361819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994892$8CFB771A-F45A-48AA-A7DA-3E1D9FD6CD65","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab9d91a949e316f8b2003bd6315e399064ba44e0","datavalue":{"value":{"entity-type":"item","numeric-id":19549,"id":"Q19549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994892$38BE83CE-C633-4C9E-9AC0-A7D7D0D789CC","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":"Q4994892$262111C7-44C8-43EC-B5F8-EA733952550F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47239b81e0486354628598daa96e4188aecf7c0c","datavalue":{"value":{"entity-type":"item","numeric-id":2937697,"id":"Q2937697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65775ed7d8ce68ff30bcc0d02c66628d808f063f","datavalue":{"value":{"amount":"+0.8381133079528809","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":"Q4994892$67487903-C051-4EC0-A6F5-5E0F1F8B9E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0242aa3961424969e6557609c5ac1b190f7652","datavalue":{"value":{"entity-type":"item","numeric-id":3455769,"id":"Q3455769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b4dda6dbb63999748406fca9a84b5e53703ebe3","datavalue":{"value":{"amount":"+0.8126210570335388","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":"Q4994892$3B9C106C-0150-46CD-B81F-85CC944CB3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c53028016a087837aa1fdce64401481561c2c3","datavalue":{"value":{"entity-type":"item","numeric-id":3655239,"id":"Q3655239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a131eb9226fb7e958b2a1bb0d0c8d090655b55","datavalue":{"value":{"amount":"+0.7446587681770325","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":"Q4994892$57168150-973F-43AA-989C-F2E1C2238B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f9c72799c48edc1c0b14a9ed8bb93817a0ae8f","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cbf808a1f06be0e415d7526bc699d843c42517e","datavalue":{"value":{"amount":"+0.7431356906890869","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":"Q4994892$4C1B80E4-E29B-4B10-9890-B50DB947C53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3a545c38c103b69eeeb688666543851865d423","datavalue":{"value":{"entity-type":"item","numeric-id":834401,"id":"Q834401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0354de0e6bcf7bdd9ffa03fa76ea3ea49d547322","datavalue":{"value":{"amount":"+0.7332932949066162","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":"Q4994892$D16A5FB2-E51E-447B-8000-F433FDB27C61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4994892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4994892"}}}}}