{"entities":{"Q817685":{"pageid":819533,"ns":120,"title":"Item:Q817685","lastrevid":64565274,"modified":"2026-04-11T20:44:46Z","type":"item","id":"Q817685","labels":{"en":{"language":"en","value":"All finitely axiomatizable tense logics of linear time flows are coNP-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013023"}},"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":"Q817685$8A7F3B48-6485-41D8-9011-4CF5C4A52A7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0de42358e57319b3857c0420d4f9481d9b85dbc2","datavalue":{"value":{"text":"All finitely axiomatizable tense logics of linear time flows are coNP-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817685$2F7164B6-A91A-44E4-81B4-BE7CEB555033","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e62b89bf7f6af0a37c96607e332faa66642519d4","datavalue":{"value":"1096.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817685$E31AC234-E6E0-4DCC-A2A8-CC02B4CBA0ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d9c71379638878987f3550595bc014dcf04816","datavalue":{"value":{"entity-type":"item","numeric-id":299189,"id":"Q299189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$352C3F1E-6374-4616-B0C6-73568766713B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$962B127B-EA70-4B27-9D4A-40627873C926","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$A1DA6350-00AE-420F-ABE6-1A5537250F17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817685$D10B5481-E756-46C5-B425-B38E0650AB4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817685$CC723A2E-3EE6-4CBF-B29B-6D095971A230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817685$91235F5D-BA03-4D30-A834-1D70BE3F2A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817685$18E6F92A-4119-4477-9734-7D25ADC5D99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817685$5243A264-A35B-40D2-8A3D-52F81F0849FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e2b4daf862649d8939e90090f2bd8c448b99dc5","datavalue":{"value":"5013023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817685$2435CB60-125B-4A33-9CD2-1CAE52FCB95F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q817685$4024F0EC-4B5D-44F7-ABE5-4E3721A4653F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817685$BE31F8D6-D478-4FF4-8A9D-46F2DF800168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817685$3B7F2C15-21B7-4589-93E3-B3564FA0254E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q817685$3DA01FE6-0C99-4F78-9385-5950192343E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61936ba2cf52eccdcd4b1b9300465ac280f505ab","datavalue":{"value":"frame incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q817685$CC25A128-67BD-41B2-AB32-3B60BC492244","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":"Q817685$EFC31D0D-7AB7-47B2-8D75-F54CF1A22B2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"607fc26b70ee81b5a2ef36ce08baf6ad97b8f605","datavalue":{"value":"https://doi.org/10.1007/s11225-005-3702-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q817685$CF1A07B6-7F70-4609-916C-7F14C4A7641D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cda6c5d397ed904a15d8f86ce6faa246c3594ffe","datavalue":{"value":"W1996365374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817685$044F3D92-42C5-4788-876C-918267F36058","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f320b01b02a52d775a54ae3a3b0d7da23bc7e3","datavalue":{"value":{"entity-type":"item","numeric-id":1770622,"id":"Q1770622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$983FBECA-FAA7-4112-AEB4-0979429E72E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0031bc61c25d4645270de5f32e8f58a26e32e2c1","datavalue":{"value":{"entity-type":"item","numeric-id":1810814,"id":"Q1810814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$25E20CB5-DEE6-46B5-9675-1D12B94CAA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$0A374E54-E65E-4E09-B5F9-640A8CDF407C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$43550D23-169A-4F71-BA85-808108872956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$9AA2C0AD-D14E-41F3-B650-E6C324DBB3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6bd10d4256cffe31c9651535215a9b72289354f","datavalue":{"value":{"entity-type":"item","numeric-id":5483006,"id":"Q5483006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$EC3E96E3-EE92-4BA1-89C6-693229284ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ce02106336a8e9ace278c5d22fa3a259641d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1155046,"id":"Q1155046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$57669ADD-E884-4913-B814-9D4902492A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$AF345A55-57A7-480F-92DF-3DB378BEED04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$AC5195BB-F3BD-4FC6-9621-AB1475418074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$364858AE-1AB3-4B83-8131-39AD865B59B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73d6c27ee2d92e0a6ba9a337e40eba45e340765","datavalue":{"value":{"entity-type":"item","numeric-id":4879194,"id":"Q4879194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$77AF01A0-414F-4F8C-AC5A-ACA58150CB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b31019a982fde4c7b9e6983fed3e0fc1a130b2","datavalue":{"value":{"entity-type":"item","numeric-id":4323828,"id":"Q4323828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$64D05B70-8288-4863-BF39-3001AEC48EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8736b1fc1427ab61e6b1863558749e5897b25ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4789450,"id":"Q4789450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817685$40878396-971C-4E0B-8BAF-82A781492EA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67c27cdb93b26dff355b3f8bffbad4895daa8492","datavalue":{"value":"10.1007/S11225-005-3702-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817685$A55306D1-CF07-4645-9D3A-B4C67505D25D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ddf895384c42ccb0ce7eed548d342886a3b2af3","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2127f5462b64c5ba12e76eb7b755bbd4ec19b098","datavalue":{"value":{"amount":"+0.7897674441337585","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":"Q817685$6B98D271-F4F4-49E5-A652-8E102601B9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a10a811d54b394540726160ab89e8107e1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4834484,"id":"Q4834484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cf24f629c9fc4b705077f9b65baf4f4a7f76e8","datavalue":{"value":{"amount":"+0.7844651341438293","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":"Q817685$CD25A122-AF34-4F54-944E-F66B6C9F14C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8383c81dc306dd82e36f9328ffbecd979c9336a1","datavalue":{"value":{"entity-type":"item","numeric-id":1400578,"id":"Q1400578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6838d73e4e8b2a601c9f701724c40eeb3246bb","datavalue":{"value":{"amount":"+0.7825716137886047","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":"Q817685$B4364B20-6869-4E03-BAB5-BB940BC6F355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e11a49e2aa331f34a0cb3cc1039357b7093baf0","datavalue":{"value":{"amount":"+0.7726006507873535","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":"Q817685$DE2774C3-7850-4DAF-8C47-9498E501521A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe0da8cbc7e1da738d2746c20004a79853997f8","datavalue":{"value":{"entity-type":"item","numeric-id":4338319,"id":"Q4338319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ea0bf001b4078516a09f082cb65fa64bd418ba","datavalue":{"value":{"amount":"+0.7721440196037292","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":"Q817685$AF105BCB-536E-454D-815B-EA9D868615F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"All finitely axiomatizable tense logics of linear time flows are coNP-complete","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/All_finitely_axiomatizable_tense_logics_of_linear_time_flows_are_coNP-complete"}}}}}