{"entities":{"Q3080428":{"pageid":3091143,"ns":120,"title":"Item:Q3080428","lastrevid":51206171,"modified":"2026-01-17T05:59:55Z","type":"item","id":"Q3080428","labels":{"en":{"language":"en","value":"Decision procedures for quantified fragments of reflexive common knowledge logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5864584"}},"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":"Q3080428$B84F5BC0-A272-4B51-AB24-9F571BAB0DF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c31f9d410c39a3f43b579b2e64010dd6e9854dcd","datavalue":{"value":"1207.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3080428$869E5B58-EE8C-4081-A014-E02BA8D75738","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea47cd398be2e1bd31e6b45d02de9148c81f65a6","datavalue":{"value":{"time":"+2011-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3080428$F2ED5442-F50D-46A0-ACF6-302AD6B8D877","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3080428$8337117E-0402-44B3-8A6A-A5D646BDEE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3080428$A159A14F-8A1C-40AA-B24E-B20F6B330DA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c4912c87ef8d63957f1d5eff350f36dcbb26551","datavalue":{"value":"5864584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3080428$CFEE1BF1-7E79-4609-8753-E135084625EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3080428$29EBCC71-A853-4CF3-97B4-A5DF6A4C93C9","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":"Q3080428$D7A4ACCB-FE61-465B-AB7C-C4FB67CBC2DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7b65cb151ae725caf8244648af3f9fd01a0414","datavalue":{"value":{"entity-type":"item","numeric-id":1349272,"id":"Q1349272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0f4e72348d6d681582acb903e88e49d2163bcf5","datavalue":{"value":{"amount":"+0.7992421388626099","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":"Q3080428$368EBF3B-4D6D-4ACE-AD1F-D4CB99D034FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61560e57c9ddf714826d5c065f231f14abbc19e8","datavalue":{"value":{"entity-type":"item","numeric-id":1582313,"id":"Q1582313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df850e7e9afacfc2d05b6be88fb08c6e82bcc9c9","datavalue":{"value":{"amount":"+0.7742872834205627","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":"Q3080428$87201384-D115-4B83-8734-15E625161DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6b8846c279f54b2654f8ae3ce86e2232c47aba","datavalue":{"value":{"entity-type":"item","numeric-id":2799622,"id":"Q2799622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56857a4af44ceb6fb60b045be52cf80fed2d7963","datavalue":{"value":{"amount":"+0.7648678421974182","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":"Q3080428$3CD9B2C6-5EB0-4BCF-8727-74B9B2D178B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe81eba2710ba2427f3b8ec80ca0c43826e1300","datavalue":{"value":{"entity-type":"item","numeric-id":4536335,"id":"Q4536335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b3b2148f4ec75b50f711a235fc3a0a4a1c73b25","datavalue":{"value":{"amount":"+0.7527838349342346","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":"Q3080428$E5882692-42A5-45EE-9AA4-36AF24D3D3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393c2d14d929b3d48c8354c84704c85ee9c9a234","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a495ef8d3f014d0afe3077e16ad892491379e2","datavalue":{"value":{"amount":"+0.7455538511276245","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":"Q3080428$4F801544-77C2-4CED-B6CB-49F79F10598F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3080428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3080428"}}}}}