{"entities":{"Q4527918":{"pageid":6557510,"ns":120,"title":"Item:Q4527918","lastrevid":47566249,"modified":"2026-01-02T02:31:58Z","type":"item","id":"Q4527918","labels":{"en":{"language":"en","value":"Formal topologies on the set of first-order formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1558179"}},"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":"Q4527918$2915B1E5-6DD8-40CA-A9AB-99BE5B8139BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b56db194fbb408275b3d2efd74fffa9209d47120","datavalue":{"value":{"text":"Formal topologies on the set of first-order formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4527918$64C2C9A2-56C8-47F8-8DAB-BE489EB8966D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfcec620e7590e7c22296154259a2dd3cefeb1ad","datavalue":{"value":"0965.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527918$9960A86E-6DB4-4371-A8E8-65E77BE0E6CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d430df981df1b51d86202644f3226abfedf98de","datavalue":{"value":"10.2307/2586694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527918$8A083AA5-91E4-4A10-982F-00E9B281B89A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527918$5EC71E03-DB14-4173-9932-926BD105558F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63e3841519cd2c6ee510b2ee44cf593698401e20","datavalue":{"value":{"entity-type":"item","numeric-id":4527917,"id":"Q4527917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527918$F158D188-B9F5-4BE9-8B44-284B495B413B","rank":"normal"},{"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":"Q4527918$E71030C7-FD09-4726-B873-F11616466E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7d96d2c68882294e26baabd03e0c606a357194","datavalue":{"value":{"entity-type":"item","numeric-id":800718,"id":"Q800718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527918$B73F8779-0DC6-4185-92A5-4D3CF2A54014","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":"Q4527918$5525E10C-9DD9-4562-87D0-A314D18B3F4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c9e4445ec8582c47b6a3685025b8fe8fae25749","datavalue":{"value":{"time":"+2001-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4527918$3C473F56-996E-4C70-BC8D-B0F7019A8279","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527918$C9F16770-F127-44A4-8C38-A9E41070C2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527918$FF8B64E9-7F7B-4E51-B44E-261791760085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527918$04E6FD6E-F0CB-4A67-9BF3-9C187A100E63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb96e682b7b1daff6eaba733c6a73e6ef057bf9f","datavalue":{"value":"1558179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527918$E2596CD4-0DC5-4D8E-B519-D5D176675DF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4798788d65b97e63656f02fa74a51565b0cc3d","datavalue":{"value":"formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527918$4D2061F8-F177-4BEA-BE03-B1F6731B31DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c2ca1efea5949f74987fc982225749360cb5858","datavalue":{"value":"ordered set of formulae of a first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527918$B5F60D13-A40B-4803-872C-6F8CF488A07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"725a1ce797eb1d181c5de7da99eda2dcd2da4e6d","datavalue":{"value":"formal space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527918$27938225-6A63-4103-99A8-5762E04988C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527918$76B0EBAE-D77E-4B73-8B93-2B8B85E8B2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18be04e5d01e56e001162e8a3019501d8c494c70","datavalue":{"value":"Henkin's completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527918$A89E595B-D21E-4745-B737-3C1C95EB3642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43bc3e7b55679d1164eb2feea01cbda49001ffb","datavalue":{"value":"covering relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527918$4DE73174-F168-4969-B0EB-5F874D35D5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8847abd40e015112a77495b3b4a1ff409ebb3c99","datavalue":{"value":"law of excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527918$B4BF63CA-14B9-4418-A055-F8D56C7BE317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5670a6c6d1baa39a0a64ff77e086b1c9f1694a","datavalue":{"value":"Markov's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527918$7E5045A5-0C27-45BE-838F-2AF072FCB13F","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":"Q4527918$14BB555B-7DAA-4C56-8C8E-EF7B796DA40C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67e5144b5e894cc8f51f869825860f58818c39c9","datavalue":{"value":"https://doi.org/10.2307/2586694","type":"string"},"datatype":"url"},"type":"statement","id":"Q4527918$9184E340-8D80-43E7-BFC0-EBF97515520F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32a826fbe98741c33e6ff92053d754dc8a59a9f1","datavalue":{"value":"W2061136919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527918$FFA06CCB-561F-47E8-AC1F-61847718D3D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527918$8AC270CD-A0D1-4315-81E6-667C134308B5","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":"Q4527918$F1D92543-560D-449D-AC8A-99AB224D4F9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db99d907b656dcef32e57f21c09fb52cd9c4f6e","datavalue":{"value":{"entity-type":"item","numeric-id":3481701,"id":"Q3481701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd45c2c0301480724e455bd0581533a3417cbca","datavalue":{"value":{"amount":"+0.7617234587669373","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":"Q4527918$5069F315-426C-4D8C-84ED-FC6B8F79E99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61ccc6872f92ba7a5182ef3e701fee32e51c374f","datavalue":{"value":{"entity-type":"item","numeric-id":4693262,"id":"Q4693262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6407c915f4f65ff49450dad1c5ca223c95ecf468","datavalue":{"value":{"amount":"+0.7548542022705078","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":"Q4527918$EAD5D012-2A59-4870-A2AE-0C682B4C0721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdab9eee7e2cd0c1d6dbafda6bfe3675b4b58936","datavalue":{"value":{"entity-type":"item","numeric-id":3225738,"id":"Q3225738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6407c915f4f65ff49450dad1c5ca223c95ecf468","datavalue":{"value":{"amount":"+0.7548542022705078","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":"Q4527918$18387842-5090-48F6-AF00-35BD04902E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46ec990cd9a3ce6cac4ee58ba574342be6bfc13","datavalue":{"value":{"entity-type":"item","numeric-id":651313,"id":"Q651313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e011a31472579793edabf0c5d4e9a5d645669820","datavalue":{"value":{"amount":"+0.7537732124328613","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":"Q4527918$CEBC2A10-3E5B-4C2A-B91F-14938E4B8566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae82fb8630543a150523c4f3b1469a2d756d5e8","datavalue":{"value":{"entity-type":"item","numeric-id":1765104,"id":"Q1765104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7648141d683e2ba830c138b18c374a77ec89f524","datavalue":{"value":{"amount":"+0.7429932951927185","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":"Q4527918$D4625E99-8B4E-4130-8224-C297A8B37F29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4527918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4527918"}}}}}