{"entities":{"Q2908211":{"pageid":2918936,"ns":120,"title":"Item:Q2908211","lastrevid":51543122,"modified":"2026-01-18T17:29:19Z","type":"item","id":"Q2908211","labels":{"en":{"language":"en","value":"Hybrid on-the-fly LTL model checking with the sweep-line method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076639"}},"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":"Q2908211$B628F4FF-C5DE-4757-B0DC-3FC6422217E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f821181d4f55a7992ceca7f276a6abc6d9f27935","datavalue":{"value":{"text":"Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908211$6841505E-EA84-4F6B-91BF-DDC1ADBFA844","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cba1a3d09388187efa7146e01d179f8b603bdcc","datavalue":{"value":"1357.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908211$B408D8C0-238B-423D-AE6B-96F8CD7B4618","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef909f88adcc59aefc56350b3859ed612e3a4dc6","datavalue":{"value":"10.1007/978-3-642-31131-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908211$1375B6A2-02BD-4ECB-8D4F-EF097F9F6EFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99313330200dab2f32d5cc8a3d111667b4b80ea0","datavalue":{"value":{"entity-type":"item","numeric-id":2889612,"id":"Q2889612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908211$48A3B538-688A-4AB6-9638-01E04387F7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df3ac8b732cf333e6b12ba0f543377c635e7c488","datavalue":{"value":{"entity-type":"item","numeric-id":1768478,"id":"Q1768478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908211$124B831D-8AC9-41C3-AF28-800014DA573A","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":"Q2908211$22757169-4582-42D7-AA80-B0E434DA285F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a933b2ead0cc75fd18543e1d82a9ae7def7bfd59","datavalue":{"value":{"time":"+2012-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908211$0A3DB255-9A2A-4491-9DFD-8FE4CDBDFDB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908211$570FAE76-3C9E-4D7E-9AA2-F3C4C5DDC711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908211$8933AFAD-7402-47DD-BF96-4BCC93CB8889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908211$44F34F87-4EDC-416C-87AC-44E361643E97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d04a2c6a81b53419f568c3e8cf6e067f1842346f","datavalue":{"value":"6076639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908211$F60ABC14-960B-4B7A-BE20-988B2C699B9F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca6f770bb1191c12b22fb9edfc51e5641f798f63","datavalue":{"value":{"entity-type":"item","numeric-id":16557,"id":"Q16557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908211$687359D0-0668-4395-9274-C77D357FD053","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":"Q2908211$E68BE7B8-50FB-4538-85EF-1FEAE4AB7BE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38078bff823e7623fc180cc66bd5bcca210ca6f8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31131-4_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908211$640A75C2-DA9B-46B5-AAFD-CC8F2349E032","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"551d04a9191ffa69fe9355fc8f7a1352b3feeaee","datavalue":{"value":"W74804675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908211$93D7D7F0-46FA-41C7-81EB-6A80890371BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9578cad022330e19a661b5ce94b7231fa7765441","datavalue":{"value":{"entity-type":"item","numeric-id":5415299,"id":"Q5415299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2e0f864ff6c2c5beafb6c925ca49d47a766b6a","datavalue":{"value":{"amount":"+0.908946692943573","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":"Q2908211$53DF8917-6AAE-4AC0-A6B4-1E23F09D79BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fea4235ef1a612c24576ee51c9e79c892333ea2","datavalue":{"value":{"entity-type":"item","numeric-id":418783,"id":"Q418783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9b56c88d091002a18854acfd64dfd7f94e2a6a","datavalue":{"value":{"amount":"+0.8561678528785706","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":"Q2908211$784A1546-2BC7-4786-922C-AD885D2C3D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70518e9117f25ea6ef504a426e29e3c789c7bb4","datavalue":{"value":{"entity-type":"item","numeric-id":4808851,"id":"Q4808851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6dc6a98948d1ddc395bc96bf26e7e6d697cc53f","datavalue":{"value":{"amount":"+0.8255407810211182","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":"Q2908211$3B218C43-0B26-45C8-A82C-B8F39AE468A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa8051ed9a08268458a56364f716f5f865b5f2a","datavalue":{"value":{"entity-type":"item","numeric-id":2769607,"id":"Q2769607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa815970c31053c370af7ab098f68636fd5daa3","datavalue":{"value":{"amount":"+0.8111677169799805","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":"Q2908211$C2A6A505-202A-4350-83CC-85131D140432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d130151a37afc6e0cd16530df1c649436d5f6566","datavalue":{"value":{"entity-type":"item","numeric-id":3045268,"id":"Q3045268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e74c49f6ba19321292e6353ed75cb24f76af167","datavalue":{"value":{"amount":"+0.805164098739624","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":"Q2908211$989243A2-F68C-476E-93E3-1E3989061747","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908211","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908211"}}}}}