{"entities":{"Q6587131":{"pageid":14198287,"ns":120,"title":"Item:Q6587131","lastrevid":100033607,"modified":"2026-06-05T21:16:27Z","type":"item","id":"Q6587131","labels":{"en":{"language":"en","value":"Regular model checking upside-down: an invariant-based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896556"}},"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":"Q6587131$B8F0C5EE-2D69-4E93-BA31-FDDE935E8675","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97518cdfcf48205cf94a3d468c5098acfc7be77a","datavalue":{"value":{"text":"Regular model checking upside-down: an invariant-based approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587131$C49D0DAD-C036-4FD8-ADB7-A865DB84081D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587131$F4050F2F-2B4F-4E2C-8589-8003FAB878D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3515baf2d7ffabb4be305cf6d0e695408444c1e5","datavalue":{"value":{"entity-type":"item","numeric-id":2025855,"id":"Q2025855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587131$4B2A77DF-200D-4EBD-A3E8-588CF86D2EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e902f3bded6a4d86204624cb8d007da9934be81","datavalue":{"value":{"entity-type":"item","numeric-id":2117164,"id":"Q2117164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587131$10522E0F-EB59-41C5-9879-B1FA7282A8BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587131$758F6505-CFE0-49F2-8167-DE41D97F6ED8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587131$F844965A-C150-4028-B69D-DF4C3CBA4740","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a7aa0e71c83293cc81a904b8d7d95a0a437fce7","datavalue":{"value":"7896556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587131$44936D52-BC6D-4602-9E9D-22A0D3ED96E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587131$6F007707-9ABF-400B-A898-4717C55FF07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e8309eb16e0328e2ade32d2009aaeee6aa87b0","datavalue":{"value":"structural analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587131$D9CBE504-5170-49AC-8542-AD73BA883D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587131$1097536B-5198-498F-B064-FAC3CF963507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b409eb561ea27be91922bf47a6985ec989edafdb","datavalue":{"value":"regular model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587131$12911A18-30E6-4104-913E-CAB701C12FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6165801d7b82a2ed40c0b9cdceaa9e284ad9587","datavalue":{"value":"traps","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587131$47152495-D749-4050-A6B8-8B64042AFE54","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":"Q6587131$ADC65327-8C62-4AA2-A5E0-C1C10970F3E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c235227f6587d17484d2169ad3c05642a9cbc854","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587131$C492CB41-62C9-45BC-A084-F6617BEDBBDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ae314a23e9bf61e38b27173c5e143af39f5b961","datavalue":{"value":{"entity-type":"item","numeric-id":2851061,"id":"Q2851061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8dc0a46652762a975f3b489ce7ba512a575b9be","datavalue":{"value":{"amount":"+0.8352895379066467","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":"Q6587131$24E06CDE-E86E-44F5-9F7C-A69F72CFC63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9812515b3ccb140eed3b46a394afb70e05cba7f2","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f4cad78f20472a6f038629f0e7a4f6d8a1378a","datavalue":{"value":{"amount":"+0.8254120945930481","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":"Q6587131$049B0B90-22F6-4B0A-81C8-4FB24B6925F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930b05d6b762a4258476740cc7bc1c299fb62f63","datavalue":{"value":{"entity-type":"item","numeric-id":2946619,"id":"Q2946619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c1bc1b581f1d75193b04fe702cfc47beb42227","datavalue":{"value":{"amount":"+0.8033738136291504","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":"Q6587131$836AAA93-6B96-410A-8851-11E1923DD532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa666d9ceff414f9bd2eeeaad6ef3b35086e0d50","datavalue":{"value":{"entity-type":"item","numeric-id":4921501,"id":"Q4921501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6f8c3c8d9dc8a28440e35c0686e59985b99870","datavalue":{"value":{"amount":"+0.8002071380615234","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":"Q6587131$ACEDAB00-D26B-4FAB-9F50-4066981747BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular model checking upside-down: an invariant-based approach (scientific article; zbMATH DE number 7896556)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regular_model_checking_upside-down:_an_invariant-based_approach_(scientific_article;_zbMATH_DE_number_7896556)"}}}}}