{"entities":{"Q1190489":{"pageid":1201238,"ns":120,"title":"Item:Q1190489","lastrevid":66517839,"modified":"2026-04-12T10:37:00Z","type":"item","id":"Q1190489","labels":{"en":{"language":"en","value":"Local model checking for infinite state spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55545"}},"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":"Q1190489$32DEA82C-1E1F-4364-B30A-93861AA2FB5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eecfe218c71f865a889a80f50f79aae0d335941e","datavalue":{"value":{"text":"Local model checking for infinite state spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1190489$F6F4B51B-DDEC-4FD4-BABE-36B74ADA0430","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"091e724411feec4cbd6f6ba0c75c413b1810b800","datavalue":{"value":"0747.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190489$FC9C63DF-627C-4D13-A474-77F92C9D1BA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72c6f2230b84e416e190448224b4875408be4ca2","datavalue":{"value":"10.1016/0304-3975(92)90183-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190489$6E37F1B2-B6EA-41BB-91D3-B2F1892BE7CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f26ab800d353f785fba41d5cb9e1942cc404ee","datavalue":{"value":{"entity-type":"item","numeric-id":516247,"id":"Q516247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190489$8AB1FE3C-4F28-4712-BEE1-D7C7E42161C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190489$31F7304B-5865-4882-AA05-B8C1324541AB","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":"Q1190489$0F6D999F-09B0-4B0A-92DB-1717D05ED61B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1190489$183BC658-4527-4667-A862-55CC9E86FC7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190489$71EB87D6-F6CB-4A4C-91E7-6C311A01EBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190489$6E09B43C-5D1A-4609-A776-A5E18E510FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190489$A599FC20-9AB2-4789-BC40-3AD5B7DBC414","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c39704c87c7cc651185fac9dc9f4c5f4e061761c","datavalue":{"value":"55545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190489$5CF1EAF7-8C53-4C2E-B687-1E3AD81AD348","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190489$16C55D62-9E80-4102-A9D4-F0320AB9A48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bdaad7de694f873a71edf66d086aa3b9e15da45","datavalue":{"value":"tableau proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190489$D1A4FBED-8732-41D3-BB96-3E699A633A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190489$42278221-D5F2-4509-BE8D-6A5AA733C3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac7f25168c9288f9bcd988655e10c162196ddd55","datavalue":{"value":"modal mu- calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190489$B37733FE-0FB2-4681-A633-3EDD7533E7C5","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":"Q1190489$B7E120EC-00EA-481E-A3DD-21693B2EA057","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190489$11C4483F-A4F4-4238-899C-0320476768EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190489$E186C170-101B-4AB3-91A0-05FA4B7AAFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65afd730e8b310f8858d2c1688a0aa6c700c9110","datavalue":{"value":{"entity-type":"item","numeric-id":914397,"id":"Q914397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190489$DB0A354F-334A-43F0-9483-3B7FA894814A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190489$E8B4ACC4-FEE0-4576-97FD-6886AABDBDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190489$E50D1FF6-F88E-497F-9104-C79AAAB594B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190489$08F226BD-93B1-45B9-9F12-D39469FA9C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190489$816120AC-16EF-4393-BD51-8C7CFCE37ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45280f113fe0216f2b7ecb89e3dff3eb55b2630c","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190489$18E21FCA-7037-4363-849E-D4726EDE0D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190489$37544779-8BDA-4F56-ADD8-FEC78167AADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190489$F5AE2F08-51F7-4DF5-BC95-46EEBAE38A66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db07677d8b17e17ebcc04a606e87413add4777ad","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90183-g","type":"string"},"datatype":"url"},"type":"statement","id":"Q1190489$769F5710-4F77-430F-BD1C-DB51CF6EBCD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc8c8d797e74a84169fe85cfcf048a04258bc308","datavalue":{"value":"W2097026217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190489$2D0700FC-9AE6-4508-9DAC-3172D19C9FC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a1754e9f24f53d0ad889d0482f26317c0f3b22","datavalue":{"value":{"entity-type":"item","numeric-id":4501131,"id":"Q4501131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824687e7d9d62daf64eab7186ac48cc2ee9ea696","datavalue":{"value":{"amount":"+0.8815814256668091","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":"Q1190489$54D2802E-E265-4A78-97C1-0BA5EE104B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd28868fb9e5281dec742e518f016b5bea1547d6","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81beedf9816d2741380cc352941f5931afb014f1","datavalue":{"value":{"amount":"+0.8527064323425293","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":"Q1190489$013DDE06-D2DF-47DF-8809-2A8010516086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0847ffd001f115f808c2cf83473b14c8ca144ea8","datavalue":{"value":{"amount":"+0.849278450012207","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":"Q1190489$6B6317FA-9114-4C5A-A886-993BCB7EA390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959d3e2d9fee2bd612a3fb8d6b0bf11e9ec36177","datavalue":{"value":{"entity-type":"item","numeric-id":703588,"id":"Q703588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"542566dd3ef6ca9c9d8d4a2d94038716fa4419f4","datavalue":{"value":{"amount":"+0.8199290633201599","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":"Q1190489$F0F890F9-35EF-4966-B920-6D655F5B1060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5b43b408b2da4a683dba83631a428854b25f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5491850,"id":"Q5491850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e798a63d6aa961cd4aeef023a5c8dca9686fb7","datavalue":{"value":{"amount":"+0.8004907965660095","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":"Q1190489$3CD791A6-8331-4875-933B-ED71ADAC2832","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local model checking for infinite state spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_model_checking_for_infinite_state_spaces"}}}}}