{"entities":{"Q2946619":{"pageid":2957339,"ns":120,"title":"Item:Q2946619","lastrevid":85283816,"modified":"2026-06-03T06:37:57Z","type":"item","id":"Q2946619","labels":{"en":{"language":"en","value":"On (omega-)regular model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483127"}},"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":"Q2946619$0FBDBF99-8921-4050-A09B-7C6F3BBEB729","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1c4e26975957c7e5dd7fe6ac6bd5019a5eadd82","datavalue":{"value":{"text":"On (Omega-)regular model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946619$2221D32B-5945-4DA7-BA08-79A38160E763","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62f74c612e8fdde4dc531314e99dbdfcd8b0ccf2","datavalue":{"value":"1351.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946619$B733CCB6-A215-40D5-9AE5-E1AE3697FC5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cf5c497a49b9f2d49959dfa465c4809892c5b72","datavalue":{"value":"10.1145/1838552.1838554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946619$302F8E67-89E8-4E8F-B167-8A7D76C3F47F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946619$B0DD41F9-C361-4034-931B-A152580BB8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946619$7C01BAE0-449E-403C-8AAB-8ECD5439BA92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946619$5FE90C1F-95A6-49A5-AD03-1FD42836F0D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946619$2EF4416B-9735-4918-90A0-616A59172F7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946619$E303B899-8C2F-4D21-9D90-C30FF168988B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946619$F2A9A828-CAA0-4CCA-9DF9-85940AA05DC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0c4e34e040b13de43aa23f9207774e291903f20","datavalue":{"value":"6483127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946619$955921B4-6F3B-4230-A474-9C6261351743","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8c878f206d3ba7f0572b59fc530dca01b98d89","datavalue":{"value":"(Omega-)regular model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946619$9E3967D7-7627-4C9A-9A0A-6A62B437CF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90abb85c957bcff1b42f722b878ef5e6faff0eb0","datavalue":{"value":"extrapolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946619$3018D311-8548-4B18-9DD3-7367322C3325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946619$AF3B6D63-3B34-4B07-9611-0BF33B87F101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b0be45dcf28f014d73413c8c1b0a2751733f815","datavalue":{"value":"infinite-state system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946619$54194312-647B-444F-BC97-EF60A7333571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b960583538d59069a8653c1bd9432554833c09a4","datavalue":{"value":"transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946619$0533F0E4-C612-46BF-B4B9-3063BC1202C8","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":"Q2946619$4A6327E0-129A-466D-9049-41339220CA4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa2dbac0c9a6c7aa4e62bad2dc477bed10f16ade","datavalue":{"value":"https://doi.org/10.1145/1838552.1838554","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946619$B15DD595-A8FB-4714-BF2B-CA3F3F525979","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9f8d62ed2e65233cd06f67d17c4611420416e01","datavalue":{"value":"W2063247622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946619$CC7AC6AD-B4EB-4CC6-B458-2CCCC1755620","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960641a2e77a7780993a137730c7d0d39f26f92f","datavalue":{"value":{"entity-type":"item","numeric-id":5900680,"id":"Q5900680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220496729a5e5ea5c9f78d2990d360234ce37cce","datavalue":{"value":{"amount":"+0.9199129343032836","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":"Q2946619$BD9E2787-CEFB-44F1-848F-8DDD0A135C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8a63fed637f38fbd7e63346027f22cce5e55ad","datavalue":{"value":{"entity-type":"item","numeric-id":5308434,"id":"Q5308434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f79f5351c4f8864675a79d3764c4d1cc1df7d5","datavalue":{"value":{"amount":"+0.9016722440719604","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":"Q2946619$786C1823-D9CC-4A3F-BD9F-A6A095AC25C5","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":"ebd253df25cb5638ff0f25928beaa35403661476","datavalue":{"value":{"amount":"+0.8606569170951843","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":"Q2946619$21E9D57D-F44A-4E4D-A68F-A1501C38A349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6614b7eaf87f84197be462dab0ff54a1859094f1","datavalue":{"value":{"entity-type":"item","numeric-id":2500700,"id":"Q2500700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1859783f4a7290ce28601759d1568fbfaf7e74ee","datavalue":{"value":{"amount":"+0.8508999347686768","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":"Q2946619$087DE3B5-1E13-4775-81B8-047A0A2E39D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de754979d8ed4a332bfa07f8950b63fa1e5f35b","datavalue":{"value":{"entity-type":"item","numeric-id":5429319,"id":"Q5429319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551dbe680822f827ed32516d08218cf8fcc9ba9e","datavalue":{"value":{"amount":"+0.848843514919281","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":"Q2946619$67A48DB8-BF02-4159-8194-5EC44171F4A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On (omega-)regular model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_(omega-)regular_model_checking"}}}}}