{"entities":{"Q627202":{"pageid":629050,"ns":120,"title":"Item:Q627202","lastrevid":63074082,"modified":"2026-04-11T10:25:34Z","type":"item","id":"Q627202","labels":{"en":{"language":"en","value":"Internal axioms for domain semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5853825"}},"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":"Q627202$CE3A259F-D95E-49AD-9C41-E06FA6DBAC9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6aedf2fbbc1fbcf9a1ad007158940450da2c47d0","datavalue":{"value":{"text":"Internal axioms for domain semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q627202$EFB3BE4F-4F31-4456-AB01-6ADBD7D9E99A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"991b82a3b8e57fc2edc80c0e9d497d65f45a2ef4","datavalue":{"value":"1211.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627202$ED4F1D1A-A6E1-4E6F-8BCE-FD59F4A97171","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89efc04017073bfb8c5d7b0cf7f25e439024bbb","datavalue":{"value":{"entity-type":"item","numeric-id":406443,"id":"Q406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$AEE97214-D6D4-4651-BECE-7F6D7D5ADD19","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":"Q627202$4E87C99D-75F9-4E34-BF49-D0993B3DF042","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$9899D671-2ED2-4B9C-AEEF-571AB2708955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a57a1d265a3ee40f730aaa4d5af28fb13b1a54e5","datavalue":{"value":{"time":"+2011-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q627202$93DCC9ED-BAD7-4F5E-8863-439380F9A0C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627202$F457D847-584D-45CD-8C18-60B4C8A10D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627202$6C44C57E-B1BA-4329-962C-6DCE1BEA4D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627202$5C1E0775-106D-4E9D-857B-9D26FAA24337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627202$82575A13-28ED-4282-A955-EAE7635B041A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627202$080B5273-F046-40F2-98D2-39C866991FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627202$51C16940-D44E-4DF5-8AA0-5B7D6D20202F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18eb1e2aa125432651a4fb9ab39d6187d45c9a94","datavalue":{"value":"5853825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627202$7AECDA74-B341-44F0-A812-B22086D991FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q627202$CAA40072-DFA4-4C97-8E8C-491ECFC7CAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q627202$76D1E811-B066-4611-B651-117A4AD64240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61935acc9687db36d19825c9ea81225adf2ca13f","datavalue":{"value":"modal semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q627202$4B58B607-C4AA-4DD0-A37D-2B4A1CE33F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97ef1774fcc1e401a5829b329421b3335cf54702","datavalue":{"value":"domain operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q627202$93D6E04B-3928-4120-9E1E-0DCF1C357129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9183d23256e07ff65a2deb3eb71e6a6bb0fe75ed","datavalue":{"value":"codomain operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q627202$BB6133BF-41D8-4268-BD2E-DCA745421628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f21388173bed74b6738f368f025a8ed4b72c62e","datavalue":{"value":"antidomain operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q627202$182B4E2B-E487-402E-AD22-DB9C82965105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18dc34cf043289c453be4fa0a781c9e74d11ddcd","datavalue":{"value":"algebra of domain elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q627202$9F79BC13-117C-483F-A563-F3373754E396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q627202$59C8A8AD-1A65-4C0D-BE42-998D20393639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q627202$36E087B2-2EB2-4DE8-BDE7-43AFDEED9016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q627202$2B97A87A-8C4D-46C7-BD0D-E39833B45A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7afb29140e972929bf68cf7cbcfe0f1e5e880598","datavalue":{"value":"L\u00f6b's formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q627202$ADE374DC-DA67-4D3C-AEF7-43A0A85AAD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q627202$006F49EA-8CC4-433C-8EDC-3D5229D7874D","rank":"normal"}],"P1463":[{"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":"Q627202$B685ABE1-0FC2-40C3-B64E-FBA902D8694E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$F1B754A8-8213-4455-A6AC-A8D09DB2FA42","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":"Q627202$7B680437-495B-416A-97E3-A5A124230768","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":"Q627202$ECCD1C8E-4D16-4692-86CE-4D480C5908BB","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":"Q627202$1E6B9273-A5DA-4EEC-A4B4-E8020CAB4583","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13e3edddc0d7966283addfbd438b2bb3959118a7","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.05.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q627202$A47DD559-4E5E-45CE-8E64-AD25B415ACF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ee66df1c46a90c09725d876406067bbe88404cb","datavalue":{"value":"W2001616837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627202$39E4D3FF-9DB5-4788-9439-875D41D00424","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$079576F6-F4AD-4752-AD4D-373F9E10D045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$4E9F617E-8DC6-409A-8037-FBD67E117547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba920057853ed80c68b740d4d15faefb3e6b20a","datavalue":{"value":{"entity-type":"item","numeric-id":5437872,"id":"Q5437872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$DE7F44D7-FF9C-4597-A03A-CFD9925CC764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc7b6c6a1afaedfcbece847a7b39f21038d8764","datavalue":{"value":{"entity-type":"item","numeric-id":4673439,"id":"Q4673439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$112179B5-8BED-4213-BC92-EF167B5B125B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$7B5DA9BE-BE0F-4E87-AD4C-FF6E0533D607","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":"Q627202$81755591-A9B2-4D5B-B28C-C0DC6237BC67","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":"Q627202$A018317F-A1F3-4789-A4BF-7A910E93E394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ba79c02c7b63a4947adda52efee4119e25585f","datavalue":{"value":{"entity-type":"item","numeric-id":5894889,"id":"Q5894889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$6D42AD99-EAB1-4629-91E2-470740561757","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":"Q627202$12E7EEAA-FD64-40A6-B7A6-C6A593E36AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7561b41a86dade27380522487e8cd9c1383e8721","datavalue":{"value":{"entity-type":"item","numeric-id":1037397,"id":"Q1037397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$80A4244B-B0EE-450F-8A34-132330D2503D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"563edd960cfe18aa924676529e2b02eae5631c93","datavalue":{"value":{"entity-type":"item","numeric-id":3498417,"id":"Q3498417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$3B90856C-7973-4BAC-90A5-69651BD5433A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$F8894769-EEB8-46DE-838D-C4B9B32EF9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$A912D0F2-68F2-46EC-A315-3151294A3DF7","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":"Q627202$CE74E020-94E0-48C1-A658-E034DBC29DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$BBBD567F-4686-4568-B827-E6F0E5AE3CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b63910b2835a2f9d3ace0892edb2104142fd95","datavalue":{"value":{"entity-type":"item","numeric-id":817584,"id":"Q817584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$3AAD0B6A-A128-47CB-AE52-B66ED483273A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7582e86ac15a837da5a504aeed727db9664c0549","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$D2E42136-4A41-4331-A541-D09191A02CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$57758914-D5E7-416B-8981-28253C8566E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c07532a0623a428aa5d3c0c2197ec9b3e756ba5","datavalue":{"value":{"entity-type":"item","numeric-id":2385426,"id":"Q2385426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$124ADED9-D906-44A8-89B3-905A24436A7F","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":"Q627202$490DE2AB-F4C5-4BB1-B11B-CBD3D27F2D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bccd1fbbe7b06f5a2e523bc6b279f22309b5dc96","datavalue":{"value":{"entity-type":"item","numeric-id":5307082,"id":"Q5307082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627202$5EF472F1-F773-41D1-B92D-8B5A43FFCF85","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":"Q627202$3C6545C7-DD0B-4F88-AD06-5A17C504F4FE","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":"Q627202$A4308A35-6BF7-4A95-827A-1554CC10C5F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae897f5dbe2af064f4ad9cf26b19901f830c2f92","datavalue":{"value":"10.1016/J.SCICO.2010.05.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627202$811483B2-B95E-4D06-9774-5265267308CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b796a81e43403d15b61c9fefc0ff5c6a1e95d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3521996,"id":"Q3521996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860c9569942db76f92d0c4c599bbab2aa007aca3","datavalue":{"value":{"amount":"+0.902867078781128","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":"Q627202$9D4AE376-035F-4777-8A1B-F277031314DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe9965c17aa33b0bf46c6fb059786d51e52b0f3","datavalue":{"value":{"entity-type":"item","numeric-id":5505433,"id":"Q5505433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913a324fa92b33c0603a9e844f313251f79497ab","datavalue":{"value":{"amount":"+0.8583621382713318","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":"Q627202$9110775B-B4EA-4A69-94EE-1B930DB3B070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ea1c14adfca6e1c0560dace7ef88d7deaa212b","datavalue":{"value":{"entity-type":"item","numeric-id":5081413,"id":"Q5081413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b605af9591133962d12ee3a33db9d46d8d1ea49c","datavalue":{"value":{"amount":"+0.7694041132926941","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":"Q627202$D0F955CE-DA23-4043-88D4-E181B401EB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154393dec021492b4deaf0608d480aeba9294acd","datavalue":{"value":{"entity-type":"item","numeric-id":3651509,"id":"Q3651509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a804c09e40f3c23b003955845dbc792e0c43349","datavalue":{"value":{"amount":"+0.7529893517494202","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":"Q627202$A5AAE861-A675-4C95-8F7B-AADEB99B63BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6945c9995bea9fd92f1eb9de3639b55d6aa83075","datavalue":{"value":{"entity-type":"item","numeric-id":624383,"id":"Q624383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4338d17f6455687fe1ffbedf7f188dc8791bd885","datavalue":{"value":{"amount":"+0.7522635459899902","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":"Q627202$CE66EE76-C471-4A99-A398-9DC175B21E9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Internal axioms for domain semirings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Internal_axioms_for_domain_semirings"}}}}}