{"entities":{"Q4640287":{"pageid":6669868,"ns":120,"title":"Item:Q4640287","lastrevid":53083274,"modified":"2026-01-24T04:44:51Z","type":"item","id":"Q4640287","labels":{"en":{"language":"en","value":"Verifying increasingly expressive temporal logics for infinite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6869325"}},"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":"Q4640287$7A6144EE-3563-473B-ABA3-5DC340E6114A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fa98a4aae0d6a82c4be4050f3e1b96b99ded14a","datavalue":{"value":{"text":"Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4640287$BF4DB2A5-331E-4B19-893B-4CB65FF87DCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ba0fb40ccb88b0bf23638f7335ddb21dc6fbc14","datavalue":{"value":"1426.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640287$95F547F2-02AB-4389-B299-781E83610B58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f8fb2dd442f0b2245f10f09172db1da3ed9c9b","datavalue":{"value":"10.1145/3060257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640287$86282AD3-5B58-4464-95CA-510744B4FCCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640287$83D017E9-8C14-4454-8B0F-FC215ABB7357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daeac091f0eaa7da5f0340038d070bf523e8c109","datavalue":{"value":{"entity-type":"item","numeric-id":1702906,"id":"Q1702906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640287$173091B4-3F39-4E23-8F69-26BD59C93B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640287$EFD76118-65FB-4D98-A4E0-0D85BC7F29DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640287$B7EF3DCF-75BE-493F-82B4-389F02ADB56C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c01739a4214e1a2ae2105a086153c18669073f","datavalue":{"value":{"time":"+2018-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":"Q4640287$3D67BEBC-F5DA-42DC-BCAD-84D591CF3A62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbf9a58fcc7c0e4cd0416abc137e1c16618c1b77","datavalue":{"value":"https://discovery.ucl.ac.uk/id/eprint/10075277/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4640287$BECE86F9-71A8-4EB7-942D-DC4BB8E5517F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640287$9B33EA38-97AD-4406-835A-66282506DCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640287$F3B4861C-71F3-44A8-9112-13F914C6F9C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94ccd60c2596c62ec86fcf0079aca6cda11dc41e","datavalue":{"value":"6869325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640287$0524DAED-C4BA-482A-8E4B-D6004B4B20AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b056b74f1d39746bc732479c376ab68ebba14d7","datavalue":{"value":"CTL*","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640287$8387EA49-56D6-4486-B99C-948A435C9A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640287$8E26F08B-6CFE-4D2B-BF7C-2945405C060C","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":"Q4640287$E1980ECF-5921-4D11-A152-5950F4DCFDBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9413666fd55388184f8192028d98a770ee46e16","datavalue":{"value":"W2610066027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640287$ADE28967-C362-483D-AA4A-A1B41C20B008","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c9dca3a78a770850868382fd9a56590720a9de","datavalue":{"value":{"entity-type":"item","numeric-id":1702907,"id":"Q1702907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e197fa0d8e7137befa0fb4e447e9ba7e8158b0","datavalue":{"value":{"amount":"+0.8534553647041321","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":"Q4640287$61E71F33-5C7C-4271-8388-A5E63B24F6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4733e2d529c583b91f556e836992428ad46f2ca","datavalue":{"value":{"entity-type":"item","numeric-id":2058382,"id":"Q2058382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52c03921342b68e19ff48287c8ae4277b94c511","datavalue":{"value":{"amount":"+0.7870801091194153","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":"Q4640287$9FFD24F6-7C62-40BD-B760-BF635F51CFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8fb3a6edafc070e3ac352eaa8f53304bd4b5285","datavalue":{"value":{"entity-type":"item","numeric-id":4275182,"id":"Q4275182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d0c59c8aac2c638b4ba8efc06182457ea5ad8f","datavalue":{"value":{"amount":"+0.7629818320274353","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":"Q4640287$B3BA7D24-4E2E-4B27-BAE8-A54AA5F197FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde53ae633408acb3736433b145ea145b3e5d845","datavalue":{"value":{"entity-type":"item","numeric-id":3066089,"id":"Q3066089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b418fdb673b4377bea73593fb8a5e7308dcfca1d","datavalue":{"value":{"amount":"+0.759799599647522","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":"Q4640287$AF47A3EC-3F06-4242-BA93-C5E7A6A1FF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7208a4fdd527dcb609a81f4a49213711c58b0a87","datavalue":{"value":{"entity-type":"item","numeric-id":3587257,"id":"Q3587257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee6359449680b1290a0353d96978786246fa789","datavalue":{"value":{"amount":"+0.7573621869087219","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":"Q4640287$59471866-308C-418A-A0B3-CFCAC25CE812","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4640287","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4640287"}}}}}