{"entities":{"Q294640":{"pageid":296407,"ns":120,"title":"Item:Q294640","lastrevid":60716145,"modified":"2026-04-10T18:41:44Z","type":"item","id":"Q294640","labels":{"en":{"language":"en","value":"Undecidability of partial order logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6594031"}},"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":"Q294640$B1B670A3-94F3-43D0-99C6-ACB0CE08DC86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0b0f1bca67e2215c8777a86f59e4fb1f790ca91","datavalue":{"value":{"text":"Undecidability of partial order logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q294640$0300D4E1-68C9-4CDB-842A-3056A91F1473","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35aa6cbea74effef13562fffdded0d7cbfca5233","datavalue":{"value":"1338.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294640$FD94C018-2A19-4140-B08B-84CDA447EFA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1661b5c5aae0960e4d0fd3c026906a1ee3019bb","datavalue":{"value":"10.1016/S0020-0190(99)00005-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294640$EC1A5196-A116-416C-905C-230597700200","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294640$4DF419A9-2377-415D-AB38-DADB0AC8DA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294640$467983AA-A0CD-4638-952B-4AC16C341F84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294640$6C7B8B12-C39C-4037-BFC7-074D57A2638F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32ada740abbb03089ab30647d244c2741fb6e33","datavalue":{"value":{"time":"+2016-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q294640$2AD63034-F450-40B5-9796-575F9FBF9854","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b0bd79090f80fb171060870bdba820e5d01314a","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0020019099000058?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q294640$F151C1CA-B9F0-405B-9E2D-4D661A7F5522","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294640$167CB8E8-846A-4785-A6E4-39079EB55AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294640$055E8673-85B8-4E37-8478-4AACB9EA8761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294640$24E8C64E-F111-406C-A5AD-68E5B75DB975","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11ac27537ab2feea5aa312d82bec95d91a10c14f","datavalue":{"value":"6594031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294640$EF943DB9-4A0C-4BD7-B1F8-4D96D3D2BF22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q294640$104C2B77-DD38-4A06-9235-8AD98660FFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q294640$F653ED06-4F64-403B-88B9-A645836966DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q294640$9A3AB3BA-F116-4F2C-B569-337A32033865","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":"Q294640$A5AF426A-4329-4037-A9D1-A8DDBD56FF88","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294640$8EF50E60-94A0-4E87-B3FF-CFC485C405E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294640$D85197D2-D13B-462B-947A-7FF6C30C1868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3eb892649e381348859e24a44cfd45b9cfc886","datavalue":{"value":{"entity-type":"item","numeric-id":1199555,"id":"Q1199555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294640$927B05DB-EBBA-4E1D-8CAF-591355FF98ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e89746956d217860016a766c2127e6c1ab5916e","datavalue":{"value":{"entity-type":"item","numeric-id":1322161,"id":"Q1322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294640$EA75EC98-3462-47EA-AAFD-5BA07B4BDB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294640$5A2F0BE0-1AFB-42AC-8380-6CC3D1DEB415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79452d1b9a2a68083fc27a19f6aa7839bc810445","datavalue":{"value":{"entity-type":"item","numeric-id":3731015,"id":"Q3731015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294640$F7A931B6-8F83-48F4-AEEA-1608668FA56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a091fa96805ee8cc47c29cf15da844810699fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294640$29091BC5-2E14-4136-B3F0-2C01EBB3F8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9256597e479262f5da622146a6ab57b4f455a5aa","datavalue":{"value":{"entity-type":"item","numeric-id":4219025,"id":"Q4219025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294640$3AC0957E-47CF-4D95-AD40-7B98A76B8B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294640$302BC201-8638-4BAC-A8E4-9DD7F5AB5C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d64c4b5dab72504cdcbb4f6c6095768fc09cd017","datavalue":{"value":{"entity-type":"item","numeric-id":3835040,"id":"Q3835040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294640$80F65D48-FE85-43FE-BBB1-F5F9011F0787","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c58205addc674c4d8bf6232eb40acc6101d995","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0bba2b724320c247f942e125904092f1da1683f","datavalue":{"value":{"amount":"+0.7707393765449524","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":"Q294640$974DC6F2-1EE9-4A7C-88B5-836DC654AA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce5aa11177f9f2e99e1272e0603f573974742857","datavalue":{"value":{"entity-type":"item","numeric-id":4721657,"id":"Q4721657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a59cd644b792b6252443e2270f88edec648caa4e","datavalue":{"value":{"amount":"+0.7697734236717224","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":"Q294640$C6787A67-B332-4406-9A5F-BC7A20C9069B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a6fc1c23a89182a2d11717b9e45e2ceff61797","datavalue":{"value":{"entity-type":"item","numeric-id":1199555,"id":"Q1199555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4332a3f2802b7e93e777dbbabb429dace2599be0","datavalue":{"value":{"amount":"+0.7692077159881592","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":"Q294640$565D73A7-F18F-4E80-9FA0-B24B470D2500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d713b013f9c21146d7c164818d589c7c1ae4b804","datavalue":{"value":{"entity-type":"item","numeric-id":4864475,"id":"Q4864475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ec19beed4d45f1b89bab14254f50c5b8862637","datavalue":{"value":{"amount":"+0.7692076563835144","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":"Q294640$B66F6C6A-2444-4C7B-9567-9F11B002CB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6aca9a5039fba5f216bd8e6614355e9eea4c82","datavalue":{"value":{"entity-type":"item","numeric-id":4275689,"id":"Q4275689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f571097f4af9ce7f406c81fb8e131388ec6847b1","datavalue":{"value":{"amount":"+0.7668141722679138","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":"Q294640$EEAE19C9-EB68-4805-90E5-EC585BFAF418","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of partial order logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_partial_order_logics"}}}}}