{"entities":{"Q5167829":{"pageid":7197401,"ns":120,"title":"Item:Q5167829","lastrevid":58462671,"modified":"2026-04-05T08:08:15Z","type":"item","id":"Q5167829","labels":{"en":{"language":"en","value":"On the Complexity of Temporal-Logic Path Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6312305"}},"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":"Q5167829$F61F626D-2FFD-4DBE-8448-E64794BE98DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c767f8bfc14e2e8fd48896642113641503a18e7e","datavalue":{"value":{"text":"On the Complexity of Temporal-Logic Path Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5167829$01DFB32A-9205-4248-BEB6-95BA04B64399","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bac3cd260be67d87ff05b2453c47084961eda71","datavalue":{"value":"1410.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167829$1F4E6ECA-88A2-4F2F-B7E0-79CE3CE5693E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5ad4fa6a09f527422ae44d377167819b3be47c1","datavalue":{"value":"10.1007/978-3-662-43951-7_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167829$E326FC82-5B83-4653-AF9F-A5C0760B5973","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a98492ef135855940fc4c3047417452156ff375","datavalue":{"value":{"entity-type":"item","numeric-id":340571,"id":"Q340571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167829$4CF08D45-5E78-4BF9-9811-F6B9AA34DF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167829$D59BC084-2E7B-4788-84BE-C131BD5A4F0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167829$9D43347C-3634-4FBA-8B5F-1F57D147830A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e60bf630f2383f14de32b8ca35633600a7b19ea","datavalue":{"value":{"time":"+2014-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5167829$DA7B99DF-661D-4024-915B-D8B5464D71AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45afef4f70244473a8e93b023cd772948cc3e76f","datavalue":{"value":"https://arxiv.org/abs/1312.7603","type":"string"},"datatype":"url"},"type":"statement","id":"Q5167829$B217AD84-9FF9-43B2-A89C-9606E672BCC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167829$77CBB98D-F6AA-4E15-9854-8F16944ED1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167829$788657AF-4217-49DD-893C-9F36B709B6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167829$4E8EF530-AB5B-4453-9FA8-CCAF13CD5BF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7e39b647dc90be14e701b83dc22f1765becf6b3","datavalue":{"value":"6312305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167829$051F9E30-9B00-406A-AF7B-01E158D316D1","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":"Q5167829$8F9711D2-CF80-4FDE-B4D6-BDD5257E1220","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"267daf082d4dfc0ce2640ff0214682c062f0fb4f","datavalue":{"value":"W1570669451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167829$DBB899C4-5C48-4FFE-AB41-9BC5A68AFE2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e532117e857e01e04de506d311d18d443014c3","datavalue":{"value":{"amount":"+0.93836033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167829$8E768C98-E183-4F44-B702-AC01FD4D0782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc4f2e0d4eef5aa5129e8f28d7db03091d0326de","datavalue":{"value":{"entity-type":"item","numeric-id":4899110,"id":"Q4899110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0fdf3f54ba95014937cef02e30fb71cb07b84e","datavalue":{"value":{"amount":"+0.9043535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167829$A5CD4CAC-13BC-4C9D-AE87-BB5EA14B74B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfce1ff02b70c6adac741d876a12b423c42b19f2","datavalue":{"value":{"entity-type":"item","numeric-id":821561,"id":"Q821561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf50255249c38251e2d381b772af30fd7066f1e","datavalue":{"value":{"amount":"+0.89511216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167829$039A6170-FC26-4485-B12A-775B6385C865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0986571c8d0ebdfe508d38d3d991960870fefdf","datavalue":{"value":{"entity-type":"item","numeric-id":6487561,"id":"Q6487561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf50255249c38251e2d381b772af30fd7066f1e","datavalue":{"value":{"amount":"+0.89511216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167829$32882E4A-D757-4FD0-B0AE-244F4CDE35E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c605e9b14ae02e7381e2d82d56b60fbf62e509","datavalue":{"value":{"entity-type":"item","numeric-id":4037127,"id":"Q4037127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3caf6cad138fbe827fca4b2f6083c82c9cd55f5e","datavalue":{"value":{"amount":"+0.89031506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167829$3B1B4F0E-7AF8-4CD0-9DEF-D1C1035C4442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab2639d120a41e9afde30746a5386c4f8af2b45","datavalue":{"value":{"entity-type":"item","numeric-id":4037390,"id":"Q4037390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609b8f8e05a5b44dbabb47aa10e2ac88aa707835","datavalue":{"value":{"amount":"+0.890315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167829$5544AFFE-BE53-4C9A-A219-C0359ABA0EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3833c6396f13ecfb5867a67d77d00eb3c677de99","datavalue":{"value":{"entity-type":"item","numeric-id":5278205,"id":"Q5278205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c35e6d9bb1ec65f7f5ecf86a2319dc02dba385c","datavalue":{"value":{"amount":"+0.88788795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167829$D2837C08-FB4D-4136-B08F-7775CA217115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883c23305d8a1b064ea2be02f161af8aa5e618e","datavalue":{"value":{"entity-type":"item","numeric-id":1192606,"id":"Q1192606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0291ae8f7003fd10236ebeb422014eea55f7de2","datavalue":{"value":{"amount":"+0.8872668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167829$70E467A0-9DF4-4840-8362-742036434A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6bc41b4e7aec602295e8932cbb5b1b946e7b555","datavalue":{"value":{"amount":"+0.8863517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167829$8A86A449-61AD-4C0F-8516-ADA93E47F178","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5167829","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5167829"}}}}}