{"entities":{"Q2811593":{"pageid":2822331,"ns":120,"title":"Item:Q2811593","lastrevid":52552925,"modified":"2026-01-22T23:02:05Z","type":"item","id":"Q2811593","labels":{"en":{"language":"en","value":"Loop-check elimination for non-transitive distributed knowledge logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6592218"}},"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":"Q2811593$92C62E7F-07AC-41DC-9F0B-DFF2C54C75F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc227dfe0038e80721ea3e401646d3c0075b2cc8","datavalue":{"value":"1344.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811593$D300AED7-7F54-4B62-B4C7-67C122C6A80C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c87b5aca574eeb1372d986f8806fd69f2d77ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1245696,"id":"Q1245696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811593$9101C902-E226-43D4-B74E-483A4FAF2FFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-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":"Q2811593$CD7042FA-50E5-4CC6-B836-ADBEA762C2C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811593$670E781E-E3A9-48E2-B68A-4B0908187E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811593$E8768D52-A7E7-4141-97DA-81987E4AB587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811593$F3F9375C-91FA-45A7-8FA2-3AE27656E641","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c13a0d5fc5f472a2de3953fdc3ddbae0c65bc8e8","datavalue":{"value":"6592218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811593$08F66ED7-DA50-45BF-8AAF-0A97866DDCBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2072ac50d117917e9672f0db3614f9749d72c621","datavalue":{"value":"logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811593$2EC9647B-309B-4331-B4FD-DA8D5B68CF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36b4959982108af6f045c0bb02c86d284bd9b8a","datavalue":{"value":"distributed knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811593$7175C571-74FF-4E0A-9E36-4E3A43851D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811593$229F70B6-26A7-4776-B149-A3CC88E55739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fa7a1302b4ec6e5e61d60e2cb750f8078296c4","datavalue":{"value":"loop-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811593$39AE5EAD-D85C-46BF-9ADF-3B12CAC06BB4","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":"Q2811593$8C6F0DBA-9010-4495-A32B-4A19A1B804B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12d29c7d951f15a637104ae80d1cf0a717c9dd4e","datavalue":{"value":{"text":"Loop-check elimination for non-transitive distributed knowledge logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811593$6927E9B5-8F1B-4649-B485-BB8AC3BE2809","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d13f78e0250926a342a04894d5483e01be9d177","datavalue":{"value":{"entity-type":"item","numeric-id":6770969,"id":"Q6770969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811593$DABD32D8-5477-492A-A3C9-7CD4A5FEFC22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7df82de040d892cf9124635cb3149166fa7a1a22","datavalue":{"value":{"entity-type":"item","numeric-id":3617019,"id":"Q3617019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512cfa831684be2d3a03576d987d3245d7ba55f9","datavalue":{"value":{"amount":"+0.8780183792114258","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":"Q2811593$5AA4C4CE-AD5A-4D9C-8F8A-1319530AAF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fe6bf502cc060cd2908da7b0f575f135d02193","datavalue":{"value":{"entity-type":"item","numeric-id":2791893,"id":"Q2791893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31133e94e7833f744e6aaa05bfbbe6bda956e5ec","datavalue":{"value":{"amount":"+0.7497560977935791","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":"Q2811593$57DA8346-74DC-4162-9B20-F44330720ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d3a729c41211e85da74b121244a23ec682f493","datavalue":{"value":{"entity-type":"item","numeric-id":3602943,"id":"Q3602943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3b74ae842c64aa5e3c830ba12036e8f596d5bf","datavalue":{"value":{"amount":"+0.7493732571601868","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":"Q2811593$F598552B-9EDE-409B-9532-F199602BC434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938c4acdca2ae208a9d05a602efd370ac4b50151","datavalue":{"value":{"entity-type":"item","numeric-id":926638,"id":"Q926638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6218ba67f4052774772a6b3655deab0eec8d808","datavalue":{"value":{"amount":"+0.7454363703727722","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":"Q2811593$D44F7BF1-C433-4650-8753-A14F1513F0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f579d05414dbc5d54ce1dc8f01427985e6a34fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4645239,"id":"Q4645239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cd2e465d09a946b042d678364739951451196d","datavalue":{"value":{"amount":"+0.7224529385566711","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":"Q2811593$E0F6C8F8-55A1-4802-8457-62EB880CC649","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811593"}}}}}