{"entities":{"Q1037397":{"pageid":1039245,"ns":120,"title":"Item:Q1037397","lastrevid":69478761,"modified":"2026-04-13T07:16:44Z","type":"item","id":"Q1037397","labels":{"en":{"language":"en","value":"Automated verification of refinement laws"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5633343"}},"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":"Q1037397$4AD556D5-121C-4EE8-BB96-34E4C15915EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34f53b56f6af2eb3afe59f4bb062c6547a4a355b","datavalue":{"value":{"text":"Automated verification of refinement laws","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1037397$68D21F42-1421-4685-BE2B-AD90DD64E5EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b612b6ca4db95abd0945b59a94c01217823f9464","datavalue":{"value":"1184.68463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037397$567ED242-FCC9-4832-BE1B-A54FB90CF4CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$A0257B56-FB96-4CAF-AAEB-11E97F5A44B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$413ABBE1-D7F3-4521-B5D0-9D3EFDB4784D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6d707c999cc6d62a42a2f34c4e05c6ede74383","datavalue":{"value":{"entity-type":"item","numeric-id":679254,"id":"Q679254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$02953B5A-CD7C-4118-9684-96518495B9C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$D78F129C-AE1F-4397-9C06-36A420FE49E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a063ddf8a89ca70cf9f598d7256c305bf346c0e5","datavalue":{"value":{"time":"+2009-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1037397$2E56AD9E-886B-42BD-8562-B868C22AA256","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa45022ba234a81992fc5929ebdef55d58bb2a4d","datavalue":{"value":"http://eprints.whiterose.ac.uk/10049/1/Struth1.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1037397$26C724F2-59C3-495E-93D2-B2802666D139","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037397$806EE7FE-F749-46F8-9787-3DC860DFDC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037397$E80B8EB8-B697-42FE-9458-DD2A9D5E9CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037397$5985DDFB-CA41-48E7-A507-77CEAB3DD62F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52c00d6350535b71c0a6f51af7cbb6b0890b1737","datavalue":{"value":"5633343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037397$D512ED75-7EBD-4DE8-B1BE-2A3653BDCBFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ff63debe960d1ceca72d8a90e8122257ccfb64e","datavalue":{"value":"demonic refinement algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037397$3909B040-8146-4E03-9CBD-754FF8F0615A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4558db164c7f575bb520b3fb6e24a7b3ff697af","datavalue":{"value":"Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037397$06835DED-BD0A-43C7-A41F-13A2B4924E9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$034FE904-E0DD-4302-8350-AF599F150B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$F5CDC3C8-EFEE-45A3-90B1-3E86784EAE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$B0D1FFE8-BB34-4908-A2F1-2EE603556BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$F0442F47-423C-4C80-AC54-319519DCC0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$2F0EC0F6-6DA9-4FBC-B87A-B3DA4BE3C9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$162CC3D9-E0AD-4869-BFC5-8EB0D8A6EA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62af2c5e450adf37bd9acb47c5a55b60b68447ea","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$65383005-3701-4A5F-B2AE-48EC4E8BB06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$85616A11-3952-45EA-A291-5511B4A5AA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$493D42CB-5B35-4110-BE0C-76E581A8951E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12995736fe82d65918938fdd42b1d647f84d490b","datavalue":{"value":{"entity-type":"item","numeric-id":33178,"id":"Q33178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$8811D445-D68E-482E-9B07-1F163B6920DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f63de557d279c4616add6af7fb4f5f08e4cbf484","datavalue":{"value":{"entity-type":"item","numeric-id":41399,"id":"Q41399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$DE395871-6F4F-4822-8114-7692585E9734","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":"Q1037397$1BC0B724-398B-4B06-B6DD-A5D8893B8886","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e067342d08f7194e3818d29810b5701231906cec","datavalue":{"value":"W2026501147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037397$D9859A79-D32A-49DE-877A-C84915210E98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2cf835bd77f96d03dced45b87a25996d25db85","datavalue":{"value":{"entity-type":"item","numeric-id":3158528,"id":"Q3158528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$F8FD67DB-276C-422E-B676-FD88A43FC4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e0964a69cdeeb98c62b167ed923916c4e674a8","datavalue":{"value":{"entity-type":"item","numeric-id":1306570,"id":"Q1306570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$A0DC63C0-8610-4EC0-8807-7BD5B4CC0DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec28ba6d820be907a77fb84eda09cc97c627df63","datavalue":{"value":{"entity-type":"item","numeric-id":3525007,"id":"Q3525007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$FFF2C71F-69CA-400E-B514-F409746556C4","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":"Q1037397$BA21E932-7A1C-48D8-9662-6EC72026F1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$239907C1-23E3-44FB-A982-CB7F90A8726B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0dc16508877fecb9994b520f0ed77f4ce3b776","datavalue":{"value":{"entity-type":"item","numeric-id":5505433,"id":"Q5505433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$BE943044-28B7-42A8-A533-1D3343B148FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a599e78b7f6ac88556b4a2cd8e0cd4dea641b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3521996,"id":"Q3521996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$4A3D07EE-F559-4645-A7C6-65ECA21BC07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02421a8c64694b6761a8a164009099ac268fea89","datavalue":{"value":{"entity-type":"item","numeric-id":3498414,"id":"Q3498414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$97D4C803-0A68-4F30-95BD-921CE68DB3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b14497ac6a047a973edd9c6aee99e8150ceabe1","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$67EF3A45-9FC8-4717-8F32-4311AE996E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22f258bcf684e873fb03cd26b86d4f19a806e14","datavalue":{"value":{"entity-type":"item","numeric-id":3541686,"id":"Q3541686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$B35EEAC0-4E09-420A-BF1D-743BFEB0FF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$AC16422D-BCD6-4ED1-BBC0-56CEAFAA1851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8997bef6622eb00f3239a8203254b6ecad1afd20","datavalue":{"value":{"entity-type":"item","numeric-id":929968,"id":"Q929968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$000BA1E1-E319-49CF-8AA5-ACF128805BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e114146a9d2d5e6b8c252e3e4a144fcee5ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$A32199AC-F60B-4344-B4F4-959E59EF2C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661f0b9795f66b5d2362d9e2b01387b3e66c126c","datavalue":{"value":{"entity-type":"item","numeric-id":3150299,"id":"Q3150299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$394C6DFB-E094-499A-AEBC-090AC0E5BA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$AFA62C03-C4E9-44B8-8249-FD6A2BE94CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$740F7AF1-E2E8-42DD-89D7-4097864F5F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$36BD254E-A0C3-4B56-9BEC-FACAADA1A9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafbd9b1341df661b11b96d1e0b028a33170bb2f","datavalue":{"value":{"entity-type":"item","numeric-id":2778885,"id":"Q2778885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$39026EC1-6815-4FEE-829C-637A080829F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6daed1a8fcaca7a71aaae67ae286b4fdbaf987","datavalue":{"value":{"entity-type":"item","numeric-id":817587,"id":"Q817587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$0F730249-DBB5-4465-B85E-61BD1196C7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3bce8eff668d7fa14e2bcf6be875aa15ea30ea","datavalue":{"value":{"entity-type":"item","numeric-id":5403464,"id":"Q5403464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$3DFE6FB6-FD3F-4D90-BBDE-C78C9C64FBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c1f913468a37326c66c673fc25f31ee299a96b","datavalue":{"value":{"entity-type":"item","numeric-id":3515519,"id":"Q3515519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$79C29133-1C11-4089-8851-DBBD8EBB1955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81eb1bed6fe619f48a29f5aee3e7db00567c1586","datavalue":{"value":{"entity-type":"item","numeric-id":3608780,"id":"Q3608780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$AA5DB265-F339-4821-B380-EAB04237484C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ed1fd88663850940208777b453a5e31171f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":5486135,"id":"Q5486135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$862AF718-7140-4648-9FBE-633394ED888F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$EBAEA522-CE50-429E-92A2-BBC0282A96CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed4338cc88d42d689fda3243956f7504154c17b","datavalue":{"value":{"entity-type":"item","numeric-id":1606324,"id":"Q1606324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$F41AC616-F7B9-4235-AE9F-7BE3121B8C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd1ee8ddef8c3617a21c4911ab4abb48a578a69","datavalue":{"value":{"entity-type":"item","numeric-id":4808696,"id":"Q4808696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$AB28BACB-5AE6-405C-9668-774CBEFFF3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$6433D7F5-84A7-4009-AF64-84FC5E8C2E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842d1c2c50e4f6152c1646f7649b15d27250c7c8","datavalue":{"value":{"entity-type":"item","numeric-id":3608799,"id":"Q3608799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037397$58A05548-7773-483E-9616-54CD03F4ADF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22ff7ad5f0ce5a8266ac499a9dfe1a55ca34e12a","datavalue":{"value":"10.1007/S10472-009-9151-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037397$B4510C90-9B80-48BF-A49C-5E28ABE60727","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fa3d3d0eea70a1a135949962f4363d5f425c8a","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8e224ddc2d342a53ec06e03c0f22e1f8320f58","datavalue":{"value":{"amount":"+0.7646724581718445","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":"Q1037397$7FAC650D-6D86-4E6F-9BC2-46762F690A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b448852c958cdb0ecc2c93f211b0e5409cc6066e","datavalue":{"value":{"entity-type":"item","numeric-id":5410477,"id":"Q5410477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049b3661f6272786eb41144ad6eaa54f0fc3a368","datavalue":{"value":{"amount":"+0.749043345451355","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":"Q1037397$0C14A86F-D332-4885-97A6-CF51CBEC21A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15529d64dbf61a436024a0579129e429bcf78898","datavalue":{"value":{"entity-type":"item","numeric-id":4808696,"id":"Q4808696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e132f934c455a48ed78187d2323a37bb81f9f01","datavalue":{"value":{"amount":"+0.7470541000366211","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":"Q1037397$0BE57A66-8162-4204-8CB3-3E91176EF448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14dec9a89d8068fb1e5713e5cc72d0b606ce6088","datavalue":{"value":{"entity-type":"item","numeric-id":1309250,"id":"Q1309250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726d867aa63cde2fc50aaf46d8da514891c7a10b","datavalue":{"value":{"amount":"+0.7345491647720337","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":"Q1037397$8BC4AFD3-B213-450B-994D-DBDC229C6887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e958bbd209db71d5a72270e24ceeceaeab6634e0","datavalue":{"value":{"entity-type":"item","numeric-id":604454,"id":"Q604454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745d83cdbf5d571c5b97e88f92c1b19df7f8b261","datavalue":{"value":{"amount":"+0.7301821112632751","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":"Q1037397$70595027-854B-4A9E-9BAE-1D1AD4AF6C89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated verification of refinement laws","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_verification_of_refinement_laws"}}}}}