{"entities":{"Q3384176":{"pageid":3394879,"ns":120,"title":"Item:Q3384176","lastrevid":58149039,"modified":"2026-04-04T00:24:47Z","type":"item","id":"Q3384176","labels":{"en":{"language":"en","value":"A backward-traversal-based approach for symbolic model checking of uniform strategies for constrained reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7445171"}},"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":"Q3384176$9D62E37F-A979-4D3F-9852-17F9E4C99DB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3aee957c2cf184cd106edf558657fe5620fc3bde","datavalue":{"value":"1483.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384176$B80D3F84-B148-4591-85C1-1BF3320C2AD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13fdfd52e4c2161c96ab22236238ba262f22cd4b","datavalue":{"value":{"entity-type":"item","numeric-id":2024337,"id":"Q2024337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$5CD20F96-C986-43C4-B005-13478F4B783C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fb72a1ffd1a480e4a2854a5148c0b75e579a758","datavalue":{"value":{"entity-type":"item","numeric-id":2024338,"id":"Q2024338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$2AD8B1B3-947E-47A9-BAC4-37ED5DB8BE25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d9560a2a7c80ef145e6b9b718329e3064d365b3","datavalue":{"value":{"time":"+2021-12-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":"Q3384176$A23102C4-C6CB-44FB-A595-3A6C7E728AAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6971961642e53fe32a37989fdd6866e49d20d24","datavalue":{"value":"https://arxiv.org/abs/1709.02106","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384176$AF1B4AED-1E99-445D-B121-A1F0BDCB9CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4af3feb0011a712bfec9abed66aed286dce9aa6d","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384176$6942640A-AFA7-499D-8143-7BA62C05075C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384176$48718D89-BC58-4448-935F-5957DFAF9E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384176$9D50BAB0-E60F-4324-B8E4-C63C917A8B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384176$4E53D00E-46AA-493A-848E-FF782F1684C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384176$1A99F009-9F30-4E35-9528-A2ABF5E0F1FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b883f787377354cc7439c35b6bb5283604087a5a","datavalue":{"value":"7445171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384176$28685414-AF9A-4A42-96E8-CDB7B57CCE23","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$19755841-D9E1-4DB7-96CD-4D0070930172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"391ee6715ca6533869d961048fe72bd5307e87f7","datavalue":{"value":{"entity-type":"item","numeric-id":24223,"id":"Q24223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$FFE63EB8-1C7A-425E-B5F7-F6ABD3A5012D","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":"Q3384176$04DEE34F-8A4D-4088-80BE-3DC3468816AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$FFABAA32-2441-4897-BD38-BBDCC56DB2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc81a51ffb7d7fc591f0988b4c96db3a35c31e4f","datavalue":{"value":{"entity-type":"item","numeric-id":2457630,"id":"Q2457630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$8FCFD2F2-293D-4D19-A94A-D86220042A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$3E6DED6A-5700-43A8-9DF3-4FA44F7A8D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39677704bba663fd51e5572e1450a466d1164db4","datavalue":{"value":{"entity-type":"item","numeric-id":3388746,"id":"Q3388746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$FA1A9412-5E2D-49E3-9901-A92B0BD922AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fd406541df406732a3f172c395a87a69e69c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2346410,"id":"Q2346410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$09D5CF56-64D6-4C81-A6E1-39D09278C4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1ba59f43c7a9c98b2adf9e3f6cebd019bdcff3","datavalue":{"value":{"entity-type":"item","numeric-id":3582739,"id":"Q3582739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$87049BA1-AB29-4086-B3D1-12C58FA646F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$3696D0A9-AC3F-43C0-B30B-F50A6507DF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1b581b7fca7345a4d941e6d6ec38feec04b09e4","datavalue":{"value":{"entity-type":"item","numeric-id":5395080,"id":"Q5395080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$06218574-0261-4542-B125-22F1D33002D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da59ee86415d56950cb39398ecf643e0510207bd","datavalue":{"value":{"entity-type":"item","numeric-id":4681371,"id":"Q4681371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$6D387D48-1270-4ED4-A8F9-54F593A668D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d7760728e061f488af1326ad837ca1b9b91dbf4","datavalue":{"value":{"entity-type":"item","numeric-id":1609052,"id":"Q1609052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$9B467458-EE9C-4A37-9E7F-8F3E22153C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1550116116ca92f508575cbcaad2ea071302f3","datavalue":{"value":{"entity-type":"item","numeric-id":2921967,"id":"Q2921967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$1B8C0AEB-8C85-4E32-938C-FD3EC38FB798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb09e960e67cdac2726d3a0055a74014cb6df04","datavalue":{"value":{"entity-type":"item","numeric-id":3584952,"id":"Q3584952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$C47B39BD-9EF2-4E65-8D6C-A9AFA936F573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37903fdb19e3a915f3982502b6ee0513d911a253","datavalue":{"value":{"entity-type":"item","numeric-id":5426070,"id":"Q5426070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$A4B92931-BA06-43E3-80FC-E63CAEEC0024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94180abb213aaad0850b50fd5843df2553fdabd","datavalue":{"value":{"entity-type":"item","numeric-id":2844043,"id":"Q2844043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384176$E8CFD6CD-8208-43BA-AD76-0DACC8E0A759","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d58bbfe3474144758556e95b7e5c93e8a37cea4","datavalue":{"value":{"entity-type":"item","numeric-id":3133186,"id":"Q3133186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7856978a0bec88355ad3b367161dd911325967e6","datavalue":{"value":{"amount":"+0.8062497973442078","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":"Q3384176$ECB0608F-4DFC-4937-93C4-5EE26D6B9769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b27f49d6eececad98023bf7bc598e72ddfe6053","datavalue":{"value":{"entity-type":"item","numeric-id":3605522,"id":"Q3605522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0a0b5ef92594a921d5fcc8d33b5c1de1a15a1c","datavalue":{"value":{"amount":"+0.8059783577919006","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":"Q3384176$2ECDD9EA-58F8-452C-8D67-D05D980C9390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d5ae02988cf89fafa847e035f6b40a766c3456","datavalue":{"value":{"entity-type":"item","numeric-id":4992516,"id":"Q4992516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b293d99284621ff188fec95acb3782d2ba1b88d7","datavalue":{"value":{"amount":"+0.7827539443969727","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":"Q3384176$566D4E83-58B3-4837-88E1-6AC0DCE71F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec72b07953d20bb198d1fc4adf9d86f16a1ea81f","datavalue":{"value":{"entity-type":"item","numeric-id":2921967,"id":"Q2921967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085be1ed97adb670e3648774e5239143ce7b94dc","datavalue":{"value":{"amount":"+0.7799233198165894","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":"Q3384176$3A5C4EA3-7C8F-4102-A852-C5F635B39BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f842bc54c5f2ba6c903324655c3b68d3358b7b","datavalue":{"value":{"entity-type":"item","numeric-id":3601787,"id":"Q3601787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86912f2ae23f3bb7a97314dff7820334d8637842","datavalue":{"value":{"amount":"+0.7614926099777222","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":"Q3384176$ED910079-932F-4733-BC7C-2233C01720BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384176"}}}}}