{"entities":{"Q5900668":{"pageid":8006756,"ns":120,"title":"Item:Q5900668","lastrevid":50958440,"modified":"2026-01-15T22:40:39Z","type":"item","id":"Q5900668","labels":{"en":{"language":"en","value":"Reasoning with temporal logic on truncated paths."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695347"}},"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":"Q5900668$2C12FB4A-EFA9-4431-9AD7-FE65E2BCE0D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900668$CF62EE57-C15E-47D9-88E9-95857FE3EFAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52c58ba75a31618e460f8d49a24d7637f4e4e8b1","datavalue":{"value":"1278.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900668$DCF2AF26-1CC6-4011-9214-8C941945BD1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afed46769c393c237def5cd835ed5bcf922e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":202473,"id":"Q202473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900668$F8796E73-C666-4C2A-B105-6EA04CDC8969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ec5145617683a72c465241950a1a3fd51da99b2","datavalue":{"value":{"entity-type":"item","numeric-id":329610,"id":"Q329610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900668$6DE94310-7F4B-4754-A896-DEA9E80ECACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3bdf8e1bc4c60fbda6d71dbefcfcee12e76a62","datavalue":{"value":{"entity-type":"item","numeric-id":1346341,"id":"Q1346341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900668$AC808CE7-C563-4FDC-9EDD-6AC593E61EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c6f0f051bbed6825e251d255a85e9ed74a3a350","datavalue":{"value":{"entity-type":"item","numeric-id":2848679,"id":"Q2848679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900668$492A17C3-8504-4948-9C49-A0497619146A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4831e37258d7d006f763b92f3d4b9e0f05883ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2810969,"id":"Q2810969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900668$85551D14-C21C-4236-8D63-92ACD7EADE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18788a639c37302a4cbb8cbeb206a88a9a2331a","datavalue":{"value":{"entity-type":"item","numeric-id":3552045,"id":"Q3552045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900668$65AA8E4E-2FB6-49F8-9C07-852046276BD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900668$FE58048C-986A-4749-8361-E28E39F35686","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900668$E4330B22-4551-45EA-B84F-ABFA717BD0B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900668$920D8CA8-7B3C-4A94-9A2B-F27F0AD94690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900668$B34939B8-7C65-4C59-B7B6-0EE85CFBFA3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dea8d0db8d0b8a113d65cde484cb46811b4b313c","datavalue":{"value":"5695347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900668$7E7319B4-4C3A-4CDC-A744-AE6728DB38FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"731a53205dace117eb99462ae8f39dbcd7e59eae","datavalue":{"value":{"entity-type":"item","numeric-id":14297,"id":"Q14297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900668$B60E2FEB-96C9-4107-B460-2054C4841BC0","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":"Q5900668$4D81D897-D12C-4278-A727-9B090FE6CF99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900668$561CA15C-7BE8-4205-AAC3-8B0D31E493D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900668$2F2C5724-30F1-4803-8F31-A75CA7F5ADD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900668$5496E2F1-E248-4492-9373-F725195821AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ca1889f486fdd5f801e7e500872896855df29b","datavalue":{"value":{"entity-type":"item","numeric-id":5900570,"id":"Q5900570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46c60efa580a4c07ba6e7ef2347d0fc44a4c077","datavalue":{"value":{"amount":"+0.7362917065620422","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":"Q5900668$E9063E87-CFDF-4093-BA7C-5D8B73B54E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771c17044fd2d01bef082de82391d70331d1a4e8","datavalue":{"value":{"entity-type":"item","numeric-id":4737221,"id":"Q4737221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5f3029206b88c04d8b618dc8c90e1145b5bf6f","datavalue":{"value":{"amount":"+0.7170642614364624","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":"Q5900668$EE98EFCA-5ADD-4CC1-A213-1EC051D66784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e09fa57aeb1f55298b6eec616fc70403b45775","datavalue":{"value":{"entity-type":"item","numeric-id":4558796,"id":"Q4558796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff95906eef4e039ed6f0547f4de19872c8e36ca","datavalue":{"value":{"amount":"+0.7152489423751831","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":"Q5900668$D35E8F2B-8AF1-40BC-BA92-4BC41AA0B465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96960112e498526eaaa39fc571da46f77d2fb146","datavalue":{"value":{"entity-type":"item","numeric-id":4737220,"id":"Q4737220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1671d58dbbbbeb3341e194d3b25cf6269005e5a6","datavalue":{"value":{"amount":"+0.7132232785224915","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":"Q5900668$ACABB903-24DD-43A5-B00F-CE71C558E442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a727728c823d941a76dd62f43e5f0649aab66c","datavalue":{"value":{"entity-type":"item","numeric-id":1207955,"id":"Q1207955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c6ab07d0be945e31b9c2261dcf549c4728c497","datavalue":{"value":{"amount":"+0.7129656076431274","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":"Q5900668$361E105F-3CFE-49FC-9D62-98E178B5DC3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900668"}}}}}