{"entities":{"Q1702907":{"pageid":1713648,"ns":120,"title":"Item:Q1702907","lastrevid":53034173,"modified":"2026-01-24T02:18:51Z","type":"item","id":"Q1702907","labels":{"en":{"language":"en","value":"On automation of \\(\\mathsf{CTL}^*\\) verification for infinite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845649"}},"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":"Q1702907$444F375A-D5DB-40A0-A04A-B3F0CF49135A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c827a254d55121e24b0c5460d422c9ee3524381","datavalue":{"value":{"text":"On automation of \\(\\mathsf{CTL}^*\\) verification for infinite-state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702907$977EF3A1-ADDE-41A4-A410-D9241F9B589C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"493d533a27731541ee1357ae7ad153ae86d92f8e","datavalue":{"value":"1381.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702907$731E5AF1-88D0-4CF3-A388-75A827AC9ADC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fa2f3cd74a33a32aac4b89a3a6b60ab5da1cd40","datavalue":{"value":"10.1007/978-3-319-21690-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702907$6FDEDB30-FF95-4BB1-8F23-7118E04167FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702907$7586F99F-1E59-4CA2-B4E5-F78A2633E39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daeac091f0eaa7da5f0340038d070bf523e8c109","datavalue":{"value":{"entity-type":"item","numeric-id":1702906,"id":"Q1702906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702907$7615CC11-CE30-470B-850F-9168023C5880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702907$7D86587E-4859-409C-8207-D88A3643D26D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702907$315963F6-5157-4FCE-B488-2E2E2243529B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702907$AF74B185-F952-40B7-9F13-C1934D438ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702907$61C2F89D-BB3F-4358-99A6-5B8A2AEE3562","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e4ca232511cc5f4a13ce198cf94c47d26ca853d","datavalue":{"value":"6845649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702907$E5216D46-0003-4D4B-AE53-0288F5BC28F5","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":"Q1702907$AFF70E06-8600-455C-8CEE-A3BE2686F14A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ae0845d9f163db74ce5ebca8d09628094f18b79","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21690-4_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702907$08652A3C-C91D-4C28-B8BE-2AE8EF8CCBA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"481f4ab9b02136afed4850dc5fe7a7aa49c4c0fd","datavalue":{"value":"W2128803539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702907$47D8DD49-B337-4824-90CF-5E9D4DAD7E16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471e675447a5a733f8fe932bd3d6563dd29b78d3","datavalue":{"value":{"entity-type":"item","numeric-id":4640287,"id":"Q4640287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e197fa0d8e7137befa0fb4e447e9ba7e8158b0","datavalue":{"value":{"amount":"+0.8534553647041321","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":"Q1702907$D3E02B86-B432-4AE5-B8EF-C05B918A1DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743d45b4c40cab77997305483320084ddd182127","datavalue":{"value":{"entity-type":"item","numeric-id":5194957,"id":"Q5194957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a3609f469f87111427ccedfb076785c66ee3ac","datavalue":{"value":{"amount":"+0.7942180037498474","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":"Q1702907$42C86615-4FA3-4FBD-A9EF-8078D1384A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def4e52c6ef17061b38fe53997c56fdb96710c18","datavalue":{"value":{"entity-type":"item","numeric-id":1770366,"id":"Q1770366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"510ce1e63a9d18a71f75e3427ed33945f8304eee","datavalue":{"value":{"amount":"+0.7915360331535339","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":"Q1702907$FA4188F6-0C3D-4E28-AFDE-543BDEE8A307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b127dff620d3da7cecf0861c40a8f674af02ec2d","datavalue":{"value":{"entity-type":"item","numeric-id":4484475,"id":"Q4484475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1054c2c34bd2a641e4efc0b8f9e3684f83377259","datavalue":{"value":{"amount":"+0.7895224094390869","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":"Q1702907$4E564A05-F39A-48EC-BF4C-DF1083068419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ae2a2b8f50383cfd4b2a77ec4f63176e1725bc","datavalue":{"value":{"entity-type":"item","numeric-id":6045023,"id":"Q6045023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da68e99dea793cb0ab12cb2c955911a0d8d7dbd6","datavalue":{"value":{"amount":"+0.7733624577522278","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":"Q1702907$3830094C-358F-43C5-B9BE-663EA701AD88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1702907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1702907"}}}}}