{"entities":{"Q2265816":{"pageid":2276559,"ns":120,"title":"Item:Q2265816","lastrevid":43789908,"modified":"2025-11-14T06:45:45Z","type":"item","id":"Q2265816","labels":{"en":{"language":"en","value":"Decision procedures and expressiveness in the temporal logic of branching time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3892597"}},"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":"Q2265816$863CC79A-8C77-4D61-9567-718C43010F08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89bf42084fe2f6fb48cbfc8b85ef51f84e8328f4","datavalue":{"value":{"text":"Decision procedures and expressiveness in the temporal logic of branching time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2265816$CFD3240F-B37F-4B46-848C-BEEAD369515A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d71d6e91e2343b867194904c6a3733845854ec7","datavalue":{"value":"0559.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265816$234D9258-5285-44B6-BE81-4DCBE9F17AD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ae36c81bb6d9d11bf47b48a45f7c90b75a682c8","datavalue":{"value":"10.1016/0022-0000(85)90001-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265816$5071B46D-5C72-4EFB-A89B-BEC1AD95D39F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$AA252AFF-7CAE-4FC4-A0C3-19F24A7148F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$993A7042-6551-4712-B301-238ECE17143C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$6795FA1B-19FE-468D-8D19-0B9639F31672","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2265816$9D06A190-4726-42E8-B60B-3BF7E6A209F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7243d4bc20116611d101ca0b21a7fd49fa49f41","datavalue":{"value":"\\textit{E. A. Emerson} and \\textit{E. M. Clarke} [Sci. Comput. Program. 2, 241- 266 (1982; Zbl 0514.68032)] have proposed the computation tree logic (CTL), which is the unified branching time logic (UB) of \\textit{M. Ben- Ari}, \\textit{Z. Manna} and \\textit{A. Pnueli} [8th ACM Symp. on Principles of Programming Languages, 164-176 (1981)] augmented with an until operator. This paper gives an exponential decision procedure for deciding satisfiability in CTL with the small model theorem and its complete axiomatization. The relative expressive power of temporal logics obtained by extending or restricting the syntax of UB and CTL is also studied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265816$59B726F6-9EE1-4945-AA20-84FBAF4785B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$7D1D740D-30D8-44CC-8388-22BD8B48858F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265816$FCF40938-AD45-4FDD-B83C-CD41802D36FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265816$55F59FFC-AA2A-4636-B277-5BC014FB459A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265816$64743A75-8CCD-41CE-B4CD-0DE9BA09C748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265816$1A2D21A8-0049-4FD4-8250-44822AACA1FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c6f4677bb5e371d1a57312af9757a083d34452b","datavalue":{"value":"3892597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265816$A1BC2367-7467-4584-B727-CB59178D2ABE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265816$AF1FF06A-725E-4D70-BE31-289B1673F274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265816$5DE0E09D-FD87-47BC-ADBC-3A6F230F95F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8bb3f69affa272da6ecf930914e5fdac67cbe35","datavalue":{"value":"unified branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265816$4A304061-26F0-4E8C-B7B6-744B2922B1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaa143df46b6126d28e20aae81e4f8ad4a5bc0e","datavalue":{"value":"exponential decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265816$899F234C-A988-41AF-BFD2-47422AB45623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265816$19CFCE3B-ED19-4CB9-ABAC-D2353E2B5367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265816$74B5AB6C-EBE6-4990-AAED-CD9A460E06CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7d063599eb6935bb25ac11601b73c8ac0a892f","datavalue":{"value":"small model theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265816$75FAB0A0-2F3A-487D-9C14-F02E2F70D69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265816$2141414B-088B-4004-A998-0C6ECC78BBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d965f234be5ef865395d474ca626a4531ba71989","datavalue":{"value":"relative expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265816$6F862E45-AAFF-403C-AEF6-ADBF7FD9EA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c94d246c53a4f434f9fabf54d93f1c444db042ec","datavalue":{"value":"UB","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265816$C6F458B1-600D-421F-B567-E827409BD938","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":"Q2265816$84B0479F-94DB-4532-A2CC-677E8CC53A55","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"87cf30e8e28e7bf149b7a175453ca532e9bd152c","datavalue":{"value":"Q56432687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265816$02BE9AC3-1EC8-4AB8-88A7-B9E84197D655","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"194e7b535202b929d631a6931e84cd20a4ef061b","datavalue":{"value":"https://doi.org/10.1016/0022-0000(85)90001-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2265816$81C23893-D53D-45F2-B391-3F96BDF544A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03a3fec51a6b08822667ed1d7014b10d50c7d60b","datavalue":{"value":"W2067441543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265816$29537A9B-E46B-47C0-91C2-3CE759F8B1AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad21928bd542446f4dab874e018db82a98381684","datavalue":{"value":{"entity-type":"item","numeric-id":1839245,"id":"Q1839245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$F076C5A1-426B-4E52-86C9-00D89EB9B8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$A9EB3DA5-9035-4877-8878-74EB4579544F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$B922BF97-5301-40CC-9ED9-C446FBA9444A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062a9bd4fe13e5ea8018ad451d4c2f0edf9de514","datavalue":{"value":{"entity-type":"item","numeric-id":2265815,"id":"Q2265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$BC1CB722-DA80-4006-B2FD-18C3059F19FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$3B590942-93D2-4FB9-AA72-B44AA6CCB0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$DA093EE4-D898-4C5B-AB4C-E0A0E0EE95FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5d86b3b2e305f22a4acc54ca3b563db317be7a","datavalue":{"value":{"entity-type":"item","numeric-id":4190096,"id":"Q4190096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$F31C8030-FA8C-4408-969D-E86580A03066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$1160F277-D182-421A-9748-E2520184E436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$527C8D17-D4A7-4972-871E-8FDFC8EBC0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265816$71564C65-775C-4AAF-B98D-F3350D2DF0A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21960bbbf31b9ac04958f134836bc62cdcf36f69","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31cd3fa1042e7c5cd8deb02efc6240dbc1650b9e","datavalue":{"value":{"amount":"+0.94091797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265816$596FE997-B67C-4827-B031-F46F9566014F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544b2371a942216d584b69d143afbb39693c93d2","datavalue":{"value":{"entity-type":"item","numeric-id":4472440,"id":"Q4472440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3519dbcd154c485181a6807e44be62e96a9f63a6","datavalue":{"value":{"amount":"+0.94004565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265816$29BF2840-2187-4545-B944-CD6400A4820E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b2cfd7ad037b67c827bbda90f775faca4150bc","datavalue":{"value":{"amount":"+0.933394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265816$F2FB59D8-AD66-46C2-B12A-87469955B97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cea97e0c537744a510f3a938610fe5c24519ee5","datavalue":{"value":{"entity-type":"item","numeric-id":1768798,"id":"Q1768798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d05aaa7d913a42f8436b9f1348804559e3d7ba3","datavalue":{"value":{"amount":"+0.93321174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265816$676D18A1-E1E4-4839-87B1-883FE8F8A69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532faaafcdee0d998733785d709643bf514cb5a3","datavalue":{"value":{"entity-type":"item","numeric-id":3757893,"id":"Q3757893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72f6edcf4155e089cd1b076bbcec779154fc05e","datavalue":{"value":{"amount":"+0.9241618","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265816$DD9693F1-7036-49C5-84FC-8E3E4F2118AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edba888f3e7d29b99efc3e3f7f1bfffb12715525","datavalue":{"value":{"entity-type":"item","numeric-id":3457242,"id":"Q3457242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6988dff530173fe844d1776ffed2d0a9995730f7","datavalue":{"value":{"amount":"+0.9213108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265816$903112A5-8B7B-453A-A887-1DF145A47600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0913a62d4a4cad9c6e300c9e86267156ced39ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4508400,"id":"Q4508400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7d529a712b39064343919d6c6ca74ddbe97392","datavalue":{"value":{"amount":"+0.91922927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265816$5E666E97-6A2F-434B-9152-7F79D71D65DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1990d77e9c082ed3b93eb00c37d8f154a5bc967","datavalue":{"value":{"entity-type":"item","numeric-id":1401306,"id":"Q1401306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7d529a712b39064343919d6c6ca74ddbe97392","datavalue":{"value":{"amount":"+0.91922927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265816$616B6BB5-67E4-4DB3-8116-E369EEAFE41E","rank":"normal"},{"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":"8614e4ab692662efd26688de2af8b7a5113d76d7","datavalue":{"value":{"amount":"+0.91873515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265816$CB882673-B7E2-4A03-8F05-CFE4F02BB7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65103e820561a9321c0c366efd2359a0c13391cd","datavalue":{"value":{"entity-type":"item","numeric-id":4475142,"id":"Q4475142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6826095b044d3613d6aecd415288e8501fa71da9","datavalue":{"value":{"amount":"+0.916691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265816$A7D5F0FF-A230-4B0F-8CEF-5974D8171A98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2265816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2265816"}}}}}