{"entities":{"Q4899110":{"pageid":6928689,"ns":120,"title":"Item:Q4899110","lastrevid":90939938,"modified":"2026-06-04T21:50:48Z","type":"item","id":"Q4899110","labels":{"en":{"language":"en","value":"Efficient parallel path checking for linear-time temporal logic with past and bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122238"}},"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":"Q4899110$56E2DA8D-E868-4AA9-B10E-AFDE3F5395E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"725781383f8dd4328535531c29e60eebcf68a5ea","datavalue":{"value":{"text":"Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899110$0E76A418-E18E-4849-B0CF-66EEA5FE51AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95e1a280987d38abd977a4b53384b91c6a4e4b02","datavalue":{"value":"1253.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899110$2B0425CB-AB65-499E-8E68-254E11913E7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed92a75846ef77370966165163f07777af5cd93a","datavalue":{"value":"10.2168/LMCS-8(4:10)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899110$FE11AD42-77B9-4E44-8F8C-A72C1FC34ECA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d815e877d6b6ef41244938ec3b68f9b5c664a250","datavalue":{"value":{"entity-type":"item","numeric-id":845731,"id":"Q845731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899110$9AB94D04-7CDE-4B9E-826B-77117A2F3FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899110$1C00B87A-4EED-4026-9944-115CECDD10B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899110$4C5B4B68-F970-4BC1-B2FE-68C7C68F9625","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd34a47bf1bf332779159afc782c4fbf4412170c","datavalue":{"value":{"time":"+2013-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4899110$6CF7427E-961E-48F2-8D82-0DED39565E44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"358acb6fe16aab2d8cecc73a7c85d7a4a5adae90","datavalue":{"value":"https://arxiv.org/abs/1210.0574","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899110$106A2145-593F-434E-8789-DB3327450529","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899110$95CD3334-68CF-4A76-B761-A838D52959E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899110$298409E2-51B3-41BC-83B5-F67FC7F6F37C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fdf03a72bbc61d03c0087575ea4a31a2d1dc4bf","datavalue":{"value":"6122238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899110$C76B985D-EDAB-40B1-8491-592EACEF1BD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b16116b684c0c492d8cf9c55c1e671894af89a","datavalue":{"value":"linear-time temporal logic (LTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899110$15A26446-A2B0-4931-996F-31D221BE8C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89565828074331a1956569427b9e875b76618d4","datavalue":{"value":"linear-time temporal logic with past","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899110$4245496F-A7AE-4EF1-B2F7-3CAA48943BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af4a99730e456a6e2c6731eaf8d40fc83865e6c4","datavalue":{"value":"bounded temporal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899110$1BE3A1C0-D8B3-41F6-8E90-B5B5E186AFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899110$BB8E9294-A742-44C3-82F5-7A55864E4640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50da89844c838af899fe07c500bf69ab9dd6cfe2","datavalue":{"value":"path checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899110$7F291430-0435-4A47-8FC6-C6E726E62013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a63f5fdf3038af45049408a9914d671beb783a5b","datavalue":{"value":"parallel complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899110$50C448CC-E81C-4DB8-96CF-5D135B0CD969","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":"Q4899110$76D1F0F7-722E-4212-A8CF-4317D0AA1479","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfe0ab5bdfbac87d9d6d3360df7c9de3d1626999","datavalue":{"value":{"entity-type":"item","numeric-id":3638098,"id":"Q3638098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d347c6e8f6fccb66c3792cf46a45c4c701f01ab","datavalue":{"value":{"amount":"+0.8810146450996399","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":"Q4899110$BEC609A0-C257-4AF6-9D62-AA37D41CAE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21a0c701677c5338c7ff3e1a9c320fbe6d6ead07","datavalue":{"value":{"entity-type":"item","numeric-id":5167829,"id":"Q5167829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f896069467517fb2774a89c51d9d55894d6d18de","datavalue":{"value":{"amount":"+0.8090975284576416","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":"Q4899110$0507BEE7-892A-41EE-BBEE-4660EEF7B01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8bf9ae8412d3f6bc9ff581a201bd878f319ddf","datavalue":{"value":{"entity-type":"item","numeric-id":2845488,"id":"Q2845488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e3bd109151e2072af31c140518f20b90ba29fb","datavalue":{"value":{"amount":"+0.7929052114486694","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":"Q4899110$B305A34C-1E9D-46E8-A715-2E79B2BA8794","rank":"normal"},{"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":"0cc5891709c7b6b9c3f8e0ce6a6d50ba37987e1c","datavalue":{"value":{"amount":"+0.778271496295929","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":"Q4899110$04D6C9C8-9A2A-47CB-B191-913752333850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7fcafc978887724a703456a7cb4823f9823f8d","datavalue":{"value":{"entity-type":"item","numeric-id":4417910,"id":"Q4417910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd3b7fcc819ce204e965e32b83a34f8babb8759a","datavalue":{"value":{"amount":"+0.7684333324432373","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":"Q4899110$EC9298A5-2096-4FDF-86F4-13B87AFEC68D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient parallel path checking for linear-time temporal logic with past and bounds","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_parallel_path_checking_for_linear-time_temporal_logic_with_past_and_bounds"}}}}}