{"entities":{"Q5060078":{"pageid":7089654,"ns":120,"title":"Item:Q5060078","lastrevid":57598665,"modified":"2026-03-31T13:44:55Z","type":"item","id":"Q5060078","labels":{"en":{"language":"en","value":"On the Model Checking Problem for Some Extension of CTL*"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7643312"}},"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":"Q5060078$54C85906-FA14-444B-A4DD-EDD288B5B239","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"484d3bcb82b021eb0c7b10e5be3beeee385b3f96","datavalue":{"value":{"text":"On the Model Checking Problem for Some Extension of CTL*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5060078$534D6E29-D53B-473D-8FA1-E7DA1B456682","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c0c98f86150720b2e82befa1e1a5828a277ea16","datavalue":{"value":"10.18255/1818-1015-2020-4-428-441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060078$9A2CFA9D-1961-488F-BDAA-AB8B1B62955E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7195b43735dff1c45d26f19cd8937d7ff3c3532","datavalue":{"value":{"entity-type":"item","numeric-id":5060077,"id":"Q5060077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$ED57352F-D06A-4315-BFB0-5488C2B074A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7153bb19785740785cd6347b4d653dc5d37c5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1592931,"id":"Q1592931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$C97A15B8-50AE-4D6F-AD3C-E31A5563EAFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e4ff69d98581f0e60171b74a0d3744b7741d0e6","datavalue":{"value":{"entity-type":"item","numeric-id":5060051,"id":"Q5060051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$7A86C70C-5829-499B-99D7-570331F1B0D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"957af406b21c0dd147c281b56551aa32e3ad16a3","datavalue":{"value":{"time":"+2023-01-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":"Q5060078$3D534C19-7E28-4CE8-A015-DC905BB18E7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0980539ca7addab33915929cff84319f8c4cb91e","datavalue":{"value":"http://mathnet.ru/eng/mais726","type":"string"},"datatype":"url"},"type":"statement","id":"Q5060078$F6BB1467-C0BF-4A23-AE1D-62930C4C0305","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060078$B92717BB-216A-44ED-9C47-87DE98F7B017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060078$FDC68E07-AF7C-45A2-A88B-805C4719A46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060078$D2995386-C806-48B1-BCD3-18C03EF97A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060078$629FD2F7-7424-4AEE-B049-63BF4F347B66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"769c8f65809094095d89830395b0a0066473e693","datavalue":{"value":"7643312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060078$4B0A1FCD-ABCF-44AD-A3AD-E052BC778D44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed758d98b3e9847079dbc303878ea040a0bd64b4","datavalue":{"value":"reactive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060078$CA8026F6-0172-4E9C-AAC3-BB783B491EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060078$0FFBA8E7-50BB-472F-AA5B-40CC38778C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425b08bf298851c5c433736a39b81c37dc0b90c9","datavalue":{"value":"finite-state transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060078$99074154-1FE4-47D4-A674-3A5629702D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060078$AB591D1C-F29C-4348-ADBC-FC78E6301E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060078$F1D36CF1-2E64-463F-976E-3F1B9EAAFF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060078$5BA8216A-2DF2-4E3B-B729-7FDB2FFFA249","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":"Q5060078$33C8FEFB-5557-4B5A-BA79-1BB4F1965D69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c7804a1946a448df6eb27e1ba483e64c9553fd6","datavalue":{"value":"W3114124522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060078$41E711A2-A416-4C0B-81AB-2EDD6704D920","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"184f6b1ef9dc6ec01dfaad6e33d1e8d5c064a33a","datavalue":{"value":{"entity-type":"item","numeric-id":5408580,"id":"Q5408580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$A421615E-BC5A-4B7A-B96F-63BAE4F77711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41b54fca374849eee39cfc7458a5f8e678686e3","datavalue":{"value":{"entity-type":"item","numeric-id":2942866,"id":"Q2942866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$D0CA4360-AE28-4E60-BB72-C91F77DD489E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$BE7BB70C-3A75-40E5-88B9-CDB8D0F2A2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$B4D6E035-DCEA-4586-99D2-6F1B1ECBA798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a358a7e0cfe385397b6ee7256bfda7621794063","datavalue":{"value":{"entity-type":"item","numeric-id":3948585,"id":"Q3948585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$7D45424D-5936-4E67-A5F7-5E8EC116AD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$37EF7934-D538-423C-86E4-A805ADE3C194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73772cb1a9d61af11e7e7f5f6664c6a893776d0b","datavalue":{"value":{"entity-type":"item","numeric-id":4791853,"id":"Q4791853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$48C6673C-BBED-4647-9A3E-2A6CDA1B47BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3796d9f03b4ae0103a65fce1ee3fb718e92184f","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$90D7DD5D-A930-4050-8B96-A6680E01CE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a61cdaa469b53d71144c66713ed5cb34575b94","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$BFED64A5-A643-43AC-B379-2801A77B1237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01840145b645722449aa29d23c00ba5f807150","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$166A294D-4125-4740-BA52-52CE8B91874F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64f4f0deb083185ee32164d52311719e723fc94b","datavalue":{"value":{"entity-type":"item","numeric-id":548484,"id":"Q548484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$240BF1D7-63C2-43BA-A98D-D4BBBBC02A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$4E01FDF8-F008-40C0-92EC-85DB6FEF2468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fb996a4acecd7283dda97dc1d78a9b114a8cc4","datavalue":{"value":{"entity-type":"item","numeric-id":4782045,"id":"Q4782045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$59C42D8D-181E-4DC8-B8EF-A17F464B8306","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab08187b588e55415a9e841ab022752e94302f7","datavalue":{"value":{"entity-type":"item","numeric-id":3430687,"id":"Q3430687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e38728fef9e1a36086e1efa687d746c8f698a23d","datavalue":{"value":{"amount":"+0.8407442569732666","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":"Q5060078$84EF157E-22B8-4952-8E50-79D7C0108C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91bb76a4141294df7bbc9f36f17c1820867e3970","datavalue":{"value":{"entity-type":"item","numeric-id":2842855,"id":"Q2842855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f20c1658e9c16b587d632cfa06f8a02fe71f6f5","datavalue":{"value":{"amount":"+0.8039436936378479","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":"Q5060078$8B913EC0-A4E4-48BB-AEC4-F678DBE43474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2b0e0dfe140e013d76013b6a5951689556d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871a0f88c69a252bc3cdfcff61d0807ccf27e80f","datavalue":{"value":{"amount":"+0.7985988259315491","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":"Q5060078$58911CE6-EF67-4775-A84C-AC1EC958EFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e67d9719a187722e7e62ef2aa4a55bcef050d79","datavalue":{"value":{"amount":"+0.7837942242622375","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":"Q5060078$7E999997-7253-4A55-A321-B5FF77394F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2642ae9846da2f3027c68b6b9e7245c65ed26c2e","datavalue":{"value":{"entity-type":"item","numeric-id":1199535,"id":"Q1199535"},"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":"Q5060078$82091F55-F571-47DF-B89E-FE4D0E6F892C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060078$6E28DB58-BD3A-4521-A3FC-A11AD86761EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5060078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5060078"}}}}}