{"entities":{"Q604454":{"pageid":606230,"ns":120,"title":"Item:Q604454","lastrevid":77831870,"modified":"2026-05-06T10:09:26Z","type":"item","id":"Q604454","labels":{"en":{"language":"en","value":"Abstract representation theorems for demonic refinement algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5815217"}},"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":"Q604454$11488679-ECBD-49A0-A94A-C4A756657742","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fbc138787fa78980ffe76def918c585c9978d6f","datavalue":{"value":{"text":"Abstract representation theorems for demonic refinement algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q604454$17B0678A-30BA-4E1D-8667-FD39EC761269","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e12d8d662b07c586d882c38e42d26ae1e7f42156","datavalue":{"value":"1200.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604454$B3E9DC82-B4A5-483D-9E0A-6981D86BBF42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b00294a49f38e6a3feebaeee502c1f56284de1b","datavalue":{"value":{"entity-type":"item","numeric-id":340527,"id":"Q340527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$9990DDC0-F7F2-4B36-95CC-E06174EC9A63","rank":"normal"},{"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":"Q604454$6838A64A-937E-46C3-979E-F1DE9012C423","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$7C70AA62-F7D6-4E84-90F8-1576D7008906","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da83de86884268e4bb618da2976a0f5979ab1bb","datavalue":{"value":{"time":"+2010-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q604454$0ACF8472-DE38-4E9D-A87C-FC53C1D93E14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604454$F7B40C41-0AE8-4A4F-BF8C-4C44E1353856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604454$FA946578-C52F-4F10-AFDD-3692F9A2A0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604454$5DEBA8B4-1718-4A77-A409-045CAFC35870","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8de079cd12479ba13b65cad763249049d397806","datavalue":{"value":"5815217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604454$0DBF496C-B0CE-4062-8299-6B0F51A0205E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b542e32ed363d914492c96f9edb9e93d4194ed6a","datavalue":{"value":"demonic refinement algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q604454$B8DAE2C9-D882-4706-AA5B-D5B017DF6026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15496944d6b77dbdbba8f5ea5b6ed3d22cf6c0ea","datavalue":{"value":"Kleene algebra with domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q604454$C758AD64-AAEA-482F-8CB1-C4BAE682E33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q604454$0D394A3B-E40E-4E70-8C8F-C5D88DD26755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4fed7eb1f5104b1afb99d956377e690f990be86","datavalue":{"value":"divergence operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q604454$051AC4BD-1225-416D-91B9-BF781BE03A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc9719c9c499d8185221251d5c2b642cb9a3d12c","datavalue":{"value":"representation by pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q604454$075FB84C-BBE1-44A8-A8CC-E307ABA76276","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":"Q604454$88630B42-1D10-4660-B6CB-92F289819E8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be5de5463700ccbea6b78a42818326dd5f982e88","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2010.07.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q604454$DD0A4128-38AD-4049-9F76-E4A42C56894C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"191c9e0f6a175cd5a7fe729f139db25dc7083d12","datavalue":{"value":"W2083577794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604454$1C978805-E523-4878-B4DD-3F94FAEE802D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b8f2843a7242ba011aa6e7f33280202a937137","datavalue":{"value":{"entity-type":"item","numeric-id":4738112,"id":"Q4738112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$F97EEC8C-7540-474B-A711-B520415F4BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3cefc19e00878c2a1bfebb4d92dcd02aa2fd295","datavalue":{"value":{"entity-type":"item","numeric-id":1079010,"id":"Q1079010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$E7942228-A2CE-4B97-9685-2E4419F312BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e20f649ee163fc027b520d68f4bd0a0844cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2721093,"id":"Q2721093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$97C3DFBE-E2E4-46D3-81D8-862A247EFEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6904c28bf3d00615b7b2d3cd2cc72fe25da97bf","datavalue":{"value":{"entity-type":"item","numeric-id":5459177,"id":"Q5459177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$AADEBBDC-A50A-421F-AB6E-1DC233E1ED5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd851f25047e2e52bdf2097973a02f4f64572a3","datavalue":{"value":{"entity-type":"item","numeric-id":3498405,"id":"Q3498405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$23F3EA9B-1BF9-4401-92E1-46AAC581712C","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":"Q604454$4D547B38-EAE7-4D86-BFA7-CCA66F034C72","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":"Q604454$9A1E4253-9667-433E-80E0-0D9D33ADE22C","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":"Q604454$D06697B7-1467-4F91-BD56-3E779F498211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c7893913ac74b7ec3bad95e74075ab9512b7bf","datavalue":{"value":{"entity-type":"item","numeric-id":3003302,"id":"Q3003302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$483257A8-FE99-4DBC-82E8-4FB5EADD144E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$1066FF6D-3342-40C7-9E78-CCDC7CDF521D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$EB77A601-B182-4FB6-8E57-2E0D1671FA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5f83f88bd4d40611818e0d65a2e2b0438bdc98","datavalue":{"value":{"entity-type":"item","numeric-id":5459184,"id":"Q5459184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$24543DC1-90C7-4293-B2B3-497350D9F400","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":"Q604454$9B96D2FC-AACA-41FD-83CC-2444CEE2E7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05d99a7f756af440fd9b96ae03b90bcd7e86a37","datavalue":{"value":{"entity-type":"item","numeric-id":3521991,"id":"Q3521991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$3F3F1EF0-2DF6-4F2A-866A-0D3EC8E52AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfcd16110addc1f3a5f046bfbc9049e52cbdf5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3498423,"id":"Q3498423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$661C330D-9421-44AE-A1BE-6DD4E20208BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61272f80d8ad5526763c99a877ae40ff6ed139","datavalue":{"value":{"entity-type":"item","numeric-id":870283,"id":"Q870283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$35F16881-F21E-4E9A-B810-B5406BC91F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ea0082ae7ac89566b7399bcedf0af22b226ce4","datavalue":{"value":{"entity-type":"item","numeric-id":5899318,"id":"Q5899318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$2351DC0D-562C-4251-80EF-1182A8A6CEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5784128ea999e1d5180c302a7a64ba9d6e03cde3","datavalue":{"value":{"entity-type":"item","numeric-id":3666245,"id":"Q3666245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$E8742930-E3BA-4A9C-8B97-EE34FBE1FE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d10dec64c03c0cc14ef8f4b4ad2bb6a4a6db645","datavalue":{"value":{"entity-type":"item","numeric-id":3703918,"id":"Q3703918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$A86D9196-B1B4-4039-B3C6-3D72FD01F714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b42675bfcedccebd7b93cb4ac35227fef4482c","datavalue":{"value":{"entity-type":"item","numeric-id":5459194,"id":"Q5459194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$78695637-7EC0-4676-9480-34459FEEA048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21601342169141f6541526dc9a83131125cf15c2","datavalue":{"value":{"entity-type":"item","numeric-id":3618834,"id":"Q3618834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604454$71297909-1ED5-445A-9A49-0D0ABADFD183","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":"Q604454$8C7FA21F-6D05-4876-9C60-5B6B621B9BFE","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":"Q604454$62783BC2-87E9-4D4B-9D63-9E4CD460AA22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dc17cefe26ce6ed6a6ddf3fe794b442a6ed0088","datavalue":{"value":"10.1016/J.JLAP.2010.07.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604454$D2DD01E5-6F83-4C7B-9666-E550F0865519","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139e76f54a66a664dd04cd7f3f15402c61d0a628","datavalue":{"value":{"entity-type":"item","numeric-id":4865868,"id":"Q4865868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e565ea03af91cf35bd126427ba4d402a376bd6af","datavalue":{"value":{"amount":"+0.8885323","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":"Q604454$4175E115-DCFB-473A-92AB-7E6F0A7320AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e7454feaaa5a8f293c999e57d5d2a008ae5110b","datavalue":{"value":{"entity-type":"item","numeric-id":829757,"id":"Q829757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151f5e904085d91bb05a020804224573a281de4f","datavalue":{"value":{"amount":"+0.88539886","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":"Q604454$5E7E6CAE-A182-4ADF-ACC4-E7543FA5A0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78abd4b78c88f200d1a3c419495fd570ee62972","datavalue":{"value":{"entity-type":"item","numeric-id":3498406,"id":"Q3498406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e3c3c9a78c6cbeb26610d33a029f0e82e9b2ff","datavalue":{"value":{"amount":"+0.8844328","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":"Q604454$721AAD39-011E-4225-9CDD-3A34F507F570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26c0ee4c570200246f983647a40511fc9360d75","datavalue":{"value":{"entity-type":"item","numeric-id":909758,"id":"Q909758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a23151d77d34b05e0166d533cd2a328e8dc04714","datavalue":{"value":{"amount":"+0.87930435","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":"Q604454$20602978-670E-44E0-B6B9-06CD6715B6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ad66bbf9068d5d6154cc4b4f5a0ab4ce337d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3187304,"id":"Q3187304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62635a2e59457aabbdcd8c6c2d9ee0f3bb1e83dd","datavalue":{"value":{"amount":"+0.87482536","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":"Q604454$2E2292C5-EBDB-47C1-8E95-95F1EC340D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1db6f19e0439a653716054bd69f2d51108da2811","datavalue":{"value":{"entity-type":"item","numeric-id":2829359,"id":"Q2829359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d4f1296c0be9b945d5e99900f2534c651773a7","datavalue":{"value":{"amount":"+0.87400717","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":"Q604454$D8CDB8F9-7294-4D94-83EB-8F764691BA12","rank":"normal"},{"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":"87824e3e05160049030aacf16b45f85d3e8aee02","datavalue":{"value":{"amount":"+0.87336046","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":"Q604454$3F2B8D46-292C-411E-8172-01EA10436B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26165d398e721769d8f13324fa5d09076a98771c","datavalue":{"value":{"entity-type":"item","numeric-id":4039139,"id":"Q4039139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002366ab4eed442b737d878e8faefffa11d683b6","datavalue":{"value":{"amount":"+0.8722081","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":"Q604454$A1B51C82-9DC1-4BB1-B9CC-06C0F1E5EDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1e4ad0783a9930b2eb56b4d018bcbd3abef888","datavalue":{"value":{"entity-type":"item","numeric-id":5130674,"id":"Q5130674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ac84c46dbc45a0d375ae8f68aae6ccf255dbc9","datavalue":{"value":{"amount":"+0.8718693","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":"Q604454$6A8BE7B8-4231-4FED-A7F1-8B94316AF587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca5b08b7a64f44419c9a7b401f04bd864dd787f","datavalue":{"value":{"entity-type":"item","numeric-id":666689,"id":"Q666689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773391394bfc79bad4354fc1b6712f90482e7809","datavalue":{"value":{"amount":"+0.87154263","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":"Q604454$3BDFF65F-D08A-4006-9EA8-38DEFC3B44A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract representation theorems for demonic refinement algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_representation_theorems_for_demonic_refinement_algebras"}}}}}