{"entities":{"Q845244":{"pageid":847092,"ns":120,"title":"Item:Q845244","lastrevid":64775874,"modified":"2026-04-11T22:08:32Z","type":"item","id":"Q845244","labels":{"en":{"language":"en","value":"Action language verifier: An infinite-state model checker for reactive software specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666998"}},"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":"Q845244$15DADDF5-48C1-4392-9AF5-55F7C6C4D1A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f68dfb739d0c2eecef81b447e952cbf556a6468","datavalue":{"value":{"text":"Action language verifier: An infinite-state model checker for reactive software specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845244$8275FB2F-BE2E-4A16-82BB-47A5B2D92087","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7ccb0aa80de9bf8daba2f611e3c1202ecaa56f5","datavalue":{"value":"1185.68427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845244$9AFE7986-0100-4632-8FA8-D5D58B56C191","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5e3684b1f0785261e574b26cdbadab66f850893","datavalue":{"value":{"entity-type":"item","numeric-id":845243,"id":"Q845243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$1C80FC9A-790A-4726-BCEF-C4FBEAA4B074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$7E5A995E-2116-4C8A-BBFA-30F5AD5576B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$5383BE2C-08BA-4CB5-9CD9-3C6B46F8CA03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845244$BF029E62-F0DE-4F74-9C75-75DFE0C8BA7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845244$37788A52-FEAA-4048-B120-1798CA29628E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb7fd0a85bb108fd5f2fa201b654cc74d1476c85","datavalue":{"value":"5666998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845244$47B31A9A-E2AF-4889-88F5-9F13157DF15D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5caee91a6ef42e80c140b29aca6328849b6523e2","datavalue":{"value":"Keywords: Symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q845244$9A78D833-6A64-4AFE-B96A-CEE9536FC2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d8021f722abc4c52661ea47eca478d22db74fda","datavalue":{"value":"Infinite state model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q845244$99172662-DE68-4955-891E-CDE488514BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9ede98e48c2708fdd75eff84b95c59bcf061def","datavalue":{"value":"Automated abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q845244$342546B9-CFCE-40D2-ADCD-4C3DB7C93088","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$26214D4B-0E9D-4921-8D31-32869C67DBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$DC62D962-59DF-4703-8DFF-F9719568EBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db929fcfcab16e56863e1fd2b3b9c025f99b124e","datavalue":{"value":{"entity-type":"item","numeric-id":36746,"id":"Q36746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$0EE4F0E4-6F0B-4FE9-8761-53F6EF8DCE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$B392FA5C-E8A5-4E73-A29C-7FDCE9918673","rank":"normal"},{"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":"Q845244$27BC7F4F-BFD6-40C7-8732-120AE516954D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$24E33E4A-27BB-458A-A7CB-6A70ADFA2AF2","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":"Q845244$E882E637-B304-4C8D-A6CE-7C4D5D827354","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e157b017c2c3f7c149e9cc1b4e23599018a8dd2","datavalue":{"value":"https://doi.org/10.1007/s10703-009-0081-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q845244$61BB6202-400B-4720-A1A3-ADC885AB8186","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f33985ed08ae408e439b70844a6fd4756e32562","datavalue":{"value":"W2010729520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845244$B22A0767-6457-4E64-AC22-D0034AB80BA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"814943f60212e703bad3bbd3a05f41ae03a0c4ae","datavalue":{"value":{"entity-type":"item","numeric-id":5308435,"id":"Q5308435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$5FB20FA1-F29F-4B6C-9C6B-44E0D301F3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb145b17348782fbea3fde4246483c95f1407ee1","datavalue":{"value":{"entity-type":"item","numeric-id":5696928,"id":"Q5696928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$17CFC984-F09A-42E2-9E96-8EC1C691A14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"460b9d36021c6b195ef6d0b9445728c419bea4f1","datavalue":{"value":{"entity-type":"item","numeric-id":5312910,"id":"Q5312910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$85EED6E1-21F5-442A-9543-1C82D2D8892A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca108e30c3fc907c7296b226db780f8d8292dce7","datavalue":{"value":{"entity-type":"item","numeric-id":5716583,"id":"Q5716583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$7464ABEC-874E-458B-A6B5-4F07CED5549E","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":"Q845244$7880E019-2A9E-447E-915F-9BA97D19E1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82889a8aaead4f7b83d3113f27cd04ae3da7df58","datavalue":{"value":{"entity-type":"item","numeric-id":2754073,"id":"Q2754073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$EBEA0A18-421C-45F3-84D5-12D2456E207A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88513da3b40e8d94cc45b6d0ad9dbb72de7a7e33","datavalue":{"value":{"entity-type":"item","numeric-id":1878907,"id":"Q1878907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$7A3A561E-5D1B-448A-BCE6-93FAD80F4A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8313c9ce5db56bc7bfafa51160ffba0796fc26c4","datavalue":{"value":{"entity-type":"item","numeric-id":4475639,"id":"Q4475639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$BA4ECD01-7D15-47C6-940F-DFB2AD3A4F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43b1c166e15a4b6266cc6ce7ff54e698eb91ae81","datavalue":{"value":{"entity-type":"item","numeric-id":2769584,"id":"Q2769584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$497AA4EF-3149-4B15-8B2C-3C6065D34C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$24987AF9-A7DA-4AE4-AFC6-6289D2A88855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f003f637b47bbeddc648dcd85636e35bed83f280","datavalue":{"value":{"entity-type":"item","numeric-id":4472223,"id":"Q4472223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$6BE25D84-A6F7-40B8-A490-7DF9FE8D5415","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":"Q845244$C0307F64-9031-4FAA-96D2-678EBA2285D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e47862a3d8d377cd3390980674947d2e9d9b95c","datavalue":{"value":{"entity-type":"item","numeric-id":2369883,"id":"Q2369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$FDFD59E1-943F-4453-AEAB-645594628A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4f5fbb9182b15030ac02c9a95b97d73eb7a592","datavalue":{"value":{"entity-type":"item","numeric-id":2642669,"id":"Q2642669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$89FEC4C9-87CE-4592-B535-9D40C51C0C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02f728e7a7db53f3c813c52dbe4e8fafba4a359","datavalue":{"value":{"entity-type":"item","numeric-id":4411951,"id":"Q4411951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845244$7641CC9A-9454-4B3D-8180-CF15A83B8D26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58b534fcc84479e817740c481623de38ab6e7ac0","datavalue":{"value":"10.1007/S10703-009-0081-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845244$8CB90D3D-E272-4FAD-A7F9-C89D89B25AD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65f072ec98afc524b41761fccbee8d8655bd9bb","datavalue":{"value":{"entity-type":"item","numeric-id":5716583,"id":"Q5716583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae112dd1dedf56d1af2596eae5657e15242047b2","datavalue":{"value":{"amount":"+0.8993056416511536","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":"Q845244$34E72E3B-9924-429D-A8EA-BB224AC1419E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69faafc396cc37ce56ba7f317e1689803b3e471","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68dc4c33fcf95a7260f71c6b1a38271319f7846b","datavalue":{"value":{"amount":"+0.7410190105438232","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":"Q845244$44A9B7C0-9C49-4596-AD7D-FF469F26207E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1b8d950a6fe7865cf05f42bb2ded377bcfae5d","datavalue":{"value":{"entity-type":"item","numeric-id":844345,"id":"Q844345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95aa5793d9e7b04f5db07ac3e4769c2ab534c25a","datavalue":{"value":{"amount":"+0.736409068107605","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":"Q845244$7B1EEA3A-54E6-4A77-B6E5-07508F359209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e2eec6cd69de65f39cdd3529cd84fd84ad5ed1","datavalue":{"value":{"amount":"+0.7349268198013306","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":"Q845244$D45E01AD-A721-427B-90B3-6023BC4E9CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570b1f20253e5c9a9c64f398d655a72a8c7e3ed5","datavalue":{"value":{"amount":"+0.7342909574508667","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":"Q845244$9089E25A-FCEC-4AA2-A846-322DC3F7BE8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Action language verifier: An infinite-state model checker for reactive software specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Action_language_verifier:_An_infinite-state_model_checker_for_reactive_software_specifications"}}}}}