{"entities":{"Q1199535":{"pageid":1210284,"ns":120,"title":"Item:Q1199535","lastrevid":66464982,"modified":"2026-04-12T10:15:38Z","type":"item","id":"Q1199535","labels":{"en":{"language":"en","value":"\\(\\infty\\)-regular temporal logic and its model checking problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 94458"}},"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":"Q1199535$163CDDC6-1023-4F8D-B4C0-A84F79BB0E81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ec78e58804d8dfff2cc663f2ee44f35bc490079","datavalue":{"value":{"text":"\\(\\infty\\)-regular temporal logic and its model checking problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199535$E814781B-4A27-4CB0-876E-C4AAAF69A8B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04c6816375b22c540a4d14ce8a4a945e31013cbf","datavalue":{"value":"0762.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199535$2ACDD866-905A-41E3-82DA-0051834A6B84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfa1f7cc45c00f457e225464aaa51f7ad90a5760","datavalue":{"value":"10.1016/0304-3975(92)90012-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199535$20051EC3-62C8-44BC-8F4A-6D1E6C385331","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79ee1db7326267f551462b9638f98d9a7c0842f","datavalue":{"value":{"entity-type":"item","numeric-id":1199533,"id":"Q1199533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199535$26E4D69D-BC50-4820-BF77-FE92ED80D4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f69046686ca08deb3c80248bb51f9f0153a830","datavalue":{"value":{"entity-type":"item","numeric-id":1199534,"id":"Q1199534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199535$554736B1-A2D7-4371-83F2-6C182F67547C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e3df8f5dea429132d015a7ccd360676e3aa3b3d","datavalue":{"value":{"entity-type":"item","numeric-id":673236,"id":"Q673236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199535$0636AF5A-819E-4E63-BD8A-7C03B990A376","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":"Q1199535$6CE976F3-14B6-4C0D-9EC6-87FE151E3C51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199535$D01D0A91-9C97-4457-9A5A-2B4DE8F19D7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199535$43DAC3E5-9112-4178-AF04-18868D22D654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199535$64DB0FB1-F1A8-400E-A84D-8A639E1E001C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199535$C50CF6CA-F8A8-4D07-A77D-9E5DFD3772FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199535$DE4AEDB7-691C-4D3A-947C-705145D6964D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38222ff15617c8d5f33c9b3afb71f094aba02b4c","datavalue":{"value":"94458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199535$F2D00896-99D2-47F1-844C-5A2E64FFF8A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199535$47E4FD62-0EF6-44AA-9CB4-5F1668EE0E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199535$1900C2CC-98F0-424F-B278-ACDED71CB1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3e2a42dd6d63b7e85ec948762c223c055f0d456","datavalue":{"value":"infinitary regular temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199535$C023DD1A-95AF-4153-B7CB-8332BAB82C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199535$44B9886E-9982-4D25-B787-EF4824BECDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199535$9E6050A8-07B3-413B-8889-9F7306ED3AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad8356b714db514d58fcd2ffc1b98ea68ffcbdd","datavalue":{"value":"\\(\\omega\\)-regular sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199535$F35BE819-B7AF-40B5-93B3-332A8FA989D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b0c37b9e609469037d7e5afd91c534b64a8655","datavalue":{"value":"formal verification of finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199535$3B0D5B5D-38B9-45EE-8B35-3C8C74C8C564","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":"Q1199535$561E6A7C-8CA2-471B-8209-58AF4EDB52AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8403a42c4d2b930fee706eb83bcaca79099eef5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90012-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199535$AC39D63D-27B2-4817-B380-EA3682B15F00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96441032cea261870ff141870708a69534758e4d","datavalue":{"value":"W2022371068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199535$25895ADB-DE49-45BD-B850-62CE611618E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"381e47446d96a439048b122527ca19d971798559","datavalue":{"value":{"entity-type":"item","numeric-id":4733381,"id":"Q4733381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199535$2C1C886D-173E-48B5-A37C-FEAF310B02F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c10d78f61c35518c095f8a531c88c7ff985b7c3","datavalue":{"value":{"entity-type":"item","numeric-id":3934310,"id":"Q3934310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199535$A254D901-6AB8-47FA-B1BB-224DF74E29F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1e5527beee43e76ace8195dd1167b63319c8cb","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199535$FD0FC413-D468-4282-BA87-7E99838BE3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199535$66B7859E-A744-4CFD-88B7-7ECAF7CE6007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199535$073CDE51-A4A9-4D00-9C91-4A1B7A512866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199535$7EE97258-0C52-4DAA-A17A-5F38A0ED4C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199535$20BEACD1-7D96-49BF-8FA5-7D5E5E55527A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab2639d120a41e9afde30746a5386c4f8af2b45","datavalue":{"value":{"entity-type":"item","numeric-id":4037390,"id":"Q4037390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f4817c468c04ccc81c59f6f70693cb3d06a24e","datavalue":{"value":{"amount":"+0.7930729389190674","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":"Q1199535$1AD65707-D1B5-4BD0-9C22-7EB82B06607F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9208ab436f2eebf1ec6e8ab1a87a3ed9971909a4","datavalue":{"value":{"entity-type":"item","numeric-id":5458863,"id":"Q5458863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f4817c468c04ccc81c59f6f70693cb3d06a24e","datavalue":{"value":{"amount":"+0.7930729389190674","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":"Q1199535$8442D130-2431-407E-81EE-44243D89A55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c605e9b14ae02e7381e2d82d56b60fbf62e509","datavalue":{"value":{"entity-type":"item","numeric-id":4037127,"id":"Q4037127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8904b03600096a0631cb4653b57ded76e4f1de08","datavalue":{"value":{"amount":"+0.7843507528305054","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":"Q1199535$A87748CD-74A4-4DE8-9463-C4D8D03F599C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8904b03600096a0631cb4653b57ded76e4f1de08","datavalue":{"value":{"amount":"+0.7843507528305054","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":"Q1199535$5BB66286-80E8-448E-8EA1-1C98F0EDFAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819b4c0407a803de87539aaaa3e2e2a19274b81c","datavalue":{"value":{"entity-type":"item","numeric-id":5060078,"id":"Q5060078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902a29edcd40f9cefa1f65db99736460f1fdeac5","datavalue":{"value":{"amount":"+0.7818540334701538","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":"Q1199535$1962583C-B3F0-4E06-BAC5-E05111D58C4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\infty\\)-regular temporal logic and its model checking problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5Cinfty%5C)-regular_temporal_logic_and_its_model_checking_problem"}}}}}