{"entities":{"Q4527916":{"pageid":6557508,"ns":120,"title":"Item:Q4527916","lastrevid":58257282,"modified":"2026-04-04T11:10:28Z","type":"item","id":"Q4527916","labels":{"en":{"language":"en","value":"Topological completeness for higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1558178"}},"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":"Q4527916$6933A979-6F4E-4CF8-86A2-FF1A424DA17E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1e20703d9b009f51dfec053f1971629f2fbcdc5","datavalue":{"value":{"text":"Topological completeness for higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4527916$7D4873A7-5602-4702-AE4B-E01EAF1BF88E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c91a67a4e7110289c30ca0d1562790eaed3e9c9b","datavalue":{"value":"0977.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527916$1D337B71-7A3F-4010-BC07-4B96130742D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c773bea9815f9b42a78b20faff4cabf0b9b9ec6","datavalue":{"value":"10.2307/2586693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527916$50A55D4D-933A-4BBF-A20A-3B6853C67D63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c649f5f7648e8dbc6d4f8b5caa18d974a50063e3","datavalue":{"value":{"entity-type":"item","numeric-id":386621,"id":"Q386621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527916$EA0C5143-E937-4883-A043-E11B4F993223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2009e276a9c17224dc798d13c148c747ba9f7376","datavalue":{"value":{"entity-type":"item","numeric-id":938240,"id":"Q938240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527916$853E7938-8BC1-4C5A-BE5E-247E52D21F42","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":"Q4527916$61CD0B94-95C6-4D6E-B23C-7645EDE0DCCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da1e102b79cffd268b6f68feaae2005a6fba4d8e","datavalue":{"value":{"time":"+2002-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4527916$AC872C90-BCF9-4C86-9643-9B2D42215E97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29d0c21b558e59fcc6c9c10661b92d630538085b","datavalue":{"value":"https://arxiv.org/abs/math/9707206","type":"string"},"datatype":"url"},"type":"statement","id":"Q4527916$B189C6D6-395A-40C9-B857-119F3C3941A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527916$1AAE08FB-F41C-4CD1-8AB6-02A8C779EAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527916$794ECFA4-ED39-4558-8C2A-967FB7872FA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5102f483b6f263c50907ef458a4cc2d6a85236e1","datavalue":{"value":"1558178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527916$78C1839A-3A8F-4F20-AA6A-9305B84319AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0dda40406f83b56a93dcf947b5b80d11bfaaac2","datavalue":{"value":"spatial topoi of sheaves on a topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527916$928ABE6C-3EF6-4BF9-8F82-9B16EC4B00D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"586e03df0cfc7c170e7771414f7578b48a6589e4","datavalue":{"value":"models for higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527916$FF78FA16-7EF4-4CD3-8654-9968497DE24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3770fd5b77bacdd0657ec0c57ee5d79fbc28ae6","datavalue":{"value":"topological models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527916$9D444709-ED13-4071-AE6D-6CCBAC6A316D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527916$8638A4FB-1EA8-4433-826D-2F6943AEC4AE","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":"Q4527916$807D5D38-70C4-48F9-8EC3-1C55296F8423","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71bcd20fb29ee46229d074fd6524aa367cb30b85","datavalue":{"value":"W3022591960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527916$615B85FE-F4F7-4DD0-85FB-0C99D1F3E81F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527916$0F695F77-7CDD-43FC-A8E4-076F7C521612","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed54709a6f673f644ce42b4811f4136a63885141","datavalue":{"value":{"entity-type":"item","numeric-id":3333040,"id":"Q3333040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7451b9a6319e16c177eba5fb55321826fc435317","datavalue":{"value":{"amount":"+0.8008821606636047","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":"Q4527916$408B4BE4-ABA4-4C13-AE9A-9F8F6E6E0240","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":"b9cbd0150e4c1521accd26947efd79cbd394ec15","datavalue":{"value":{"amount":"+0.7690733671188354","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":"Q4527916$B93B7F68-1D6E-484C-9D12-784095C041B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20d4cac3978e8d814d2c63483cb7723297e6084","datavalue":{"value":{"entity-type":"item","numeric-id":4729784,"id":"Q4729784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f209bd7811f9ef60a5174d4e00e1783e4fc04942","datavalue":{"value":{"amount":"+0.7644611597061157","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":"Q4527916$11657892-ECFB-4308-8EFA-3ECA5827EDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98914366900546039cf27027b13a9612b530200e","datavalue":{"value":{"entity-type":"item","numeric-id":866886,"id":"Q866886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b90be12a5c2b6edf0ff66402c1b7b8ef111b9a7","datavalue":{"value":{"amount":"+0.758197546005249","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":"Q4527916$8EFC3FD9-0356-41EB-AB60-E0467E6AD122","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":"18112b3f8f402482d8fdc92c1db7ebbb4e542a06","datavalue":{"value":{"amount":"+0.7561247944831848","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":"Q4527916$E33F7836-47BF-468E-96BF-7CBA46DF2CA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4527916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4527916"}}}}}