{"entities":{"Q2994493":{"pageid":3005217,"ns":120,"title":"Item:Q2994493","lastrevid":85878764,"modified":"2026-06-03T12:19:36Z","type":"item","id":"Q2994493","labels":{"en":{"language":"en","value":"How to brew-up a refinement ordering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6608406"}},"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":"Q2994493$2FD38A36-5C54-4F5F-BB1C-72F3490F109A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02e602da506841f1a6703be5514356ff29740299","datavalue":{"value":{"text":"How to Brew-up a Refinement Ordering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2994493$F9D7F48E-C66C-4C28-8AD9-A3ACDE67CC06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3585496bb85d1a30300a920b2a97e1092b71cc0a","datavalue":{"value":"1342.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994493$020FCAE6-E621-4EEF-BA6A-56BA11C85DDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$2B9D8E07-1D38-423A-BD0E-7A2237F4E81C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54b54adebb79dfabd07c0151545b3468c800875b","datavalue":{"value":{"time":"+2016-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2994493$F15A5D37-2F7D-4531-B979-E2F41CC38130","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994493$7282F723-ABBD-4644-A827-0ED95C3461B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994493$8456EE89-A413-43EC-B9BF-BB98BFB4BD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994493$EA7D820B-FC86-4FBC-A61A-0198D9358E96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a71d7dc1ac8975eb0f4e06fe5ca70a8427410e2a","datavalue":{"value":"6608406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994493$2318BE9F-FC38-40E4-AC57-91C6F5923DC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994493$57BA7B5B-55D5-455C-B6A2-C2F396C14AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994493$2F2F9FB2-4FF9-4D6C-B809-C86B07560E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2911b0d1a4e04de3f2d38307eb42b203c10202f7","datavalue":{"value":"ignorance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994493$832A12F8-146A-4C92-B5FC-0F9F50172BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21f107e0a5bcb1a7c1f2d0514b48eaed68584e09","datavalue":{"value":"shadow semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994493$3B56CE62-F622-44D0-BC70-1E2CBEB661F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994493$9CDB2AEE-E7E2-4391-AEFC-55F960BDCFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae67e6f5100a0d672d9a3818e0b80a283292889f","datavalue":{"value":"refinement paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994493$E385F8F3-76BE-427C-BF18-66D6C263D1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994493$81D268B9-0429-4C0F-AF64-3E92165C7157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994493$5AD31612-24D2-490B-8C43-328B32C7E867","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf440a1d97a3d3fa3fa9dbf8f55a722afca85620","datavalue":{"value":{"entity-type":"item","numeric-id":671410,"id":"Q671410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$2F0F0DFB-AA35-455D-8C15-479E35F84165","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":"Q2994493$101187D4-9A3B-4DD5-881F-040B7095F359","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96eb8c7250a57a1fca2986581d69bd99f0963095","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.12.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q2994493$C70A715D-FBB9-4D69-A50C-3761E6B45C81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1b699d8b6defa45bf34619c2883aafa339c1e97","datavalue":{"value":"W2032012825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994493$EF997E38-0741-48D5-8971-55394B086247","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$BEB2691B-D27F-4182-9A93-54268C7C7A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$A90B776C-C9A3-4AEC-8EF5-A2F425E01376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$8CEBF0F4-3FA8-486B-BB61-4E820746B641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$FF7191A7-FC57-4776-891F-C3EB44FE8E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3497625d6f2d461614cc9c9b81d227b6c8231334","datavalue":{"value":{"entity-type":"item","numeric-id":4003175,"id":"Q4003175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$215A2751-47D0-431C-A31C-1677417DB8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab27431165540664640d5aa634c6148768b5aab","datavalue":{"value":{"entity-type":"item","numeric-id":1356940,"id":"Q1356940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$BA7397BF-12DB-4BD1-85D2-6D2D7D251C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$9A81C327-160F-4173-A822-D32BEFC7F6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$292C730E-6A55-43BB-977E-4E150351A3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b762df6d7899899353ce32a9470e3db827ed0388","datavalue":{"value":{"entity-type":"item","numeric-id":3393399,"id":"Q3393399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$D22D76BE-0E91-48DA-B05F-FC808F2210DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$EA82F656-1A50-4EF9-B64B-AC92CE727B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$C2395F52-961F-4417-B8C1-972E38297990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d330c9967f580ffb498c48ddb39c9deb1547de","datavalue":{"value":{"entity-type":"item","numeric-id":5709370,"id":"Q5709370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$007A5321-70A9-4C0A-9FF2-6A0CA4D8E917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a16832655d058fb294cac06bffb86b23e4284b9","datavalue":{"value":{"entity-type":"item","numeric-id":3618832,"id":"Q3618832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$9FE8CB11-163E-4C41-9FB1-CB06CB6B8D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3632786669af8b0dc3e0bd7166aee3ee70e8ff","datavalue":{"value":{"entity-type":"item","numeric-id":923889,"id":"Q923889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$383C70E3-EE3B-428E-9959-CBFFC48789AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994493$CE739FA1-4CBC-4308-B9BD-23FAA321B8DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30c7da1191260d85322d8927e89f7a0226d924d2","datavalue":{"value":"10.1016/J.ENTCS.2009.12.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994493$82FE1544-8ACE-4F53-BF9C-5996F4456406","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14c2a9ffdbe3b908d7427834a24f16942a71da06","datavalue":{"value":{"entity-type":"item","numeric-id":432152,"id":"Q432152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7772fd6d47d243c0ddfaff8d2f93f5560a0a2b08","datavalue":{"value":{"amount":"+0.7664718627929688","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":"Q2994493$28AED7FF-6FD9-4C86-BAAD-6F79F3031B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb66111a033d377c6aed5d6eccdd1f049c9b587","datavalue":{"value":{"entity-type":"item","numeric-id":3393399,"id":"Q3393399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546d2109980bf92d8a923c971fa7af3456acc431","datavalue":{"value":{"amount":"+0.7571488618850708","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":"Q2994493$10C3CBCB-F764-487C-BBF9-3A5461E29F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bad086e39b556a6cc89e2c9a19d295a22cde668","datavalue":{"value":{"entity-type":"item","numeric-id":923889,"id":"Q923889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4605a80e78f4e3b3ce90bb34e3ce58daeb35a397","datavalue":{"value":{"amount":"+0.730963408946991","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":"Q2994493$B6A03156-A12A-42EF-B2A0-C86BBBF838FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322acd90ae348dbd8ed85bdf01c6ad5c8a3dc3d3","datavalue":{"value":{"entity-type":"item","numeric-id":4558901,"id":"Q4558901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b423fb4464153aa6d61c2e67e5be9846ff94017f","datavalue":{"value":{"amount":"+0.7135722041130066","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":"Q2994493$C182A3D2-2DB5-4606-858B-018D61D7D5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31b5038b1fce227a3ea7bb62e4ff1ac140ad69b","datavalue":{"value":{"entity-type":"item","numeric-id":5403471,"id":"Q5403471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b9e176c0ce6a860218ef0e7f3ebcf7ffd74b3d","datavalue":{"value":{"amount":"+0.7097111344337463","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":"Q2994493$C2FCC4E5-5EED-4BDE-B3F0-C420CDC50782","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to brew-up a refinement ordering","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_to_brew-up_a_refinement_ordering"}}}}}