{"entities":{"Q4608680":{"pageid":6638263,"ns":120,"title":"Item:Q4608680","lastrevid":90558554,"modified":"2026-06-04T20:41:29Z","type":"item","id":"Q4608680","labels":{"en":{"language":"en","value":"On the expressiveness of QCTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851950"}},"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":"Q4608680$4F641A44-FFCC-42BA-99F2-BB179EAB3AC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15fb35fd6aa978719ab27cbd64a9629989872df8","datavalue":{"value":"1392.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608680$542FB4BB-9CDC-425B-A205-A944471B1C26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a5fb3e1e8f77c1327875a9fad6ceab7a6663ca","datavalue":{"value":{"entity-type":"item","numeric-id":1694464,"id":"Q1694464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608680$75D5187F-4E33-46AB-9CE1-AEEF41DE4C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608680$50109D7A-3D5E-4BE9-9434-7394F29084A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608680$645E9EF8-D4B6-497A-ADEC-A0EA8EA88049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608680$178E8561-6905-46E7-A613-1F5A78E51138","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608680$60FA2903-6511-4D1B-A108-9448CB13E2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608680$1E5F88B8-0E52-4E52-AC2E-3452D58AAB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608680$882031F3-6765-4933-A6EA-C1F17BCE45A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11449430b9033e6ccb9a37b998092e560ec8189a","datavalue":{"value":"6851950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608680$8C519FF4-EF6F-4C83-9410-E834EF2EED0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608680$9DBA925A-3BAE-4F51-A27C-A9C653706499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608680$DDEDE941-C8F9-4C8E-B367-F3BB9937887A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608680$12F694E8-2A94-4661-9A2A-E68744679E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608680$315D65AB-534C-43AD-9775-F78E334DFFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608680$1500DE7D-2D4C-49A4-A1E8-BEAD2F7822F8","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":"Q4608680$644D62A7-2457-4490-A34E-72AED5AB533A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b6746f2c043cfdb7828910a7be9ab7b9cc5f654","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CONCUR.2016.28","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608680$7BB3AC23-2BFB-4D9F-AB64-258DA1B03619","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3081e5fba73e5ae6110014325cdffb07d53148f","datavalue":{"value":"W2528077643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608680$B2F76FC3-0B74-4553-B071-E1F6B135FC0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acdcc6b08931c321b0bd48fcd37ff8ab0985bb14","datavalue":{"value":{"text":"On the Expressiveness of QCTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608680$6CA7256D-0E86-4F17-BFA5-08D59EAD5733","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfd7293df0dd75b1cee0695562ae03e2fce59acc","datavalue":{"value":"10.4230/LIPICS.CONCUR.2016.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608680$63B83DB6-6D43-431F-AC96-6B3B3C2CA79B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf6362829a471005761450390520303b5598814","datavalue":{"value":{"entity-type":"item","numeric-id":2938770,"id":"Q2938770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8609171684c57c5060a2c7f698e5f5aeb516a144","datavalue":{"value":{"amount":"+0.8815625905990601","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":"Q4608680$4593027D-2FAF-4F19-8D97-CD5B6DCB06BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71956962bb60a291a3a6435582c535bd5edb1b5a","datavalue":{"value":{"entity-type":"item","numeric-id":2914370,"id":"Q2914370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902c53538d0c0803b63e70bc35f98012f3d415e1","datavalue":{"value":{"amount":"+0.8678982853889465","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":"Q4608680$D8E1F25C-688B-4BB6-8DD3-63689E1D3E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087c048a643a5f5f2a4ed72ba18639b533577335","datavalue":{"value":{"entity-type":"item","numeric-id":821566,"id":"Q821566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3854788fefd43546c4848eb865baa10632c2a2","datavalue":{"value":{"amount":"+0.8415129780769348","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":"Q4608680$1E05AE8F-B95B-45F3-84DB-F4218BF79484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e85522bb5a1afd452a9e08ee0c27da9d88c317","datavalue":{"value":{"entity-type":"item","numeric-id":6487554,"id":"Q6487554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b5151af90d38f0903a58cd6b26a19a0c7ee5fd","datavalue":{"value":{"amount":"+0.8379444479942322","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":"Q4608680$25510591-62F1-4AFB-831C-97D50099A874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c968c74ea69dfc53e71b47be1ad402488ba5e9d","datavalue":{"value":{"amount":"+0.8340405225753784","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":"Q4608680$6D2043DA-1E16-49D0-901B-516BA57809CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the expressiveness of QCTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_expressiveness_of_QCTL"}}}}}