{"entities":{"Q5385339":{"pageid":7414913,"ns":120,"title":"Item:Q5385339","lastrevid":50350220,"modified":"2026-01-13T21:12:31Z","type":"item","id":"Q5385339","labels":{"en":{"language":"en","value":"An automata-theoretic approach to branching-time model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5271290"}},"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":"Q5385339$2960B04F-1F67-499C-ACE1-361774970FAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06b34cf7b482198e0a2e8790043dd8dc058bf4e2","datavalue":{"value":{"text":"An automata-theoretic approach to branching-time model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5385339$D073E60E-18C3-47BA-83FC-3FD3F7F8126F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06df014eeec2d9525dff3bcec6d9bed4f11860e8","datavalue":{"value":"1133.68376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385339$4536F38F-FF2B-44C9-BEFF-292E44AD79EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17dced113919a2ad14adc757308b65b4e733b7ca","datavalue":{"value":"10.1145/333979.333987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385339$A8A66DB8-4640-43D1-B593-FAF4B9815279","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385339$EBEE5510-6C96-4B7E-9A08-CD2C437931E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385339$F8B79819-019D-4395-AEA0-E339D386F6A4","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":"Q5385339$24666220-F65E-495B-845C-A8221B3B4D69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385339$ED5F782C-3B66-4005-9099-50D76EF66352","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0c85f5b96b986df789b8d4fc9e866a9d7e884a6","datavalue":{"value":{"time":"+2008-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5385339$57527C99-64F6-4CB7-B5C5-6CBB6952FA71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385339$78856B37-5C23-4974-8E5D-42A58108D9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385339$D8223C31-4A8C-46E7-8DA8-E54BE41BF126","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfeee5b437485f254e91672ce523232f24981712","datavalue":{"value":"5271290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385339$132045BD-C241-42EE-A191-95A0A2ED88F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385339$6A1AF506-8EB5-44BE-A9F6-AAE967F45B77","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":"Q5385339$81423F25-1486-4756-B82D-559B905A2C3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac612dea8056832319daf4fe0926eccacf694233","datavalue":{"value":"https://doi.org/10.1145/333979.333987","type":"string"},"datatype":"url"},"type":"statement","id":"Q5385339$07E86B3E-CA68-42A7-BFF0-A50F87A4E1D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3a2c0f6a66af83ccdd4b3259f8ca129746761d3","datavalue":{"value":"W1988808695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385339$F06FD229-8EFD-4017-A052-31A0DCF60AD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791ff92a215bb66d971a2775ffed0ebf24a772f4","datavalue":{"value":{"entity-type":"item","numeric-id":1917081,"id":"Q1917081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3498698ed73c04c6352a454b62048dc71cfc8f2d","datavalue":{"value":{"amount":"+0.8996933698654175","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":"Q5385339$364BDF10-4038-49AC-B3F8-7B97E63B9459","rank":"normal"},{"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":"3498698ed73c04c6352a454b62048dc71cfc8f2d","datavalue":{"value":{"amount":"+0.8996933698654175","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":"Q5385339$A3F1A833-0E51-4DF2-85A7-CC98073796F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4b83a025725df70d00421fd10e6fc3cea39ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5234701,"id":"Q5234701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d10e71cfed7ed2fe176cf3cd819288e2408d2fe","datavalue":{"value":{"amount":"+0.8720799088478088","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":"Q5385339$E589B163-82AE-4F23-89BD-84C1A6F6478C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7125fe52ce73741ab1ae06610aa9d74b8be9378a","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61929908f2486465ef08a2f9f9d1b91893d25076","datavalue":{"value":{"amount":"+0.8403217196464539","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":"Q5385339$FD4E4A3E-527C-415D-AEA1-67B18994E487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb70238e49d9d5a6da648c8898a4bc070ad1ada","datavalue":{"value":{"entity-type":"item","numeric-id":5277722,"id":"Q5277722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8229c34a6cf19c7f867fe930097b842da7ed4e","datavalue":{"value":{"amount":"+0.8141273856163025","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":"Q5385339$3BF9A076-C715-4D09-B911-FD9766510F6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5385339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5385339"}}}}}