{"entities":{"Q1889855":{"pageid":1900597,"ns":120,"title":"Item:Q1889855","lastrevid":73712244,"modified":"2026-04-14T17:00:28Z","type":"item","id":"Q1889855","labels":{"en":{"language":"en","value":"Past is for free: On the complexity of verifying linear temporal properties with past"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2121783"}},"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":"Q1889855$E0CE44AB-6AAE-45C6-A40D-017DD03C8297","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecabd788631b9d0cfcaa2dec81b1527c06bdfa2e","datavalue":{"value":{"text":"Past is for free: On the complexity of verifying linear temporal properties with past","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1889855$A531C378-E868-4976-8F56-E849C2619361","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f330f4526fb65371b12b592935bd02ee9e3bc72","datavalue":{"value":"1084.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1889855$6F6C01E5-06D3-4BB9-A70A-B0707C74F77B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1889855$122C6A18-6FA9-4F96-AD19-DD9857F9F786","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1889855$BBEB045E-B494-4BFB-89BA-7568C0D09ED5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1801fd38eb81fc4d3237d55e24c2e5c8b6b08b15","datavalue":{"value":{"time":"+2004-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1889855$E761FD91-F328-4DEE-8522-D2ED2077D025","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1889855$0A7F894B-ABFC-4548-9EC8-A01BB47F4A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1889855$62BDDDD6-7B57-43DF-A42E-4EB150C268A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff00081b7745a2b026c6129e5c99b80791988fd3","datavalue":{"value":"2121783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1889855$E3C64F03-41BC-4919-B865-6A97A20BC80A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1889855$49A5C92C-6DBA-4DDD-9752-5435BFB6D0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89565828074331a1956569427b9e875b76618d4","datavalue":{"value":"linear-time temporal logic with past","type":"string"},"datatype":"string"},"type":"statement","id":"Q1889855$EBFD7C8A-F5CD-4764-B059-41C395EB4282","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":"Q1889855$B9CA7F9C-E320-450B-B04B-9938438EEDBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51f85fa972ab5087378a89e5b49517aadab2659c","datavalue":{"value":"https://doi.org/10.1007/s00236-003-0136-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1889855$F8CA3897-3745-4846-927F-D42B80544DFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a77bb14e29bd762ba0e3e6b7dd64bae95f855e9","datavalue":{"value":"W1992762998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1889855$17ABD52B-5E11-4012-A6F1-B67E9F34969E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc0c17d7544a98196c766c7fffae26c739d99081","datavalue":{"value":"10.1007/S00236-003-0136-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1889855$1D248D4B-FE91-4CDA-A44C-4DD86D4E614D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4281e9ce37be85485a8198911abb70a3483aa3","datavalue":{"value":{"entity-type":"item","numeric-id":2842605,"id":"Q2842605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1889855$9B66A6EA-249C-4A63-AD48-2EB3497ADB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1757275b6837c56cd25566854a6ac73fce2ac1","datavalue":{"value":{"entity-type":"item","numeric-id":5079770,"id":"Q5079770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"632df67261c7d4bd4ae98544d57e7b97f1cb51e1","datavalue":{"value":{"amount":"+0.86908877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1889855$D58205FA-33B6-4E3F-AEC2-D2FB11B6C6FF","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":"8c8068d0e16425020616fa755b487afab4fa8a9b","datavalue":{"value":{"amount":"+0.865358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1889855$FC1CE8F6-D7F2-4E28-9C9D-09741561C09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d9335eb23f7131179089b0d9b8df6b26603ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1989330,"id":"Q1989330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0357b535cd8f8b2fe7c09df41a894554e59be4","datavalue":{"value":{"amount":"+0.8646656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1889855$246F3C82-2C69-466B-B461-79558AF8E933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3d1c7aedec1525916a0eb1cdb6c9af811cc044","datavalue":{"value":{"entity-type":"item","numeric-id":2117656,"id":"Q2117656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d13ffd406766e17478caacf2923329c51850e1","datavalue":{"value":{"amount":"+0.8579702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1889855$ABB6D610-2B1A-4398-BD54-F3F1D7C4B9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88fe58bda23334074751f4422bddd4d9b7cd034c","datavalue":{"value":{"amount":"+0.8545869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1889855$26883D09-C1A4-4057-B4E2-2EB15B86981F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6609ad46b28cb2f7a41e74eeaa506229b97a53","datavalue":{"value":{"entity-type":"item","numeric-id":4738238,"id":"Q4738238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc0f9200158d73cbf89c3b717efec7198d36a43","datavalue":{"value":{"amount":"+0.85189897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1889855$8ECC7224-382D-46F9-996D-26ED65B1DEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fccc82afcec1063201652827c9e75f100e6e4b84","datavalue":{"value":{"entity-type":"item","numeric-id":672329,"id":"Q672329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd082611371983e565739ef4364c23d65cdcc30","datavalue":{"value":{"amount":"+0.8488017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1889855$B69AFE34-AA25-43C7-BDF2-295ADB03FC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd6430ddc07f666412f326375efcae8ea7ce9a5","datavalue":{"value":{"entity-type":"item","numeric-id":4508313,"id":"Q4508313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e0ac4b148944c33720514f054f0beb6c2e31d6","datavalue":{"value":{"amount":"+0.8472563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1889855$7FB43897-31EF-4920-B6C2-DB72C1FE2C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f904b2b738da9b545ec91d0d688297341523cc9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569234f92e5cb1eec92e2533b82959dd5cc7a0b9","datavalue":{"value":{"amount":"+0.847196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1889855$F6715E87-E168-4EEC-98D4-0302484F2AEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Past is for free: On the complexity of verifying linear temporal properties with past","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Past_is_for_free:_On_the_complexity_of_verifying_linear_temporal_properties_with_past"}}}}}