{"entities":{"Q4858821":{"pageid":6888401,"ns":120,"title":"Item:Q4858821","lastrevid":98154176,"modified":"2026-06-05T16:47:40Z","type":"item","id":"Q4858821","labels":{"en":{"language":"en","value":"Pretopologies and completeness proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 827470"}},"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":"Q4858821$4D324A69-2DE6-4D70-AD04-0C91E74B567F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5e7e6952478e523f0493ccb5225601ed211f546","datavalue":{"value":{"text":"Pretopologies and completeness proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4858821$213A1AE9-D7B0-4BE0-A565-E14C1A49AD8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e365c127a38fa83bf7402e1671b3e39da4b9b5f6","datavalue":{"value":"0839.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858821$D48DFE4E-F1B1-49F8-97B2-3DD36B988228","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c3f8200ef898067976073029b4e49a1ee22ccd4","datavalue":{"value":"10.2307/2275761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858821$5FD94A2C-E86C-47C8-9543-5954D4BBA79E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65528b725fe74a698d1c6a1b19d0e94ff56ea02b","datavalue":{"value":{"entity-type":"item","numeric-id":887822,"id":"Q887822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858821$EDFCFEE7-0F22-4F84-8E9C-06FFBA5E5823","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858821$93EA38C7-2A39-4700-AD1F-3B7CC7F37998","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3a04010ec8818dd2d5d372c0f971835e38fd9a","datavalue":{"value":{"time":"+1996-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4858821$BFD97A75-9605-4F11-91F7-7AA38D4F093B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858821$E12CA01C-C4FF-45B7-A0E0-4069BBDBABEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858821$037FB765-B3EC-48C2-9514-A373CAC75326","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d991aa3bc32c14cb9215e921518c0c849eadfa8","datavalue":{"value":"827470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858821$D0378C29-0E8B-4CCB-82CB-DFE7E2F6DE5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"183d54dee200340c09d9d4b210e189c5c6197098","datavalue":{"value":"first-order basic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858821$12661AB6-3BD2-4240-964E-8B11B012A1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42ab6f33505484d531d856d6a914fb164c8013e5","datavalue":{"value":"pretopology semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858821$1F02B409-DA9E-419F-B1CA-83704F4890D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858821$8EF7FB03-49D8-4703-977D-44EFF17E978D","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":"Q4858821$C07300A4-42C8-42DE-9008-B301E2A1CE27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef5528492c0be77cc0a45c6e39db54d6c9ef6791","datavalue":{"value":"https://doi.org/10.2307/2275761","type":"string"},"datatype":"url"},"type":"statement","id":"Q4858821$5B2DA6EC-BFC0-4CA7-8DBE-F857173FF71A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6ebaecc221aeb4b0c4432c9760bc7a2cd75df65","datavalue":{"value":"W2064315245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858821$C535FA07-1AB2-4A62-A300-C4F6CF996F83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858821$8882DE62-CED2-41A7-9DF9-B2A422F24267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858821$176E17AA-2ED4-45E3-883D-5D75F69BB76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858821$E751777A-2D8C-4E50-A2CA-D0B412E1C3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858821$F309BB71-D158-4749-A6FB-A78A3048797A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858821$CD160E77-7659-42C0-9606-ECD6D76F2D2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35a404df8258c1140e7607ede813eaef1068d07","datavalue":{"value":{"entity-type":"item","numeric-id":3832536,"id":"Q3832536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18de0e6453359c2e5750130f8fe4b2a2519b81ba","datavalue":{"value":{"amount":"+0.8075470328330994","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":"Q4858821$A5677B4C-ED31-4B2B-B568-8EF0363AB1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f295ae1199220bce1a4a1219214c8c7ccfc9c0","datavalue":{"value":{"entity-type":"item","numeric-id":4340929,"id":"Q4340929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57824fcf14b2a989a60f0f8fbb5047a8276a9e50","datavalue":{"value":{"amount":"+0.7620766758918762","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":"Q4858821$D0BD2615-7122-4E86-BBF5-167227CC611B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85001b2ea67fe9f9d4fd106a9623a9412dfffb87","datavalue":{"value":{"entity-type":"item","numeric-id":5419867,"id":"Q5419867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c9c066163711734755d4b22043bbfb12a77f5b","datavalue":{"value":{"amount":"+0.7620765566825867","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":"Q4858821$32F09F57-AD14-43C2-B18B-2C2CF4D50478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cfd928d1df601a42cef6343447852bc1d4c4cec","datavalue":{"value":{"entity-type":"item","numeric-id":4664251,"id":"Q4664251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c94a60ceb9f1b19b6980f9770d7aad763f47f55","datavalue":{"value":{"amount":"+0.7413530945777893","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":"Q4858821$4EF55AA9-386A-442B-9AF5-1B3A38F65F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a7713f1de1a58a39292e712074598b6652b9206","datavalue":{"value":{"entity-type":"item","numeric-id":4527918,"id":"Q4527918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f390a316dbfdeed5fd4ef48bc795b4de6bed0426","datavalue":{"value":{"amount":"+0.7321834564208984","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":"Q4858821$41780A1E-E49B-487E-AAEB-CA74B57DF14B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pretopologies and completeness proofs","badges":[]}}}}}