{"entities":{"Q3085178":{"pageid":3095893,"ns":120,"title":"Item:Q3085178","lastrevid":86441252,"modified":"2026-06-03T21:03:07Z","type":"item","id":"Q3085178","labels":{"en":{"language":"en","value":"Modal logic of time division"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872420"}},"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":"Q3085178$FDAF7411-C582-4A2B-9D8A-2789B9B94C65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e423022ba93ad7cbe32503bc501e4df91d70afb","datavalue":{"value":"1244.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085178$F4EEDCEF-8B78-4838-86B6-F9F87C77367D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4fdee91c38391aeb9065dfab736680a56bfca37","datavalue":{"value":{"entity-type":"item","numeric-id":514034,"id":"Q514034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3085178$E0FF9BCC-FBC3-43A9-938D-63694A58495A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3085178$B08B05AB-940B-43FB-A0A7-432E13F786D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085178$4BB834CF-9767-4C03-86C8-C46DC30ADA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085178$C8BBDCF3-7B18-4B7F-82DE-1B0159EBE5A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e629c926d2cb40f56c9f84c56b3e19c809ae02d8","datavalue":{"value":"5872420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3085178$947400E1-0D1D-4BBB-AE09-ABB82E7FA6BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085178$168B573A-668B-4542-8813-6A0393822BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085178$96441B8F-3A33-49EF-9D9C-92B029117883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1b9e10c830ac181fb7d75c0feef74798163583","datavalue":{"value":"interval tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085178$5F83AADC-BB85-49BD-900B-A1DA44963E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085178$CD0C581F-0A5D-4A7F-ABF3-9C77F5941DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085178$E5A0BBC4-EFB9-49CC-B043-41DAA1976DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c662b644cf3bfb15ff11ba35b40c3bbf14ec7","datavalue":{"value":"order type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085178$30CC508B-01C8-4E64-AB4A-673573609CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52e7ab3012970b3f1fec7e8346a0b6f8c66355ab","datavalue":{"value":"von Wright","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085178$59A3D2F2-7558-4A0D-BBE4-37D1DE7D3263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b1851198cc503f0984e29dba5bb08481966fe3d","datavalue":{"value":"weak monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3085178$8AB0558A-7AAB-46A6-8F52-43BE2E444BBE","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":"Q3085178$72A9A3E9-B6B1-4FFB-B26C-13651390FED3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665701bd077432fa61ff2f89ec3c6946880a2840","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e2e522bd62de45de19f981cc97e283216120ea","datavalue":{"value":{"amount":"+0.7888572812080383","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":"Q3085178$7DC6464B-3458-40A6-B4BB-235190764FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d13282f0a91f968870800402fa9d537565feacb3","datavalue":{"value":{"entity-type":"item","numeric-id":4238498,"id":"Q4238498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c043739b2faa5e610cb4bfe82158285bb9ee34","datavalue":{"value":{"amount":"+0.7832111716270447","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":"Q3085178$A4E3EC28-5BB3-458B-BE18-C6AA48F0852B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dace9c32d9b1be3f37d51f7b8f60c28523349696","datavalue":{"value":{"entity-type":"item","numeric-id":2364466,"id":"Q2364466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef4589b9797e5fff0413e5e42ba875af17ba35e","datavalue":{"value":{"amount":"+0.7831315398216248","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":"Q3085178$822CD1DB-0E40-43F0-8CDB-63EF2F0B4D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b347872709d7e70c765b6daeac5a422da11371","datavalue":{"value":{"entity-type":"item","numeric-id":3221966,"id":"Q3221966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a135289ae5098ff3ffd9bd10618cd7ac26174b1a","datavalue":{"value":{"amount":"+0.7737117409706116","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":"Q3085178$FFB2341E-7460-40D0-B226-1096D8139F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c82a01825a66f353b6829de8b5ddd0433321f1","datavalue":{"value":{"amount":"+0.7686453461647034","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":"Q3085178$8CAD3AD1-79EB-47F9-A213-74013371B654","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logic of time division","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_logic_of_time_division"}}}}}