{"entities":{"Q6075542":{"pageid":13209850,"ns":120,"title":"Item:Q6075542","lastrevid":55487158,"modified":"2026-02-17T17:31:37Z","type":"item","id":"Q6075542","labels":{"en":{"language":"en","value":"A Topological-algebraic Approach to the Compactness Theorem of Classical Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7740649"}},"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":"Q6075542$184F0E96-F1A0-40D7-A744-6FC693DC5DF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c0ed760fd5e9312788c6c5167cbba41d77ef350","datavalue":{"value":{"text":"A Topological-algebraic Approach to the Compactness Theorem of Classical Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6075542$21DC3024-A94F-45A3-A1D4-0E68614631E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adebf30acac901aad5c8f61c5cca1c88a388fd4f","datavalue":{"value":"10.21146/2074-1472-2023-29-1-147-163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075542$EF6FBBEF-A90C-4E6A-990F-790902064F0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc35c6a07c084f826d61e54989246037f335d295","datavalue":{"value":{"entity-type":"item","numeric-id":6075541,"id":"Q6075541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$9B2A70E0-AADD-46C1-B8FD-BF50594654C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"419a39ba736b850fef44044ed2847be5eb6b6cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2981227,"id":"Q2981227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$AA364725-F8C8-4A82-8C6D-8EE08F4A60C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6540147dd2ce3bd9b08bf74a14b0ebf353350e4f","datavalue":{"value":{"time":"+2023-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6075542$03C68B58-9B27-4F56-8301-4ACFE0214D4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075542$F0F10F1B-E2AC-46B3-AF1E-2CC965551FCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8783d3774ed6f61cc512ed53e70ddd74c39d8549","datavalue":{"value":"7740649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075542$6CB30A17-2140-4E18-8B76-A59AB675864A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q6075542$034DD281-75C5-413F-860A-611C729217E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6075542$E6248D9B-9D6F-4B5D-A4A3-005462123E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6075542$68FB718C-BF21-43F0-8276-66D9F137CEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb67decbbb2d76de03728d3412755cd6f00c18d8","datavalue":{"value":"stone spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6075542$9DA424B2-612D-40D9-B655-D5CDA84AC325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6075542$9E739F19-5AAE-41E4-A9E6-27DD41E6278E","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":"Q6075542$9E16954D-4C1F-47FE-9446-7E91FFBD2E1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7192c8d9db529ffabdc073362ade0e51763f79cf","datavalue":{"value":"https://doi.org/10.21146/2074-1472-2023-29-1-147-163","type":"string"},"datatype":"url"},"type":"statement","id":"Q6075542$17552FC1-6B0E-4FD4-9132-15B67AA138C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64c21fbe9c5f7361d46b5840e127b414e8ce86d3","datavalue":{"value":"W4378575783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075542$6E11E41F-9206-4B30-BDB9-2ACD904A5FC5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8bb01c50ae9b0f531bfbe8878039d0c9de3b40e8","datavalue":{"value":"Q122926474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6075542$7F17647C-1C74-49B0-99D2-6A295BF4F008","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa6f2a9bedefbb72df8af7d5546e479e493b42e1","datavalue":{"value":{"entity-type":"item","numeric-id":4091920,"id":"Q4091920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$741454CD-FFA8-4185-BF91-23707156C1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c9b9dbb41f0eba33325d63c1eb3630eeb4374a","datavalue":{"value":{"entity-type":"item","numeric-id":5806806,"id":"Q5806806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$52D13E76-514C-4DEB-AB18-072105114B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eebda60416f943a59f253a7b69692b8439eb7186","datavalue":{"value":{"entity-type":"item","numeric-id":2530300,"id":"Q2530300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$FAF81F8C-9127-44CD-A962-67F37415E09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$B5455FE5-3546-4FED-B285-5866EDA52F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1acbd186441fda642a12fcf63b07a7b0059bd44e","datavalue":{"value":{"entity-type":"item","numeric-id":3141183,"id":"Q3141183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$31939926-ADA2-40CE-8D12-C3BF954BF469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70f2ea607c531d6dd18caae6608fc0d3173fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2753193,"id":"Q2753193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$391E76E2-62F2-4A99-B873-8AFFB9339E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33cdfd0f39ec7f3580bc255833663823606aeee","datavalue":{"value":{"entity-type":"item","numeric-id":3843607,"id":"Q3843607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$E819D64E-3B45-4F4C-A4A9-51B18694A211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac42469367b6e9e88abc6b780bf2989513cd26da","datavalue":{"value":{"entity-type":"item","numeric-id":4269112,"id":"Q4269112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$57EEA396-EF58-44C2-8E8A-F33253CCF8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$73F8F981-3D17-4B2E-9307-6598FEDBAE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e3638c4423c8dc7e7eb858a1d411e9c0783d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":3590048,"id":"Q3590048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$8691785F-DCCA-4BE5-9B12-B1CB5D24B932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a438e696f7fa90196f7c2ef9e9a8d6eb8fb9c3e","datavalue":{"value":{"entity-type":"item","numeric-id":5789532,"id":"Q5789532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$C3AAB039-B935-415E-8D5C-1F8C08F7C36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6667d29690da802e41dbaa0f1f4db3280cf4b19d","datavalue":{"value":{"entity-type":"item","numeric-id":5815606,"id":"Q5815606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6075542$A6957CE3-CAEE-47B2-9952-A5D34FEFD7BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"830a540fe9b78c32bd704fb6a719a24c4af4d7d8","datavalue":{"value":{"entity-type":"item","numeric-id":4835620,"id":"Q4835620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673e9ec1557eff2ac47b52c07a3f82deb4d1de31","datavalue":{"value":{"amount":"+0.7945458292961121","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":"Q6075542$A90A33AD-707D-4C30-8FFC-EE490E36923F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a9077a5ccf882e47516554e8bdc9c91f2ac4117","datavalue":{"value":{"entity-type":"item","numeric-id":4941994,"id":"Q4941994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c69c2582e06bc83031b8fb41735384b0d1edf42","datavalue":{"value":{"amount":"+0.7648873925209045","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":"Q6075542$E2B59AEF-7D41-4A2C-B2C9-422E941D3228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc0fd18a2fc9395dd7cec3ec92696badb0087d2","datavalue":{"value":{"entity-type":"item","numeric-id":2976380,"id":"Q2976380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b4a124c86c786960bf5de172099ba1496b7376","datavalue":{"value":{"amount":"+0.7460663318634033","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":"Q6075542$C4FCD301-2EF8-4D88-A686-719BA8643FEC","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":"df5270681ac6478a821672d307720ed151e1d665","datavalue":{"value":{"amount":"+0.7416553497314453","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":"Q6075542$FE28B72D-9E43-4109-8A51-81F738EC7CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4737be7fd25388351bea59e5624b08ba2bb3a599","datavalue":{"value":{"entity-type":"item","numeric-id":4212239,"id":"Q4212239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd7c584ed8c53b7a1c243b6b61b9a434b66351d","datavalue":{"value":{"amount":"+0.74110347032547","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":"Q6075542$05841C16-D73C-4CF6-A4EC-7BE2E748CF70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6075542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6075542"}}}}}