{"entities":{"Q2032844":{"pageid":2043586,"ns":120,"title":"Item:Q2032844","lastrevid":82403825,"modified":"2026-05-06T20:49:35Z","type":"item","id":"Q2032844","labels":{"en":{"language":"en","value":"Solving finite-linear-path CTL-formulas using the CEGAR approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7358424"}},"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":"Q2032844$4CF0BA02-2DFD-4F88-BD7A-DE0107C93699","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fdf7a4b0eb46f8b91ec66b2a92d91f4d5f67171","datavalue":{"value":{"text":"Solving finite-linear-path CTL-formulas using the CEGAR approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2032844$C4DBDB7D-135D-4F7C-B40A-FEB1B9CBACB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e35899400cbc0485fda05b67e5d1c52d22bb809","datavalue":{"value":"1464.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032844$1C4B9603-7220-4015-8093-97C562EC0389","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62d4b8881244e02ff8b0600d72d2966548a5804e","datavalue":{"value":"10.1007/978-3-662-63079-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032844$1FC5FAAC-82A1-498F-BA5B-C0231837D6A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3583aba60b34c0799d51c8182d5f00abf0f2b8d9","datavalue":{"value":{"entity-type":"item","numeric-id":2032843,"id":"Q2032843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032844$F1D25700-0BCF-469B-AC8E-2E3CEEB02535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c7fd26f0a57298ac83aef18f4ab12131e73dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1972350,"id":"Q1972350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032844$2977B99C-108D-4F02-9CC2-8333B318C278","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e3cc057fc0f295f9082b73bf1f37a9692cb13f4","datavalue":{"value":{"time":"+2021-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2032844$80B93D61-205C-4EB1-9342-FC2B46BDDB3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032844$EA033A06-A9E6-42A1-97FF-849301A45A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032844$18E0373D-E338-449E-B06B-CE8895FFF561","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69af6f15832a2232b984d442374974d3b6e87784","datavalue":{"value":"7358424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032844$0A1EBEF6-9ACA-427F-9BAA-B8F6133D999E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032844$131B0624-378D-4791-8F2C-FF4EF171CC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032844$0BCE1BC1-B395-4419-A0C7-A0D556CAD3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e8309eb16e0328e2ade32d2009aaeee6aa87b0","datavalue":{"value":"structural analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032844$58F53CCA-DBD0-4B62-BB6B-8F0AD3D7A664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8794be5634259987f7e3035390d183ba5b4edb","datavalue":{"value":"CEGAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032844$EE48C585-4D7A-411C-8D59-AA831C04BB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8016cd761509aafa73dd1280752a5ec5e0e91d2a","datavalue":{"value":"ILP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032844$E2A398B8-11D4-4CCD-AB3F-FC9EBD7D930A","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":"Q2032844$861B207D-0993-4E38-AD3C-87F3EA8A1732","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cf887ccba696bafc2893c0d6ecb3475a5af4dae","datavalue":{"value":"https://doi.org/10.1007/978-3-662-63079-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2032844$285804C1-ED12-441C-BE4E-C07168851042","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc52d660fabae32ec8ce62b49cb6b332c9e7ea67","datavalue":{"value":"W3130541796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032844$C0C7DDB6-4DCE-412B-BCA9-2E1FB0B95128","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09899429a67bba2cb2eb41accda0e85b57c28441","datavalue":{"value":{"entity-type":"item","numeric-id":2633620,"id":"Q2633620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032844$8A0F66FC-E472-42C2-9435-1E9F767DA014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032844$6C45280A-157A-44F8-9987-2EC1EF048E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c1cfbcde71192a979ec47c0550fe7f372732d8","datavalue":{"value":{"entity-type":"item","numeric-id":2941159,"id":"Q2941159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032844$62EBC429-7E90-44C2-BE81-CB032F1B68A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f50a8f0cae62c9d5fd7fa3381c720f86de675d8","datavalue":{"value":{"entity-type":"item","numeric-id":2937547,"id":"Q2937547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032844$BBF90CB8-E6BC-43E6-A665-2D1F1C139512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4696e3f3dbd828a17abc60cb089f79b6534e78","datavalue":{"value":{"entity-type":"item","numeric-id":6184728,"id":"Q6184728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032844$0AE1F577-2917-4029-A07A-55380DED95A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de9ea6a62d506f404642dd7e3bdebdfa5e0fc0e","datavalue":{"value":{"entity-type":"item","numeric-id":5892497,"id":"Q5892497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032844$DE96834E-3741-409E-B419-E96D222BDF02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e211ea89b3d99d470e6303f1a8d8a1db8fc009","datavalue":{"value":{"entity-type":"item","numeric-id":5892497,"id":"Q5892497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65dfd71d8a48f51f0f59b76e926e78726e42206e","datavalue":{"value":{"amount":"+0.8293932676315308","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":"Q2032844$A0D7A0F6-060C-4E31-9EAF-B1DA455A663A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ce490cded07af7a2008459aab28d60401770b9","datavalue":{"value":{"entity-type":"item","numeric-id":5894959,"id":"Q5894959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110e0b439aed8cf615da2c0968d974ce0c058134","datavalue":{"value":{"amount":"+0.8286153674125671","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":"Q2032844$E8F85388-B13E-4D42-94DE-C8A83ADBFB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5605b74046e4c3ae4a95f9077ed6a385e6eb932f","datavalue":{"value":{"entity-type":"item","numeric-id":2280185,"id":"Q2280185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d40b61ba06983437e533d15205a7389745a97c","datavalue":{"value":{"amount":"+0.8003896474838257","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":"Q2032844$9A2199FE-DE94-42B9-80C7-0106E9096BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffb66df32770710570dab809a3db5707b9fa96f0","datavalue":{"value":{"entity-type":"item","numeric-id":2941159,"id":"Q2941159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253f2ca40c95353f0bc0315798c6b3ce43629eda","datavalue":{"value":{"amount":"+0.795615553855896","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":"Q2032844$91BFCC58-BF0F-49E5-82D4-4A4559B46638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e489fb615134e9ce941bec2e6145d30ba24c79c","datavalue":{"value":{"entity-type":"item","numeric-id":2937547,"id":"Q2937547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9266b6ef6792ff1218b382138a6aec3d45fd74","datavalue":{"value":{"amount":"+0.7711699604988098","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":"Q2032844$D02A4BEE-E613-4DF7-9A5A-4DA490DE8731","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving finite-linear-path CTL-formulas using the CEGAR approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_finite-linear-path_CTL-formulas_using_the_CEGAR_approach"}}}}}