{"entities":{"Q7001144":{"pageid":21509844,"ns":120,"title":"Item:Q7001144","lastrevid":83070560,"modified":"2026-05-07T05:52:17Z","type":"item","id":"Q7001144","labels":{"en":{"language":"en","value":"Unfolding state variables improves model checking performance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8023362"}},"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":"Q7001144$FC25101D-0B10-40DC-B7DF-1E245FEBF6C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0433e359b291397fc801edd48c60a629194ad3b","datavalue":{"value":{"text":"Unfolding state variables improves model checking performance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7001144$DCDDE9A4-A92E-475F-8788-CB906F3D4DBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dba86b806b01d3b7f739ee14c18df8addc36d432","datavalue":{"value":"1562.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7001144$64243157-8E31-404C-A1BE-8A0E28A1B673","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"310f5508a36fd53d6e60149b43a9bff81768a68c","datavalue":{"value":"10.1016/J.TCS.2025.115181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7001144$816AAB70-5D74-4B2E-BB16-797AE45ABF58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"652d0b5a857acc59fc6bacca781f6c125c4eeaaf","datavalue":{"value":{"entity-type":"item","numeric-id":2145271,"id":"Q2145271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$13458FB1-F1F8-40BC-B57E-D5E286F2F83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab6a5defd203445259095e179813f3407c4dac2c","datavalue":{"value":{"entity-type":"item","numeric-id":1656551,"id":"Q1656551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$1DBBD894-C327-4E81-A881-CA5B5776B83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3faeb367b64965097fe92caf6b7725e1df1769","datavalue":{"value":{"entity-type":"item","numeric-id":2151273,"id":"Q2151273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$87F157ED-FA9C-4600-9FA0-7C6F337E8F0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$9FE9C04F-F918-462B-9C3B-CE7BBC17B351","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7221f3922fb3228d83e0ca7e1f4252200970e037","datavalue":{"value":{"time":"+2025-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7001144$07C24005-1CE1-40F8-82C7-51AA1A72A5D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7001144$AE8C49E1-3022-45E1-999F-A94F3D1CF15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7001144$C313B163-3134-4C12-B8D9-D796BE4AC807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7001144$95778B61-32B3-4CC3-B582-49E6BDEC1D9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e14e813bd173c64d80701ad9e30a1e024eeb6187","datavalue":{"value":"8023362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7001144$F9F6AD9E-DA07-4C58-B9D0-F276AE6DE06F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q7001144$E463EB24-057D-4EE0-96BC-C623AD5DE474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8308cf047a9caa020705e36cf27d6d1287dcc04","datavalue":{"value":"algebraic data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q7001144$60F4B67A-90F7-484B-AE8B-266BA50AB3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q7001144$F82A719B-06AA-48F3-BE1D-6ACA26CCD04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q7001144$17FB49D4-15B0-4DF8-9660-8C307FB217F1","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":"Q7001144$ED834F70-0981-469C-AA43-C8AC6D4A592E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$394C044F-2BE8-41E0-9089-0DDE9E5534A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$481FD57B-AC13-4682-A20A-E68E65DC483B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$871BA14A-BB38-4C8A-9309-E9FC31F38EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$D785C0DF-3172-4A12-913C-064A827D7168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$FBD7A8B6-96D7-447F-874D-8DE81FE5449C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$15C79921-5517-4808-975F-DE48428022C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af915488af489df7f09b16bdb60f05e12a8b839","datavalue":{"value":{"entity-type":"item","numeric-id":1273576,"id":"Q1273576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$EB9FEF32-1D5D-4D2C-ABFC-D5D7E189AA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$450BCB2D-44D6-4151-87FA-F037EF6F02C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$436D00E4-FE42-4561-8A75-BBA72655D313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$0499BEDC-C894-45AE-80ED-7A130A602065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be9b645d9f37735823e86c3d18dea20531fc4e0a","datavalue":{"value":{"entity-type":"item","numeric-id":3648690,"id":"Q3648690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$3D9C80B5-32BF-4275-ACB4-6DEC80DF0B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a266e0e9078f4d9f3bb78cbcbf63c2d0f70b33","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$51374DE5-9E4B-4404-A490-5F4E28DFC279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a71f52386e4b6001f7e07e1976552e940877d52","datavalue":{"value":{"entity-type":"item","numeric-id":6605372,"id":"Q6605372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$D3084FB7-AE48-4D6B-8564-F9F20B826E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b7f189eb7f5e56515006b2399dc063811b0064","datavalue":{"value":{"entity-type":"item","numeric-id":1080652,"id":"Q1080652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$F98C0007-075E-4818-AD44-2BF26978F1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$E4FCFDBD-2043-4432-9779-E4A0D9CF5140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1fec13708686f567ce8f652a4b4b1f5722daf5","datavalue":{"value":{"entity-type":"item","numeric-id":610397,"id":"Q610397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$D3A56DE5-C207-4A1F-B7FD-67682A63AB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e2f2e225999cfe19eb8e3facee4c49fe6d060","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$36DAA671-B5EC-477C-B83C-D93F59275BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23c0356f00997568a4551b3bbe478c9e8f6e2dc","datavalue":{"value":{"entity-type":"item","numeric-id":2571204,"id":"Q2571204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$9C160E2B-D7EE-4267-8E24-5FF3ECDB8A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85bdef2193e5154a38f25f7f1a506467dc959039","datavalue":{"value":{"entity-type":"item","numeric-id":3617762,"id":"Q3617762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$F7227576-5ACB-418A-A324-5A792A284F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b15262c9212c1e19c2094ca903b032ba2b7379","datavalue":{"value":{"entity-type":"item","numeric-id":3457791,"id":"Q3457791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$939F7BA7-1AB4-41AB-BFD0-012D074959DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0deb6114c04503db98816f3295868d4e75ae06","datavalue":{"value":{"entity-type":"item","numeric-id":820124,"id":"Q820124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$C5E506C6-08DA-4A84-AC45-D1BB9288AA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5cabc1608e6443b5f3827492573b28b5372878","datavalue":{"value":{"entity-type":"item","numeric-id":5505595,"id":"Q5505595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$6FA81DB9-F113-44D1-AE61-E732413EFABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad29f563b5ee5d553bc359eb4b2250c25b7ef63","datavalue":{"value":{"entity-type":"item","numeric-id":5096226,"id":"Q5096226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$15A17B9E-4E3C-4830-9307-F626978443CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$208BB9EC-0FE8-4910-8246-C7567BCF7CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9d843b0fdb5c68fab1fe2345d972c82fdd6196","datavalue":{"value":{"entity-type":"item","numeric-id":5129943,"id":"Q5129943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$7BB7CC5C-D752-48FF-9F53-59F9F8768DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001144$8AB12E45-C258-4634-8549-B9660270F348","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unfolding state variables improves model checking performance","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unfolding_state_variables_improves_model_checking_performance"}}}}}