{"entities":{"Q6154870":{"pageid":13289266,"ns":120,"title":"Item:Q6154870","lastrevid":57584487,"modified":"2026-03-31T12:19:33Z","type":"item","id":"Q6154870","labels":{"en":{"language":"en","value":"Satisfiability checking for mission-time LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805813"}},"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":"Q6154870$C054A1FC-E0F4-4BC6-89FF-8FF41FC95E8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7ecad2172d44c585c41fa9dfd741c24ed24d9ce","datavalue":{"value":{"text":"Satisfiability checking for mission-time LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154870$E2DAE41F-53E0-4C26-941C-2F235DE160DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2aabeade8bd611bd22d28ae7b8a6632e05ba67fe","datavalue":{"value":"10.1007/978-3-030-25543-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154870$D0E6A868-516C-43E0-8DAF-7EC5356D5B75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82832e6ead7fd0129a06a766786f66a3d6aee0bc","datavalue":{"value":{"entity-type":"item","numeric-id":1707338,"id":"Q1707338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154870$49A548A9-CE02-457D-82B5-81D8978ADF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154870$AD66F47D-2FDF-45F3-B6AE-61BAC37D9339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63732236fa66d5c3f9fb2c4a703259d2ca600fe1","datavalue":{"value":{"entity-type":"item","numeric-id":1996029,"id":"Q1996029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154870$429590AF-1CD7-4967-83E3-1853EE1E2671","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154870$0302F89A-FF16-42E1-AF4D-A5FBB2C8A38B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154870$33641F5F-95F6-4CC7-8772-39E24D0A7AE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154870$B00FCBE3-30DA-4656-943A-D8E2BEA5FB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154870$8B9D5991-FB97-464E-810F-7F61B1D5288A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d102ba7608b51fb0611359fe07ab5ae20cca666c","datavalue":{"value":"7805813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154870$A0DFEC15-2356-4605-9206-C12BBBA6F2BF","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":"Q6154870$FAC21BFE-9FDA-400D-829A-857CAECDBFB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9f2921d09a2dab2088447fb41a07e1bf70faebf","datavalue":{"value":"https://doi.org/10.1007/978-3-030-25543-5_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154870$ACC39319-52A6-44EE-910D-1D8A0A057990","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4557c06bbb031e1f5208f17e4f4b7c9935a3104","datavalue":{"value":"W2956582956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154870$93C0A456-5605-4308-8C0C-25A7C69E6381","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b7d446cbfc55c1f131473f3ff65bd7e4b2628f","datavalue":{"value":{"entity-type":"item","numeric-id":2105410,"id":"Q2105410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdde4e375a1a917886f345327067d00dd137dabf","datavalue":{"value":{"amount":"+0.9815878868103028","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":"Q6154870$E8A4EDF9-2DCD-4BFC-904C-02FE42449999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b12e42585664361c0df7327302c66cf8f4d219","datavalue":{"value":{"entity-type":"item","numeric-id":6536429,"id":"Q6536429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6802518aa22bde04f821bfd655afd9b31921bcc5","datavalue":{"value":{"amount":"+0.8512361645698547","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":"Q6154870$DD7AFDCF-99C9-4DC3-99D7-D47F5C1F14B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd337c76b9d0191a884de11665b0801df545251","datavalue":{"value":{"entity-type":"item","numeric-id":897649,"id":"Q897649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c432eb70e1d8deb081b4a58e161c14f39f66122","datavalue":{"value":{"amount":"+0.8102012276649475","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":"Q6154870$CB822C3B-89EA-4525-B1DA-ED87D4724E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99efe65a80694c2247f8810e011b1b26faef365","datavalue":{"value":{"entity-type":"item","numeric-id":4612433,"id":"Q4612433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba03c0d8fc84799e75385e4a40f0bd0063a40e5","datavalue":{"value":{"amount":"+0.7814180850982666","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":"Q6154870$8AC7ADA7-9464-488E-82F9-6E795DC97B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec1845d5b805a33a9b6dc48ef7a1a69c506e41c","datavalue":{"value":{"entity-type":"item","numeric-id":2046017,"id":"Q2046017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4c20eccfbe61c0dbc9240e7b5b39edc1cd91ff","datavalue":{"value":{"amount":"+0.7804942727088928","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":"Q6154870$7FA1536B-58BA-4200-8067-FCE59D6A988C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154870$7E66531A-530B-424F-A8E4-5A9BFE31E9A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154870"}}}}}