{"entities":{"Q2642996":{"pageid":2653739,"ns":120,"title":"Item:Q2642996","lastrevid":79111826,"modified":"2026-05-06T13:10:18Z","type":"item","id":"Q2642996","labels":{"en":{"language":"en","value":"A concrete realization of the Hoare powerdomain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187856"}},"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":"Q2642996$86CBD84C-D0FC-4C2A-B05B-881BC7B3F8EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fbaae0de7bdde73caea135082b4f91c34f9d09f","datavalue":{"value":{"text":"A concrete realization of the Hoare powerdomain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642996$44FB5C80-D38B-4E13-8E9C-828745DDB68D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d52187583668a76c5be336c6bffd9ba68243a99d","datavalue":{"value":"1125.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642996$A487B4CE-2A06-4FF5-8908-020BA0334BFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b7899d39cbffcf8f380af456a461ea72ebd055","datavalue":{"value":{"entity-type":"item","numeric-id":1035654,"id":"Q1035654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$F728EB23-C75B-4675-8C0D-406BAC89AF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6f0c4a313f015fa954509557f72ec43cb13c42e","datavalue":{"value":{"entity-type":"item","numeric-id":284972,"id":"Q284972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$1EED3B97-D646-498F-8D84-18825EE3532A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$373FAB46-E86C-4036-8763-C2232E21B4C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd465c7f83203bc28c191db43e2e18edd6ba2d9","datavalue":{"value":{"time":"+2007-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642996$72A45670-123E-472B-B040-B4B472FDA41E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642996$D7EB323F-3860-4734-99EE-0B225176BC3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c8d696f6cbd85cb99404d9cef02426aa4198207","datavalue":{"value":"5187856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642996$8B15D4A0-A8BB-4C36-AA05-DDA4E2CBC794","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b555d6a77c99a7d084e5ccb60b7c2afad878b3d","datavalue":{"value":"lattice of full subinformation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642996$5DBCCA26-C890-4AAE-AF77-B66160E32D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503209f4f774a1cfb87670de4beddbcb4e81726a","datavalue":{"value":"lattice of non-empty down-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642996$48CF010F-7CEC-4FF5-BE5E-E8176709BFD6","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":"Q2642996$E025DE68-A1F5-49D3-8FEB-9E6EE10404DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38b5819105e4b7ac54bc9fd4dfa1b7fb9a104bc4","datavalue":{"value":"https://doi.org/10.1007/s00500-007-0153-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642996$5F5CC2D8-A309-4EB5-B3EB-379D068335EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d2659f08c167b2ccc471a49cc0ff8baa24062df","datavalue":{"value":"W1969667939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642996$BA469489-47D8-4FF2-85F0-A96FBFB96C34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$EE289E0A-8F8D-4FA4-8138-919FA163C9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$78E4AD1E-AA1A-478A-BEE4-E44DF9DBFA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68143ba4bba7a3123919a47c4b233e46da05c53a","datavalue":{"value":{"entity-type":"item","numeric-id":914401,"id":"Q914401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$9A811D06-A8E0-4D11-B09A-0F88F3F0FE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$0D1B6C06-21D1-47DA-A997-EB7574FB104A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d41321dcd06c500928d412495d504ca366f01cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1093371,"id":"Q1093371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$13436B59-1D62-4239-82EA-E23314402F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a687a410410024642a96f9db20b85de5897e8f26","datavalue":{"value":{"entity-type":"item","numeric-id":3997287,"id":"Q3997287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$AEFEA297-9794-4F31-8DD7-539E9FCD1885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b33d1a8aa6eb970faaab6bbd54939aa2365c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1210757,"id":"Q1210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$3D5EC3B2-8E29-4490-A3C9-E4BE7A0CF3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$2AC7F577-13D8-4E3A-AE1E-FB0163ECC6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9df03a59df4dd5bd6b1e9f7f562a6de5d8fe8","datavalue":{"value":{"entity-type":"item","numeric-id":5636307,"id":"Q5636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$ED7E203A-FD13-40EE-A4CB-044470D98233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b943b497557fbadd06dadccede7f3ee2e4029b37","datavalue":{"value":{"entity-type":"item","numeric-id":4766044,"id":"Q4766044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$277FD33A-B8D7-4A6D-B823-A49EC4728034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$CAEDF70E-5F46-431D-8727-E973CA333939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$F65C2139-5026-4482-997D-E4877D8B73BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c35efdedf31f460ef4d0153d0733fb5fa9f7c5","datavalue":{"value":{"entity-type":"item","numeric-id":761042,"id":"Q761042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$EC22E06A-82F5-4394-9B39-ACBB247FD2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642996$3C271ABC-3118-4273-82D4-AD7B2C845435","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1914c5849a3274748b83d2c154c89b9ab5829c0e","datavalue":{"value":"10.1007/S00500-007-0153-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642996$5AD5EA44-E363-4BEB-8252-6F003E2A642A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6202d21d2e2aee24bda468747d8c1acff863bf9","datavalue":{"value":{"entity-type":"item","numeric-id":1676530,"id":"Q1676530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a647fccaca01259d2104b5a4671a037818ab40bf","datavalue":{"value":{"amount":"+0.8225000500679016","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":"Q2642996$C3D5227A-42B1-4A6D-8566-A8CEB137C264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e7a2ccd1060c599bd9713f8bb2bd987a0d10a3","datavalue":{"value":{"entity-type":"item","numeric-id":471444,"id":"Q471444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da669b74f28259d6e1efa0abeeb2793cf314d552","datavalue":{"value":{"amount":"+0.8082126975059509","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":"Q2642996$32C6D4DB-04B9-40E3-AF8A-B7B7F5DAA574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94073a6ff1d758e3b83abdfbf551359aa4e69e71","datavalue":{"value":{"entity-type":"item","numeric-id":471476,"id":"Q471476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91aa40e55d76d7e229f53e46c33ec454aa1d44ac","datavalue":{"value":{"amount":"+0.7999828457832336","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":"Q2642996$5D000405-CD9C-46E6-A662-7096A19003B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c2183fcae3d288a21639ec603e3b42fda0bcf9","datavalue":{"value":{"entity-type":"item","numeric-id":3691052,"id":"Q3691052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404c014204d6d4d939e0581488b4a7609513f2d5","datavalue":{"value":{"amount":"+0.784579336643219","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":"Q2642996$39574AE7-3967-4E3E-99D6-DE6194C33272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35582380f1cd2abc947e85fe4eb9cb72b9353816","datavalue":{"value":{"entity-type":"item","numeric-id":581432,"id":"Q581432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24bf26da64b1e93addd79f4dc2b88ec690502000","datavalue":{"value":{"amount":"+0.766789972782135","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":"Q2642996$EE6BC294-1FEA-48EE-8F23-542F2F833BF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A concrete realization of the Hoare powerdomain","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_concrete_realization_of_the_Hoare_powerdomain"}}}}}