{"entities":{"Q4351921":{"pageid":6381520,"ns":120,"title":"Item:Q4351921","lastrevid":41842649,"modified":"2025-05-08T23:01:45Z","type":"item","id":"Q4351921","labels":{"en":{"language":"en","value":"Constructive Sheaf Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1054286"}},"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":"Q4351921$9345DE0A-48B6-419D-8F95-7A325CA82D9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"828202b9c96e3dd118fb73b10cff7f94620058e2","datavalue":{"value":{"text":"Constructive Sheaf Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4351921$E69215A0-9D42-4411-B34B-D0FF4D66D0A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d5c15994ec5ec31fa400a936119c556fab247d1","datavalue":{"value":"0934.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351921$6376EE87-6429-4A06-81E8-0C94FBD2ECB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351921$D93E6CA2-17ED-42C2-B92C-E32D74AE50E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351921$F6C0DB43-2EFC-4C07-93A0-B131EDB12018","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a66464017b31b9d8b8b905d3c7463defb00ed3f","datavalue":{"value":{"time":"+2000-04-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":"Q4351921$086979E4-94C8-4E7C-98B1-EF8E2A7457D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351921$0EEC30C3-8682-4D4A-9D6A-7520D3A95B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351921$2168D693-20F5-40A2-8DEF-103A2AF65598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351921$45F7CD81-9B82-48CC-A533-23C7E4D3320C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0ee7ce317264382861edb63c533e11ee885fc54","datavalue":{"value":"18F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351921$C24DD9C5-AEE9-4D07-A609-CF762BEE0B84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f39a89c88e1ebbe44ef06e4c008a2c6098ec8c3","datavalue":{"value":"1054286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351921$D9DC38EB-89F5-4136-A3F1-E27251E52F1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170c19aefdca1113c5e261512c40ba11f20da185","datavalue":{"value":"sheaf semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351921$35D610C3-D1D8-45DF-A96E-D7E371603F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351921$FED53177-91CA-446F-B358-3621EA5DB050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a728cb68d6b3bd1920479fe9cb7454cf6bdd924","datavalue":{"value":"provably functional relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351921$B47DB9A5-FF07-4A09-8335-27CB363DB7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351921$9D4F8C66-1053-4A0B-926E-D66D317C8F77","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":"Q4351921$7B1FF5D1-2BA6-44B4-B62A-C943135722E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00d64a810402b36d003b01a9ba61bbf8af233dee","datavalue":{"value":"https://doi.org/10.1002/malq.19970430304","type":"string"},"datatype":"url"},"type":"statement","id":"Q4351921$C6CAFC5E-CDC5-42AA-B38B-B7CE6C170BA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2d3c90ddd00a71861ac60db686eaa98e5a3affd","datavalue":{"value":"W2078368926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351921$5BE3AA8E-A670-4CC4-AFD8-5AEB6B9B38D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"344479c6fdfabaca14baa31cdbd035d071175c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4039735,"id":"Q4039735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351921$A4EA459D-E473-43B1-A79E-B546585272B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351921$336412E6-22B0-40BE-993E-01F2325B585F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351921$C71EA32A-6DA6-4293-8C0C-1F4FB6490B1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce87ca25b8b97615a4f3fdbd9a26fc5d4eb33a23","datavalue":{"value":"10.1002/MALQ.19970430304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351921$B3F71844-8108-490A-A949-F1290667DD70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33621d68dac787fcc1ba02d504c26127ba9e3323","datavalue":{"value":{"entity-type":"item","numeric-id":5084309,"id":"Q5084309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659f8b7a26736c8e3f9a19eaa8690a69be494101","datavalue":{"value":{"amount":"+0.92376554","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":"Q4351921$376053C3-B389-4676-BC93-8DF43BB5845E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ccc6b862b47cd1117d0e78ce33736d647ca29c5","datavalue":{"value":{"entity-type":"item","numeric-id":5457306,"id":"Q5457306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1609a6e3065acfe2c3e2a07d531e78bd76e8cf4","datavalue":{"value":{"amount":"+0.906395","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":"Q4351921$516CF503-ABB9-4E31-8CF1-42024D319F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7b5c8d27376780bb92f43498c8541fa86a9bcd","datavalue":{"value":{"entity-type":"item","numeric-id":4427540,"id":"Q4427540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91eef5db682054da7962d7f2a50ebdc06df93f32","datavalue":{"value":{"amount":"+0.89442706","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":"Q4351921$89A2BFE1-B020-4549-BB88-C65E1593698F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a2d7fcfdb352c8e445e61aca2b6f783f913fae","datavalue":{"value":{"entity-type":"item","numeric-id":3768897,"id":"Q3768897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0f71d30b3c9e62695c73d116d00b16ffb407f9","datavalue":{"value":{"amount":"+0.89359426","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":"Q4351921$20F5673A-7AB9-4A3B-BF91-88648476C564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b20af240e0239f303c50c8a1705937d38de2531","datavalue":{"value":{"entity-type":"item","numeric-id":6175948,"id":"Q6175948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a4dd9515d577af40925edb836850ade9a30c2e","datavalue":{"value":{"amount":"+0.8740327","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":"Q4351921$ACEEAA1B-C7FD-4F02-ACA2-E2B372E00572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec967a70005a405b11c3fe43e9d3e7ac652bef4a","datavalue":{"value":{"entity-type":"item","numeric-id":5014593,"id":"Q5014593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af2e2b630bad82814b57f819cc01aa6f8edd799d","datavalue":{"value":{"amount":"+0.87271214","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":"Q4351921$E2A0EF4E-E409-437B-A6A7-032B60C2F474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408d3618e601ef68ad249fb8223006b581df83a4","datavalue":{"value":{"entity-type":"item","numeric-id":938241,"id":"Q938241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b11ac303d9e7a288f4268fca09b8f2f8dc1ac2","datavalue":{"value":{"amount":"+0.8709282","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":"Q4351921$274B7C63-B143-4EB8-9414-D7D38A17AA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa98d1622017fdb4d9d5836da95a192f53f9e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":4883281,"id":"Q4883281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57437868843c0eb9721817f03bc438e0bd03c490","datavalue":{"value":{"amount":"+0.8705101","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":"Q4351921$15FA63D2-E2E9-477F-888D-BA61145867E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfbd5af7c055264d3208556ab8069687826981e8","datavalue":{"value":{"entity-type":"item","numeric-id":3816073,"id":"Q3816073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512417ae52f2dbaa98435e986e6ecb5196d9eeab","datavalue":{"value":{"amount":"+0.87017965","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":"Q4351921$D77ADD57-3E8D-41D0-9680-08B3FFFC2B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b665801a4cb51fd5c38c8b31bc0d1ca17254f523","datavalue":{"value":{"entity-type":"item","numeric-id":4464699,"id":"Q4464699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"febd0cc4160c04af8316d34c33adac932e500580","datavalue":{"value":{"amount":"+0.86687446","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":"Q4351921$2F2BEAD3-5C5E-482D-A30D-D91AE4C66058","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4351921","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4351921"}}}}}