{"entities":{"Q3617019":{"pageid":5646925,"ns":120,"title":"Item:Q3617019","lastrevid":87455900,"modified":"2026-06-04T11:43:37Z","type":"item","id":"Q3617019","labels":{"en":{"language":"en","value":"Termination of derivations in a fragment of transitive distributed knowledge logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5533749"}},"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":"Q3617019$2E72406E-F44A-49A5-BF42-6BBCD4929D05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba853dee562da3ed2dee81eda1e7bdfcf8c554ff","datavalue":{"value":"1178.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617019$6B4215BD-F428-488A-8DFC-25CA0E146F4D","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":"Q3617019$D8F7FBAA-9007-44C5-9C28-4672ABC93A2F","rank":"normal"},{"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":"Q3617019$5EC9B67C-9C5D-4CC6-B283-68203DF04983","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"928b264ace34efebecc8631b263762d6e421a407","datavalue":{"value":{"time":"+2009-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617019$65C04B95-95A9-46A6-B357-21CCBD91D44D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617019$F070D717-3EA2-4BE1-9899-5A2E5E53819D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617019$73EF69B6-1B06-4CB1-B88A-0FA66DF59750","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4be2382e396ced7eb3e3d54b2b402e3676d7b989","datavalue":{"value":"5533749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617019$F6568463-2ACC-4975-AD63-D189220A7C5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2072ac50d117917e9672f0db3614f9749d72c621","datavalue":{"value":"logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617019$428D2647-1553-442D-A576-422CC27CA115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36b4959982108af6f045c0bb02c86d284bd9b8a","datavalue":{"value":"distributed knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617019$DAAE2914-E0B4-4C71-9654-BF41F2EE4D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbc0bf762fd7535c97805d3ef76a3b450e0721a6","datavalue":{"value":"safety and liveness properties of distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617019$C3266329-862E-40CC-8A95-E2C02DEE4619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5eb20a156e2658e93f21b0edd780876479d816","datavalue":{"value":"deduction-based decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617019$A1941E38-D770-4A3A-9615-66A65312343D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617019$601E4DCB-3EF3-4AE5-AD70-8EC78DE98244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fa7a1302b4ec6e5e61d60e2cb750f8078296c4","datavalue":{"value":"loop-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617019$CA687BAF-F103-4767-9F5B-B3B01777CEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617019$D72DB0FA-5476-4721-823E-A7ADEE0D94B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f202a006760bf9623411a284624cf51b1aca34d5","datavalue":{"value":"PSPACE-complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617019$D9D340FC-A803-430A-B2BE-84360B9FD2F9","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":"Q3617019$387A2B22-51C0-4417-83DF-772EB39B675D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400d4fa404628438e2fbf9f80b7342987ab13b12","datavalue":{"value":{"entity-type":"item","numeric-id":2811593,"id":"Q2811593"},"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":"Q3617019$0815CE84-BD72-49C8-9DB9-97D62AAC227D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8696d3db79b6d60cab8448aedb0d76fcf6333157","datavalue":{"value":{"entity-type":"item","numeric-id":2811594,"id":"Q2811594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ffb2f198027d165601edd751b119ce10fd1210a","datavalue":{"value":{"amount":"+0.7875953912734985","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":"Q3617019$B51DC256-6B67-46B9-AA3F-48FC27DE7C11","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":"4ca1c7df1f89aa4d895bff975f236a2f14ecfb29","datavalue":{"value":{"amount":"+0.7663493752479553","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":"Q3617019$8D6BE3FC-EB75-4059-AC2B-A47B9A5F41D5","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":"713d1d3a0ca37327504b61ddd29101fce5a3596d","datavalue":{"value":{"amount":"+0.7456834316253662","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":"Q3617019$F3F63E55-F2B4-40D4-A8E6-B67B544265FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89089691582f2d5b0c9ec2876aabe094ea1c46bf","datavalue":{"value":{"entity-type":"item","numeric-id":4639651,"id":"Q4639651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6007df0dd13eadc0c2d8007c5b93c30ecfdbc416","datavalue":{"value":{"amount":"+0.7366110682487488","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":"Q3617019$7B89A871-0A60-40EF-9DE4-73375CF6A9DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination of derivations in a fragment of transitive distributed knowledge logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_of_derivations_in_a_fragment_of_transitive_distributed_knowledge_logic"}}}}}