{"entities":{"Q2826032":{"pageid":2836770,"ns":120,"title":"Item:Q2826032","lastrevid":79440641,"modified":"2026-05-06T13:54:52Z","type":"item","id":"Q2826032","labels":{"en":{"language":"en","value":"Non-transitive linear temporal logic and logical knowledge operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6636308"}},"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":"Q2826032$6487D688-65EE-4676-8A83-02B3B44F6DAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5d5bac2f2ed123880a15346c9009b9fed4d5245","datavalue":{"value":{"text":"Non-transitive linear temporal logic and logical knowledge operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2826032$5811B329-7359-4D93-9C14-C97AA2E1F9D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12ab3084c8595e17381f298617b5c176aac58a9b","datavalue":{"value":"1403.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826032$53469704-A4EC-40F6-9C53-75B98ED2CFEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75c97569af4c6b39def7afa4b7124bea406ac5e7","datavalue":{"value":{"time":"+2016-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2826032$975D9993-5917-411A-9E51-5DF885CE1C48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c35655a87f74d553500ea5e96c4af7cddfbde340","datavalue":{"value":"https://e-space.mmu.ac.uk/465/2/exv016-new.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2826032$656A7778-BD76-4818-AA7B-6C4946B52D60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826032$5E288AE7-2D7B-4243-B1C9-43254091FF62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fa3c91e3cfaf53334b76da48d279f8d046bf027","datavalue":{"value":"6636308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826032$0DD6A08E-2CD0-4D92-A88C-C4D467E5DC55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826032$2E9B282A-D260-4257-93C2-AC5D1F012D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a22c04601436dfd00befd66e975fbe41c785569","datavalue":{"value":"non-transitive time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826032$24405932-6699-475D-AD2D-063705AA3D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826032$885D5F9D-7F3C-4118-A5A1-0F0861B0C661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c625581d3600d4316308a879c96dc5430e3122","datavalue":{"value":"logical knowledge operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826032$3C6F3D56-4636-4CBC-AA34-C45D4F83F59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb8265dbb3afb4423c94a13c98e59893add0a12f","datavalue":{"value":"deciding algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2826032$792BCC6A-38E6-45F9-8014-FB3E14D1F489","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2826032$CE949B07-C490-4C78-8B73-956499F36580","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":"Q2826032$5D54D818-B1D5-4203-881D-08FED58791C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c87651437bb43ed45f6a0f45ae089aee482b520","datavalue":{"value":"W2323345003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826032$8B99F454-787A-4800-8197-983E6331D504","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"703a2626c2d090a4c328cff1b03487fba95a2caa","datavalue":{"value":"10.1093/LOGCOM/EXV016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826032$168BC6A2-87D4-46F0-B709-390035BEB40C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2826032$3794BCC5-27ED-470C-BEEF-76CC642A27F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"252881f33b56880f852e9f32215cadec4c3aab4d","datavalue":{"value":{"entity-type":"item","numeric-id":5214739,"id":"Q5214739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55003013189fb3e3660d2e53bf9269e21f3e0ac7","datavalue":{"value":{"amount":"+0.9280147552490234","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":"Q2826032$C9631350-89DE-4981-8606-EF8FEAB6F4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9db2437a4829d71fedd4e7b26fee2af5ed5d596","datavalue":{"value":{"entity-type":"item","numeric-id":498248,"id":"Q498248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd57d1269ee3531bdbf62bdecfc2db03e8b7a031","datavalue":{"value":{"amount":"+0.8078005909919739","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":"Q2826032$6E5D3C54-E1BC-4AA0-8A6D-59FD45AEF48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9d8177f465b8288278b77b7062e49e118c4d66","datavalue":{"value":{"entity-type":"item","numeric-id":5283440,"id":"Q5283440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c208f24af78fc68d37e3d942fae99bdcb41bdbf","datavalue":{"value":{"amount":"+0.791812539100647","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":"Q2826032$8BAC6BCB-3279-4FF2-B355-9960D5252165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880ee291b4630b1dd7c2c733f665453b4b541b7d","datavalue":{"value":{"entity-type":"item","numeric-id":498234,"id":"Q498234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00bea9468175b549fc29fc960c59b29ab940fcc0","datavalue":{"value":{"amount":"+0.7862161993980408","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":"Q2826032$221E33F5-FC30-4E1A-949C-1A5D6FB73A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75a87621fd7daeaba3ba05ec1ba4c139f4f2c19","datavalue":{"value":{"entity-type":"item","numeric-id":2436101,"id":"Q2436101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd721dcf44038d88f046868d9f0611269955243","datavalue":{"value":{"amount":"+0.7854518294334412","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":"Q2826032$D57C9D78-350D-4405-B46A-606A6BFF5FC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-transitive linear temporal logic and logical knowledge operations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-transitive_linear_temporal_logic_and_logical_knowledge_operations"}}}}}