{"entities":{"Q6044113":{"pageid":13178269,"ns":120,"title":"Item:Q6044113","lastrevid":47851498,"modified":"2026-01-02T21:22:10Z","type":"item","id":"Q6044113","labels":{"en":{"language":"en","value":"Adding partial orders to linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7686617"}},"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":"Q6044113$632F1B66-8CFF-41DA-8F9E-E70C7A21A0EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc4f75e0e56046a028049f1d3ab2bca32dbfba6d","datavalue":{"value":{"text":"Adding partial orders to linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6044113$3099456C-1881-4F3A-8946-D285D5B1E967","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee6e5132ed57370c852ebd3e0278395209d7b4a0","datavalue":{"value":"1512.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044113$91280680-5780-4410-863A-849FD4F8FE09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4438b477b71f4937e84c6a741a25345228f03fdb","datavalue":{"value":"10.1007/3-540-63141-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044113$6A1DF7B7-3DDD-4499-A29B-C24E2E2E861D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68396c813d82aaf0727751f978817d0420071f70","datavalue":{"value":{"entity-type":"item","numeric-id":1379167,"id":"Q1379167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044113$271F1551-C5D5-4EA5-B54D-06404D3C2F4D","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":"Q6044113$2C838B17-9B12-46C8-A6B3-972C29326CD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2119d755bd5d418a3808091d51c0bc708f312de4","datavalue":{"value":{"entity-type":"item","numeric-id":6044104,"id":"Q6044104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044113$366CD1EF-40B6-47FE-AC43-24F9824A234C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e173d8a6d5fd8f9048a4897c8fc35d9b27bdc36c","datavalue":{"value":{"time":"+2023-05-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":"Q6044113$734CB075-7125-4669-A767-50E1862D1E6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044113$913BD541-8A5F-4844-A14A-5B098C6EDA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044113$5BC37855-BEF9-4367-BD15-6C87BF246753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044113$3C869419-D856-4063-AE48-0586DF6FD803","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2023879f96f8cd580ecc95a29af5ae3178e4974e","datavalue":{"value":"7686617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044113$6694FE04-EF80-45B2-9ABB-463C83572536","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":"Q6044113$BC863553-6B56-431C-ABCB-2F8606C80484","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044113$CBA5CFE1-8AEC-41A3-9C01-4ED4B9A80D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"521bc4c633dbd0f1fb3b7a6cd36f636108239b35","datavalue":{"value":{"entity-type":"item","numeric-id":1200917,"id":"Q1200917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044113$7A96151D-D9A8-4A74-884F-1A3DAEC8FF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96046d8590b6002eeffff55a627d504cd040d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3482822,"id":"Q3482822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044113$B1C1D67D-B641-4961-9CC9-53D9D98DE89F","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":"Q6044113$C8CC1758-91C9-47F8-BE6C-B31500C6E461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f0776cd2bb279a937717661bfaf9e8326ea413","datavalue":{"value":{"entity-type":"item","numeric-id":4275182,"id":"Q4275182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044113$4062EEBD-A7EE-40C2-AA8E-098B4E1ED514","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":"Q6044113$D37CE3FB-8B47-489E-81CF-4761B3D930D4","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":"Q6044113$B57029B4-8870-48F4-98CE-0DFCCB40DC1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a228b1bb54bf5019548c941f1857b96e15b9891","datavalue":{"value":{"entity-type":"item","numeric-id":4264097,"id":"Q4264097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0f1f1db2bcb46f5cc6f2fccc96b57c88622bd6","datavalue":{"value":{"amount":"+0.9999362230300904","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":"Q6044113$C8A84A3D-EB1E-4CD5-816F-5BFC8AB7759E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430a37bf04db9c21fe1ff8141794a20cfc720c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e99852d1f576b1aed018d7d8c4399fa9a63f61","datavalue":{"value":{"amount":"+0.8001266717910767","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":"Q6044113$392AD63F-01CE-44CD-8406-E5CE7F256C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e98bd4c932342579ceaa19841cf9af737500e1","datavalue":{"value":{"entity-type":"item","numeric-id":4038718,"id":"Q4038718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ab230332b8fbcb44251466f13d088dbb01499a","datavalue":{"value":{"amount":"+0.7841094732284546","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":"Q6044113$1DDDE434-5DE2-4E77-856C-F2739923B0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aee0f87c37757ebf208a511a6c817e3e0be7699","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ab230332b8fbcb44251466f13d088dbb01499a","datavalue":{"value":{"amount":"+0.7841094732284546","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":"Q6044113$B7CF5689-55DC-4B86-844A-E1086B3F18A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66c05696417db8302b7fceeac74f01d69aba1bf","datavalue":{"value":{"entity-type":"item","numeric-id":1322161,"id":"Q1322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ba09eb648416966af4bc4c4bb89b6f4422f887","datavalue":{"value":{"amount":"+0.7775327563285828","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":"Q6044113$71981005-BDED-4F3F-A790-45A79389751B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6044113","badges":[]}}}}}