{"entities":{"Q2331070":{"pageid":2341813,"ns":120,"title":"Item:Q2331070","lastrevid":55971241,"modified":"2026-02-21T15:33:52Z","type":"item","id":"Q2331070","labels":{"en":{"language":"en","value":"A proof theory for model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121992"}},"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":"Q2331070$8FCD9E0B-DE04-4DCC-87A6-1D093618B0B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"699fee0e7764beb03fd0a3badb20f90c7e43e340","datavalue":{"value":{"text":"A proof theory for model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2331070$1FEF533B-B3B0-47E0-9156-77CF82603FF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"384104e9a8422bd4cdc906e85c9f6b3da3c032a1","datavalue":{"value":"1468.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331070$F9A6FCD8-D544-41AC-826F-9371EB347039","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccb49f81f9e573d7952c75f73cf6bc526d2d2143","datavalue":{"value":{"entity-type":"item","numeric-id":2331069,"id":"Q2331069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$97D1C648-96F1-4A3B-8B8A-97AC9D2036CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$32C4CC87-EF47-4E7C-A14B-CC25C4420237","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$CC62B508-EAEC-43A7-9D84-29C05E51C81D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9c78d27d44184ed11acc3dc406ef7d8d5c12da4","datavalue":{"value":{"time":"+2019-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2331070$7B1C527C-E5D8-4D77-BFC5-D3C972939E83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f73459fb4e22d82e78dbfde74bd776ee507ca1e","datavalue":{"value":"https://hal.inria.fr/hal-01814006/file/hal.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2331070$9D5486B1-D180-4B2B-88DA-BEDDB4D3027E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331070$018E9205-7C56-4F8A-87D2-C98A5AA0A095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331070$2761BD3B-211A-41C6-BBF2-BA720CAC8398","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84b5eefddccf496ca453094c10ab77526008a5e4","datavalue":{"value":"7121992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331070$096A9DA0-DCD3-4B49-818A-5FD48485DC6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331070$C64DFDEA-73D8-4FB1-9141-87B73ED7A5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331070$79F1A889-C2D9-4A41-8B43-5A3D2C5737B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331070$D2ADB601-5DD8-413F-A666-6B06F9983704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"726a6b0314875adba7a88d08260b6a91ab95d2c9","datavalue":{"value":"focused proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331070$6C4453A1-6DB5-455C-953C-F0600B539389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2331070$64CE8E59-1A02-44DA-AF86-768D8366E7E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8b05ec686e5cf36ec21c150af705733aeafe240","datavalue":{"value":{"entity-type":"item","numeric-id":21443,"id":"Q21443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$D2BF8C28-AEF9-425D-8210-0AC6CFBE400D","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":"Q2331070$35C886DA-6631-4179-B7C8-4D775F8CBA76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"726b7d40a1d3267076b3b4f19738a12411f4e11d","datavalue":{"value":"W2809678222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331070$DC86DA4C-6101-41E8-8B0C-85730032E710","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$C0B6B017-64E2-4265-B93B-0FFFD789ADD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$5A618728-DC50-417C-AC5E-B07647F0CBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef4114ad058efe7edabe8fdd17733b47122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":1701039,"id":"Q1701039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$D50351D5-523E-4FBE-8725-8C21A0B86152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$F8CA0A15-D343-4731-B94E-388BD6A2BC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa53441876822863b5431df390be6637fe2cef9","datavalue":{"value":{"entity-type":"item","numeric-id":636305,"id":"Q636305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$8A632CA3-518C-498C-B282-5C7ED2E8F694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23938ac724ef428ed6e2c33c2b68a4a8459ca240","datavalue":{"value":{"entity-type":"item","numeric-id":3512431,"id":"Q3512431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$9714351B-CD70-49DE-AA7C-7FD0A8381E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$1460AD18-0C0B-476B-9A82-877F5CAFBA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$B880737B-8237-4196-971C-1BC5AEF4A107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f81677e6c7689d372d059212f4f6d2e31315c","datavalue":{"value":{"entity-type":"item","numeric-id":3824307,"id":"Q3824307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$801053A7-67EC-4442-A9EF-29C435743450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$4D8303E6-3DA2-44C1-8162-13E1CB6B9D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1209407dc1baad9a93aa451c62d32bd97446f","datavalue":{"value":{"entity-type":"item","numeric-id":1899147,"id":"Q1899147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$058BB876-90DE-49B4-98DA-01F9C79F5FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$504D5D5B-049B-4F8E-86F7-860D84C2DA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$DBC0863D-F376-4F67-A9CB-0EB1F4E0073A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d619179deec73e98daca550b5629aea20622978","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$F4D5C4B5-E7F9-4176-AB4F-6EDE5509AD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b1b6d321e9061de1263bc9768b7050048e21ec","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$BA7517D6-0154-4607-93C0-FD23BD93DB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797bbf1c2d6bb399f80f079e9983fc833bfa2c2c","datavalue":{"value":{"entity-type":"item","numeric-id":1398474,"id":"Q1398474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$7448BAC5-5D72-484E-BECF-0B4AE6FDABFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72ec4eed4985602e7824e9b3bf75884c0f15d45","datavalue":{"value":{"entity-type":"item","numeric-id":4928436,"id":"Q4928436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$587882BB-BE90-4177-9409-006DE172ABD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5053859a8538504e0eb3025ab332314be80808","datavalue":{"value":{"entity-type":"item","numeric-id":3608431,"id":"Q3608431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$C3BD2CD4-675B-400F-819C-1D9DD2F8D462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd4d3318c286766f6c9764c900b85ec244128ad","datavalue":{"value":{"entity-type":"item","numeric-id":2852368,"id":"Q2852368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$F3232501-C4E7-41F7-B345-085E710E85A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$279E1BDB-97DD-4626-9472-47F1D07AEF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc9a63e5db253120ab46b1c85465a76812b2e6e","datavalue":{"value":{"entity-type":"item","numeric-id":2938048,"id":"Q2938048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$BA1BF29C-4015-44EE-8186-04F98A8D24F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$EBC7C862-3C38-4068-A437-02AC9D1A801F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2094db0464372ab3cceff99c6325a55e84c31d5","datavalue":{"value":{"entity-type":"item","numeric-id":4809159,"id":"Q4809159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$43A2A64D-5183-4387-9991-2ADA19120FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$2B25B687-7569-4079-8707-542F50B20B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd006f3345398a4d91af214b14ed05f4807fd835","datavalue":{"value":{"entity-type":"item","numeric-id":2848670,"id":"Q2848670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$C5425C33-1024-4F6D-A439-17EA463F688D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d25a135933d7bf5547de5ec4476805acc9a84","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$49708551-4207-4EDB-8682-83AC389485FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c8c114ed91e2eb27d97fbae8c341950e41db76","datavalue":{"value":{"entity-type":"item","numeric-id":1948276,"id":"Q1948276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2331070$13ECA0F0-D0D1-493D-9363-DE6AEBB6946A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62109217417d4b837dd1a3f936db8f615618e8c5","datavalue":{"value":"10.1007/S10817-018-9475-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2331070$D9EB894A-0C41-4838-B1EC-AF22A10850E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b487f5c2b17f6536f2e45341ad5fc30697ee540","datavalue":{"value":{"entity-type":"item","numeric-id":5014803,"id":"Q5014803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be628fc72af02f9830d2494908e4183e7005e4e","datavalue":{"value":{"amount":"+0.97360754","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":"Q2331070$E642D7C6-55DB-4383-B4DA-5F73DB58FDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6d36d0f86595855f8cce4e7301439fe4ce05d8","datavalue":{"value":{"entity-type":"item","numeric-id":3512435,"id":"Q3512435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32401999fbc39704a7dd6d504bf9eba51d88975f","datavalue":{"value":{"amount":"+0.9331006","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":"Q2331070$7FAB903F-BC71-46E9-AE91-80482FEEFEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8a8437a8e5789388bf00abcdea725f1c3323b6","datavalue":{"value":{"entity-type":"item","numeric-id":4518869,"id":"Q4518869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86bef71d362776e4abdc52e85f2e4fb153f8f81b","datavalue":{"value":{"amount":"+0.9319182","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":"Q2331070$4188C023-143F-4F13-B916-545F3E5B3265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2531ace935f760871405ce86503c1464b9fc25","datavalue":{"value":{"amount":"+0.9270839","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":"Q2331070$C02CDBFA-E1A5-4F3D-9044-FC64B96C4CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99635afa4ffb91de9a6e1b10dd66cf43bda2cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4028804,"id":"Q4028804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba2b1491eeb473575e9265df0f3a4ab011d45f4","datavalue":{"value":{"amount":"+0.91741294","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":"Q2331070$A790C871-FCAE-468D-A649-DF27AF47BCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e526848231216543154b909b24a98a74c4e0fba","datavalue":{"value":{"entity-type":"item","numeric-id":4016548,"id":"Q4016548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba2b1491eeb473575e9265df0f3a4ab011d45f4","datavalue":{"value":{"amount":"+0.91741294","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":"Q2331070$390B96B7-3F22-4390-9C9A-ABB30EE1CF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a361897a83fbcb8ac7951dffc524d62a5491ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d74ac16cd6dd29a5ff6fbf77e53a6b83763a2cd","datavalue":{"value":{"amount":"+0.916864","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":"Q2331070$B396E537-73FC-49B2-BAF7-126863EF354B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f28c0621007c2097d5f63f6c3da1e1597e5b97","datavalue":{"value":{"entity-type":"item","numeric-id":4737589,"id":"Q4737589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a2b1b9449239aa51a28361b149e30535f2283f","datavalue":{"value":{"amount":"+0.91636574","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":"Q2331070$9C1EC462-E50B-4576-A36A-C74B52023E35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2331070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2331070"}}}}}