{"entities":{"Q3303891":{"pageid":3314599,"ns":120,"title":"Item:Q3303891","lastrevid":58156005,"modified":"2026-04-04T01:04:30Z","type":"item","id":"Q3303891","labels":{"en":{"language":"en","value":"Bounded quantifier instantiation for checking inductive invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228153"}},"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":"Q3303891$0E801B51-7CD3-43B4-A4B7-71FB4E4D8FF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d89c63042132b880ca5e236121aa32ae71cf6af","datavalue":{"value":{"text":"Bounded Quantifier Instantiation for Checking Inductive Invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3303891$40647991-4727-4CA1-A02C-5B00514D86F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65e0c251b44cbc1ccb4fee36628e484bec52c354","datavalue":{"value":"1452.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303891$15CAC9BC-8D34-452A-B7F2-4D344944BF34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf7e24dbe68f1cf301390a31482c076ecb5add08","datavalue":{"value":"10.1007/978-3-662-54577-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303891$4B810880-DF7D-49CE-B77B-71C0E30027EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2c22d5c521eed0274338a690fb46b58ea42148e","datavalue":{"value":{"entity-type":"item","numeric-id":2961564,"id":"Q2961564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$E0C56667-630E-4D21-8BEA-8EF4ECEB19B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af28c01640955d451ab13d8ae854a3ea0fd656ad","datavalue":{"value":{"entity-type":"item","numeric-id":2044195,"id":"Q2044195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$A0864C34-D209-4686-8DC6-C3C4A76EAFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$DADF2F3C-AF93-43A5-9A5B-E4A3D02DA257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$AAE99514-ABA7-4D95-9DF1-3B3031882D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9449ce466a2c684a15ed4352b5933311b5f46f1","datavalue":{"value":{"entity-type":"item","numeric-id":6482617,"id":"Q6482617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$65135E46-3F47-4CB5-BAA3-B4CEC67CB655","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$EFBAEBDA-657D-4155-B4A1-A55A66D6082C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-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":"Q3303891$3A95E6AB-A29C-4CA8-8CAF-00449ADE4792","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fbfb4ad8691984ff04c06cb480383894d04014a","datavalue":{"value":"https://arxiv.org/abs/1710.08668","type":"string"},"datatype":"url"},"type":"statement","id":"Q3303891$327CD365-3854-43AF-A1F4-EC1089BB1DD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303891$1A656221-CDCB-44B4-A96C-3EE5C4AA568D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303891$C96876D6-BBB4-40E4-9610-E8AD630EA482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303891$53D62797-8072-46F0-AF9A-4AC01C24C8A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e7f728b19a42aa9fd7a2ada16e534df00e579e8","datavalue":{"value":"7228153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303891$706321F3-4832-47D2-8FC3-3DE81317EB2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc28a0a0ef75fb2c393b67fecf9cc4737c77d1c","datavalue":{"value":"universal quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303891$70899349-6CE9-4C4B-847A-9A25BA52C897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c28c3110903eae6a23631aa23fc93dc8c530c8a","datavalue":{"value":"verification condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303891$CBAAEFBD-6503-44A6-AA4F-8FC72434795D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4b279f02954f10f9c4d82ab67ccf864d5ad06a","datavalue":{"value":"existential quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303891$2EDF3D6B-AD1D-408E-A061-FE93090BF57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303891$94C119D3-0272-497A-8917-A48482764B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e210693634bfda25d06c0b3cdb4fba976785b5b2","datavalue":{"value":"first-order logic with quantifier alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303891$C07E08B0-9F94-42F6-B4EB-13FB55057D38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa99010cec9efcf3a4ca68c8df6cd7689fcd91d5","datavalue":{"value":{"entity-type":"item","numeric-id":5972521,"id":"Q5972521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$DE5B5E4B-82D0-411F-9815-95017FB4D316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c490c25822178ee5299c99ab92f2cbe0461e17b4","datavalue":{"value":{"entity-type":"item","numeric-id":5240148,"id":"Q5240148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$270D2FA6-F0AF-4DC6-8C41-3F2510DFA174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9685be4042ed67a73d0b08e5d765a9ad207daad","datavalue":{"value":{"entity-type":"item","numeric-id":2926658,"id":"Q2926658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$6546E981-C4F7-49FF-924A-2603961213EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d147c7656be905f6aa02053ac3f0750db3cda17","datavalue":{"value":{"entity-type":"item","numeric-id":1702888,"id":"Q1702888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$07105DCA-F016-4901-B8D7-6DE9993CDF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$7F103EC9-9B6E-4251-8CAC-6B53F799791C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff22db2f81147d05f8884afa73b2e908248b3aa","datavalue":{"value":{"entity-type":"item","numeric-id":4176960,"id":"Q4176960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$5BBF419B-AC7C-465C-B12B-EB4BBA99A9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$9758642F-0903-4319-91BC-6FDC6339CA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d27466745eba57837a04b18173a99a47f5ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":1037401,"id":"Q1037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$836CF55C-D72C-4670-A5D6-DFA592E15236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$DBACBCA9-6DBC-44BB-8400-C1E496E23690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb39a3356b04054be7de64624339a320ae934335","datavalue":{"value":{"entity-type":"item","numeric-id":1604793,"id":"Q1604793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$A44D80D5-76CE-4F26-B8A8-CE9321BF14F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aaaccfbedb3cd88fc80e0faeb16f71f2c3e7630","datavalue":{"value":{"entity-type":"item","numeric-id":5458332,"id":"Q5458332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$EE786393-0811-40E7-A937-5F54B387B6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838d1a0279b6bb577c789f0255b088571acfd62f","datavalue":{"value":{"entity-type":"item","numeric-id":5311254,"id":"Q5311254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$2EDE958C-9274-4FDC-8CF6-A46A11F54449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7dd0892c14507a8ebfe27b348bce87a4fc4a48e","datavalue":{"value":{"entity-type":"item","numeric-id":1702932,"id":"Q1702932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$D2D39EB7-08DF-4A52-90DC-FA80794D42AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5bc147e554421b32de8151899e567ae26f219e3","datavalue":{"value":{"entity-type":"item","numeric-id":5348918,"id":"Q5348918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$FC300828-C505-47CF-B0CB-D24A77430326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9846a136de6407a3b8e1fec51a7185c1349644cc","datavalue":{"value":{"entity-type":"item","numeric-id":3189836,"id":"Q3189836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$5E1A652A-6693-4791-8CC0-80C83AAA66BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$4CA39D57-3CA9-4E0C-BDB9-08B3AEAF8FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82ac1875f2bd79fe60fd4a60c4b76074c2e13d8","datavalue":{"value":{"entity-type":"item","numeric-id":2722067,"id":"Q2722067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$6760E1DA-47B7-441A-B577-4D88B4460B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9aa2e0ad6c3a17491d918ed415db87319d88de9","datavalue":{"value":{"entity-type":"item","numeric-id":4417906,"id":"Q4417906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$40427F31-B675-4C57-AEDD-1FF9E61A79D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197bd6d0b9b13f7d7d62b39ca988dbf1f2dfc0db","datavalue":{"value":{"entity-type":"item","numeric-id":4928453,"id":"Q4928453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$819CC59C-F29E-40FE-9BBA-75D141DE7B43","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819ddda2e7b125b327dd1cd285f895e0bd6f622c","datavalue":{"value":{"entity-type":"item","numeric-id":5972521,"id":"Q5972521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$48FDF2C0-6047-46EB-AF3F-A3469DA0C0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$9724D235-2562-4F5D-9190-C335D949F5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b10831b25b2756323f1e155a6277b60592e8908","datavalue":{"value":{"entity-type":"item","numeric-id":21857,"id":"Q21857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$6B27E60D-E66B-447E-AE3C-CE5B12437F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"233bd03fc74bc4c01e6f828569e5eb13f94bb747","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$C27AEFA6-C2C2-4D29-BE90-3BA1FBEDEF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$FF8933F1-C05E-441D-853E-D821914BF4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$C6FDB7ED-3020-4090-B1AE-7A8E221F3017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$4E26BB2E-C0AD-4F4B-BC1B-D5E85CFEBD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$0A5C1A9E-4B2D-48B4-A234-D5AE67C87BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39f845fecb27dca4d042d6ff50d6e8774b88438a","datavalue":{"value":{"entity-type":"item","numeric-id":5972585,"id":"Q5972585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$AD5BDF91-AD8D-4397-B38C-90139BB5380A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e78f0d32f4e8b2ef1c9ba9a53a5db9ca8506e1d","datavalue":{"value":{"entity-type":"item","numeric-id":28167,"id":"Q28167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303891$E63140AA-0516-479C-967D-246DA8120F3A","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":"Q3303891$E7A4DAF4-83E0-4F93-B944-68C193516ECE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01ed0f7f763a244798c00b2802e4fb3b7a0d1005","datavalue":{"value":"W2598582440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303891$2F50476F-E2D8-4101-A68D-13A9D6FCB83A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016a68b751c067bd865acf1cee368f9c6a7bb8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5232900,"id":"Q5232900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d8e5a8871c57f6530116574d4f6c4f0b1be2f1","datavalue":{"value":{"amount":"+0.9984522461891174","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":"Q3303891$1DAC2129-E66C-43F4-BF7E-44B18AF64F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f135000cfb5801f33f862789e630b25bcf69549","datavalue":{"value":{"entity-type":"item","numeric-id":6160910,"id":"Q6160910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2e44334eb50c65e5f898b668fb60bcd827a62d","datavalue":{"value":{"amount":"+0.7921682596206665","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":"Q3303891$AEAAC5C8-EDEB-4B8C-8414-2F0C0D183104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4396432ef5ab133000893590ebe84a1984c3c53","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e495efaac391bf917555d126f902e7494be4afe","datavalue":{"value":{"amount":"+0.7250918745994568","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":"Q3303891$264129ED-D32A-4C19-B267-F8DF50182D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccbf5fc3944a9c4a28f412cecb088c5b82edac0","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496392faf20fd318ad4574c0774c82a60cac6377","datavalue":{"value":{"amount":"+0.7156180739402771","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":"Q3303891$1C8CC807-CB1E-44F7-B831-EEFC3339F926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84befa268de10235a1bff93ee7556136f5b306aa","datavalue":{"value":{"entity-type":"item","numeric-id":6109591,"id":"Q6109591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50d51e4a4724097df9d44be8437e1aa16d1aa5ec","datavalue":{"value":{"amount":"+0.7151484489440918","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":"Q3303891$497E1F5F-8EB1-4FD3-AC75-399E2C9EDF4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3303891","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3303891"}}}}}