{"entities":{"Q1006729":{"pageid":1008577,"ns":120,"title":"Item:Q1006729","lastrevid":50614865,"modified":"2026-01-14T14:05:49Z","type":"item","id":"Q1006729","labels":{"en":{"language":"en","value":"Efficiently checking propositional refutations in HOL theorem provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532934"}},"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":"Q1006729$2E256E37-6A9D-4496-89C2-4ACAD73F29DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b88d8b0882f01f2581c5842a75b86deb8e64bc22","datavalue":{"value":{"text":"Efficiently checking propositional refutations in HOL theorem provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006729$D2B25604-A510-441D-A2E4-4998717ED254","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8927c87e9562a37f8b9533d085d3759b5278c673","datavalue":{"value":"1171.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006729$22C547A8-19E6-4AD2-8C60-BE745FE4C25D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f8cd3b806fd78547b3f4844ba487e41a5ec455","datavalue":{"value":{"entity-type":"item","numeric-id":286783,"id":"Q286783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$C2898B15-18E9-4D82-A9B2-788E75ECD1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32584f5c482e29078ea6b6dcf1d1dfc11c06bcbd","datavalue":{"value":{"entity-type":"item","numeric-id":469351,"id":"Q469351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$06CC849C-FD67-47EF-9EC8-29CB5D3E2EFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$6FA36434-A79C-48CE-8FEF-3B4CD5FF2A0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f17d548f42efb27321ed2d9ca45a732b10fcb2c","datavalue":{"value":{"time":"+2009-03-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":"Q1006729$C7E96652-DAD5-407F-81BE-8E9F0716A9A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006729$C1CCC9AF-9E4C-4093-9588-11204CC93AE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb86c6ab624525969229e76e54e111911a6ea1d4","datavalue":{"value":"5532934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006729$C6F414E8-CA4F-47D6-B38E-336A39632FC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006729$2D2B2D88-21FA-410C-A5B2-CBD214444193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efd9510455f4276c31080511a42b106d61b2ca3c","datavalue":{"value":"propositional resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006729$C50F51C8-433E-46AB-A17E-1C8D779E598C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e93f8ff4d31d7e143ab86b09542ed01cb35d567","datavalue":{"value":"LCF-style proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006729$2643DD15-391A-4B02-84EB-0ED16CE168D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$CAF3C924-371E-4D64-AE51-D98EDF13C30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$5B2F678E-7FCE-4A24-BA11-BBF4CA2C9EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$B36BB8E0-54F0-4802-B7C5-51610ABEB5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$23EB1269-A5E1-4E52-BFA0-5FD6BE1C0FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$BDA0F640-A736-44CF-8C91-DC8208BD8472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$A16E2212-C5A0-4085-89F0-3D90E4B57CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dab39ec190c7fb2818b71468da9efc600915608f","datavalue":{"value":{"entity-type":"item","numeric-id":33151,"id":"Q33151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$7FE85DC7-B49D-4F84-A867-5BF8AC0960F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$F2D57874-A96A-4A6A-AF28-CE93D342FED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$256209A3-D5A1-4890-95D8-F41BE19B2208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d650a7af9fdbfa854d490255d18c32cbaf84928c","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$54676D04-658A-4169-AD8F-187AFF717B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$2C92829C-E28E-44EE-9462-EC91F6CF1940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$00D991C1-9966-4F3A-B92F-FC30B25F782A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$B1DD05C7-FABA-4D41-AD41-195EA4B6A468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af3b5ddb4818ec81bb9bea3bab4852742bff1bd5","datavalue":{"value":{"entity-type":"item","numeric-id":22101,"id":"Q22101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$C9038363-18C1-4BC6-86ED-753D4DE5531D","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":"Q1006729$7FAA13F3-FE31-4A53-8F34-9D3359A269F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d208dc3cfad7d86cc2c0e79e988f32b66e14ef4b","datavalue":{"value":"https://doi.org/10.1016/j.jal.2007.07.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006729$7DCB09A8-EA20-494C-9CA5-B7AC5604BA58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7557c648812f5886bfc2afafdc23adc09c00ef13","datavalue":{"value":"W2168950896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006729$B3846DBE-B227-4DCD-A4DD-865700E387CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71dd5571a3c1c99537e11b357ad1449f45692c1","datavalue":{"value":{"entity-type":"item","numeric-id":4809056,"id":"Q4809056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$C0436099-1347-4260-ADB3-EA458DB3FBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999abefdd202289694977392a9d941282c26207d","datavalue":{"value":{"entity-type":"item","numeric-id":5477645,"id":"Q5477645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$5F5D92FE-BF25-4D2B-81B3-216A0BB24C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"026283316668ea2e166499e502bc3070d1ecd884","datavalue":{"value":{"entity-type":"item","numeric-id":5178991,"id":"Q5178991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$04520F46-37C3-4CF8-B63B-28F458506F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be67f799ffc5b3fd133657f657d0609a463820d","datavalue":{"value":{"entity-type":"item","numeric-id":5312942,"id":"Q5312942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$A5458FD2-6830-447C-8904-5C57F3445D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf54fd52b3ae148a01d4229df0c1b5a1e68af7f","datavalue":{"value":{"entity-type":"item","numeric-id":3613415,"id":"Q3613415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$83DA01FF-6ED9-44E8-9484-CEE0EB793282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$3B09BD8B-36E7-4F4D-AD18-483B307ED80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$8E6BF1D4-7A2D-4AE2-A95A-FC0895A3975C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b783d0052b7f250a9573410e9be2b4624ef11e","datavalue":{"value":{"entity-type":"item","numeric-id":5899057,"id":"Q5899057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$059CF996-5836-4767-9107-8D5287CBC398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$EA216366-CF83-4CAF-A6BE-23C1D0EBAB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75434ef849c3ec6704b06b6fb305736b6e78f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$2BE6DC98-DED1-4C1B-B883-701B78004321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a693c10013eb7bffb7ffbc0c1890644cc6a21fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4809048,"id":"Q4809048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$E607D0ED-5B68-4DBF-AB8E-18EF3E6185F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b26606a781175a19b1c8fcba43abdeea964791","datavalue":{"value":{"entity-type":"item","numeric-id":2848688,"id":"Q2848688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$D7B501B0-E024-4603-BC1D-98BA2F1880FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4470ad681c71989636fed60ae376323914a5ddb0","datavalue":{"value":{"entity-type":"item","numeric-id":2723444,"id":"Q2723444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$3AB1E53C-231F-4C28-BE4F-0C238D6350DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216559cea76cbd7bebdc584718098a2b0e882117","datavalue":{"value":{"entity-type":"item","numeric-id":5307074,"id":"Q5307074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$CE3A4A79-9F4D-4696-8D88-816B7B87F718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba745b5172e0483dd9eaff0ed6208b757a37053","datavalue":{"value":{"entity-type":"item","numeric-id":862393,"id":"Q862393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$5D04E6C6-5188-4F94-B833-0D5A9451E5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$B69C51AB-45BA-4B1F-9C95-F97A1C741AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704aa6a93e08ad86249a712577f6e2a837a14490","datavalue":{"value":{"entity-type":"item","numeric-id":4249904,"id":"Q4249904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$7A13FC16-F152-48BC-8899-019AA725DE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$0E0FA08B-FE55-415B-9652-9C1E98123C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0edfa3788ed617f89af868a8290e7c98c185e04d","datavalue":{"value":{"entity-type":"item","numeric-id":3613427,"id":"Q3613427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$56E508EC-36E6-41DF-9632-926D51C8EC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c35f4ebf8ba3be41685e193d999fe177c48a9c0","datavalue":{"value":{"entity-type":"item","numeric-id":4790648,"id":"Q4790648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$7B3C75D8-786A-4602-8DCA-F4FCFA1E7DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c7b055911e0d8bf3643774d009ace3842f48bd","datavalue":{"value":{"entity-type":"item","numeric-id":4427902,"id":"Q4427902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$B1B266B9-4E26-4DCF-A8A1-EB493ACAB36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$B2486719-BE1F-40CB-84D5-FC8951F9A9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cbacb60d35dbbb3c8a2da4db65e98f0f2f0898","datavalue":{"value":{"entity-type":"item","numeric-id":2848690,"id":"Q2848690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$59016DBE-36FD-4782-9E17-EF28C0244FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f8add1f616833f2166057014bb1642fdfc59fa","datavalue":{"value":{"entity-type":"item","numeric-id":5713747,"id":"Q5713747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006729$BC8062D3-82C5-4966-B51D-C21271BA1CB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ec77906c60ef44e33005a594943188a62562827","datavalue":{"value":"10.1016/J.JAL.2007.07.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006729$860FABBE-45C7-4E53-BACE-5195C41C08E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3667c1f3900d5b4fe1d73bc643a4514133908e4d","datavalue":{"value":{"entity-type":"item","numeric-id":2848690,"id":"Q2848690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a54eb53319b60f43ab680d6f483c1e75c6f5ec8","datavalue":{"value":{"amount":"+0.8999114632606506","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":"Q1006729$205F3B34-C371-42E5-8019-3EA4496FA677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a132e4daa2e15bd5dc269ad3507f16b279f28c","datavalue":{"value":{"entity-type":"item","numeric-id":1687744,"id":"Q1687744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ad153e48c95ab4cb94bec24ad72d93e3fb6572","datavalue":{"value":{"amount":"+0.77714604139328","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":"Q1006729$7CFF555A-E2EB-4020-8353-F1B4AAFF3807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be33ccab093ca2a6b6fd2b7057b69ca7524c000","datavalue":{"value":{"entity-type":"item","numeric-id":606999,"id":"Q606999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"116f4fd22539f821a7d017c7b5d8f304c415162d","datavalue":{"value":{"amount":"+0.7659885883331299","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":"Q1006729$6A57EFB5-1C1C-41C8-B86A-DCDBF1B90F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32781204d1db0d50f0fed8e58f21ef2e924a069d","datavalue":{"value":{"entity-type":"item","numeric-id":5327347,"id":"Q5327347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9acea2e4bfe10b2db575c2a9866a5147c2bd9ed","datavalue":{"value":{"amount":"+0.7655172944068909","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":"Q1006729$748BC6B4-B0A5-4187-95E4-6F017D503D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0880741c3c12b53e29e3e6a1d6dce99a7cfef870","datavalue":{"value":{"entity-type":"item","numeric-id":5200021,"id":"Q5200021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4cbfa7e45a9d6ffd1d979f9cd494bdba22719d7","datavalue":{"value":{"amount":"+0.7599817514419556","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":"Q1006729$A848ABD1-3CE3-41F0-AB6E-57FE6777E241","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1006729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1006729"}}}}}