{"entities":{"Q781536":{"pageid":783385,"ns":120,"title":"Item:Q781536","lastrevid":64289847,"modified":"2026-04-11T18:51:53Z","type":"item","id":"Q781536","labels":{"en":{"language":"en","value":"Ambiguous representations of semilattices, imperfect information, and predicate transformers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222152"}},"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":"Q781536$EECC7E81-ADE7-47AC-8799-53192C8496A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"747f16c0f23ce1c1d57506d0f0d5ae10ff6a1a14","datavalue":{"value":{"text":"Ambiguous representations of semilattices, imperfect information, and predicate transformers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q781536$49E1A28A-477B-4FC7-9536-5047124153A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4d87723499b10c073d879e49a22717ebcf2ad5f","datavalue":{"value":"1481.06021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781536$14EC0E31-308F-4C21-A4A3-55F6F0CA17B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec67407ced4ec9837a5b696f2ef14118b3ea1c10","datavalue":{"value":{"entity-type":"item","numeric-id":781535,"id":"Q781535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$D990F2B5-4217-427C-9E91-8FD700A0F0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da41016619febd0123b37e371a3bc8e1d7b0bb67","datavalue":{"value":{"entity-type":"item","numeric-id":392734,"id":"Q392734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$0D6FEC8C-181C-45D9-B88A-F353CEFEE9F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$05A116BD-37BB-4488-8EC3-3D1EBA8EB05D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca46e0912f6aaf36f3f8b24f45482bfccf0cefe","datavalue":{"value":{"time":"+2020-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q781536$15837833-4CFC-47D8-AD08-73AAF6FEE6A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc6bf1378a288b674833129acec3ea579172836f","datavalue":{"value":"https://arxiv.org/abs/1904.11736","type":"string"},"datatype":"url"},"type":"statement","id":"Q781536$D4538B90-12C6-4DA8-97F5-A804CB3AD63A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781536$B4AF80BF-741B-4DC9-8806-7DB3D8197AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781536$36FCC7AE-9243-4338-A62D-F5E43BC453B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34ead0a1879ccff3725115fe379bd2b1fe51e34e","datavalue":{"value":"7222152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781536$CBDB1805-312C-47F0-A0F7-1644FBA35BBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"553d2f4be75f9a5a8dd79349d2dae8f867e301b7","datavalue":{"value":"ambiguous representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q781536$41F94A27-A69C-4FEC-86DB-B341A00FA6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aea71acb7fa1c488864ff6ad74215b18bbaaa55","datavalue":{"value":"continuous semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q781536$C2C81F44-DD90-41C4-99BB-9031CDE40738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9a658187050243d3cd7447b8af07023a4fc915b","datavalue":{"value":"duality of categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q781536$D2B9AC75-4D6C-4E8D-BE3A-A9AC0A402802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40692384bbae595d1950c81a9deaedae8a939e53","datavalue":{"value":"imperfect information","type":"string"},"datatype":"string"},"type":"statement","id":"Q781536$45C4BD27-3D67-405E-9E35-0814E709E49D","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":"Q781536$D62782AC-C16E-4599-A464-119BC427A0A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1ef08ff5c7e32d7a4a48d3f7d22f0d10d9758ff","datavalue":{"value":"W2989295512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781536$B0E0DEBA-580A-4C47-BC50-D5561F5F9565","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f048f1232cdd90fa66164e6dd3d52f5efb64df","datavalue":{"value":{"entity-type":"item","numeric-id":4257592,"id":"Q4257592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$110CC164-C860-4775-BE86-21AA01ED3019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8bc78f431ccae9a857e05e249ada0d94b22ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5387443,"id":"Q5387443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$69B1A3E7-EDF3-4922-BA01-98CB48E8E9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a3815d09d256182bcf9f5cf34a359fb93d0d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4382500,"id":"Q4382500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$A0B8BD2A-B2EE-4E68-AD78-D478878F3B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$1B9B6047-B81C-46D5-B879-13CDE789030C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f68e3358e81a3bd3614bf09b64b30ac914cea6","datavalue":{"value":{"entity-type":"item","numeric-id":1426315,"id":"Q1426315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$91956CB8-4EC6-4250-9E27-97A17C256593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2252e0d4911d8949664bc26fb8c31876ba3f4db8","datavalue":{"value":{"entity-type":"item","numeric-id":4434610,"id":"Q4434610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$A88E36BE-FD40-48D3-929B-98038092DF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08d5cccd67e7b48096f57124e79de851b52f3ce8","datavalue":{"value":{"entity-type":"item","numeric-id":4218936,"id":"Q4218936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$54E22A92-77DA-4CAA-8019-28F70ABE4508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$645942CA-D2B0-4822-9E0A-560CE1AA1D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5df5f0dbf612bdc2c775cafe65c1f2430015d7","datavalue":{"value":{"entity-type":"item","numeric-id":502131,"id":"Q502131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$827CA740-294C-4B86-8050-7EA3AC55C3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d968bebaeb1707678ac6c8fc803046e1515b0a","datavalue":{"value":{"entity-type":"item","numeric-id":2643606,"id":"Q2643606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$31DA0D3E-86E8-43B8-8777-A63FE1E3CFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd8ecfcef617ad43e70c2e026d52e341d959842","datavalue":{"value":{"entity-type":"item","numeric-id":3091233,"id":"Q3091233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$0487C62F-F3B4-433F-9626-F605C48A5885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a238e507cd8b0df8ca21ae67f10d10de86d865e","datavalue":{"value":{"entity-type":"item","numeric-id":4899427,"id":"Q4899427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$72E55FE2-9140-4BA9-880A-E0631FA9C13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d825b699a95fec9fdc35c8b16c0cab8f3fe5b13","datavalue":{"value":{"entity-type":"item","numeric-id":549314,"id":"Q549314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$3F8461E1-E4EC-4A86-BC0C-2414EFDDD4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672ed2758e004bac0dc1945cb32f492799014367","datavalue":{"value":{"entity-type":"item","numeric-id":690918,"id":"Q690918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$2C91BA22-8615-4EB2-A243-9E69C6BC9E82","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":"Q781536$3CF6813D-B910-45C2-A1D4-BC87A477E626","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7931e14af0e065eccd0f0adc78947e2cb80d4a6b","datavalue":{"value":"Q126831858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781536$C9CB94CD-B92B-45E7-A3CA-E3A73167BA99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4b6e436a6614415a4b2383e676d98bf1a9fbb0b","datavalue":{"value":"10.1007/S11083-019-09508-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781536$FBC866FE-1FA9-49EC-9F16-94EE42617CFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8232556b123bc14dbb68af85989e2376e0c617","datavalue":{"value":{"entity-type":"item","numeric-id":549314,"id":"Q549314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d73984633eb21f222e78a1640fc0d01614ef0680","datavalue":{"value":{"amount":"+0.7951443791389465","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":"Q781536$CE32C987-89D8-4083-816A-292CB2135CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd62b0523d6cfacaee9acd9dc62ff6d43e0fdadb","datavalue":{"value":{"entity-type":"item","numeric-id":2224847,"id":"Q2224847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e71267cdbe96e2a5b2b72ba3b6cc0132e8b7001","datavalue":{"value":{"amount":"+0.7472371459007263","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":"Q781536$46000346-6D9A-44FA-BB2B-E1FD9773E487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa9f1a979459ce3452b4697ce20a59bfdf3a642","datavalue":{"value":{"entity-type":"item","numeric-id":896923,"id":"Q896923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d217c64f0667b5d05d4f3d085ba23ef7327c328d","datavalue":{"value":{"amount":"+0.7424473762512207","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":"Q781536$A90E0963-61A1-4531-BB07-D5A6B536F408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5521af2070b11d11b33bc432ea22ba4392c6ce9a","datavalue":{"value":{"entity-type":"item","numeric-id":2123056,"id":"Q2123056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61828950a1cd725aacef6ee7fb9e9ac466aa5ca9","datavalue":{"value":{"amount":"+0.7331563234329224","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":"Q781536$B017B7FA-9833-4C32-A4AD-8E2982FE6800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6587e412fd16e20a61164ac06fa3e0b23070fe3","datavalue":{"value":{"entity-type":"item","numeric-id":3154015,"id":"Q3154015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aba65837cc09b87d7dcad2e12634d3ca2445a06","datavalue":{"value":{"amount":"+0.7252306342124939","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":"Q781536$65E8CA12-F30B-4687-8018-EEE2E5F827B8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781536$CF2D99F3-5079-4201-BF0A-1106CC442F4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ambiguous representations of semilattices, imperfect information, and predicate transformers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ambiguous_representations_of_semilattices,_imperfect_information,_and_predicate_transformers"}}}}}