{"entities":{"Q6546349":{"pageid":14157503,"ns":120,"title":"Item:Q6546349","lastrevid":57234696,"modified":"2026-03-27T14:29:50Z","type":"item","id":"Q6546349","labels":{"en":{"language":"en","value":"On some classes of formulas in S5 which are pre-complete relative to existential expressibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855722"}},"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":"Q6546349$9DFD2789-1941-45BA-AE38-B219BF3A96E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"814043817fff4d0b699a5e55fc732e54922a91dd","datavalue":{"value":{"text":"On some classes of formulas in S5 which are pre-complete relative to existential expressibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6546349$6FEC00A9-0408-4230-8821-D3509FD05D35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89c86af1ced2e2740e5d17387be596614a746714","datavalue":{"value":{"entity-type":"item","numeric-id":2926295,"id":"Q2926295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$E9FAA20D-6AEE-4AC8-982A-D1DF83D8D53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98859171cf06016ae7200e98c888953e4157dd13","datavalue":{"value":{"entity-type":"item","numeric-id":2723695,"id":"Q2723695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$07F3FA3D-1D61-4296-BF2E-233669E3B4C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e919ee3e1bff25d5819a92667748233ad0caa11","datavalue":{"value":{"entity-type":"item","numeric-id":203304,"id":"Q203304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$F8E0D6AC-1293-49D3-A563-F55C7AB2EA6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6546349$B62A5608-AF5F-4F61-94A7-BB2BCBAF2115","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546349$BCD8D8A6-8009-4CEE-8E3B-BA06FCDD1A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546349$7CE1CBED-B0A6-43E3-B1C0-B32A98A698FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"885cd721c8722be6b1234b318680883388170fda","datavalue":{"value":"7855722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546349$92BFA984-678A-4582-9EB5-DDE3DE5F9438","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546349$7F94B542-440F-46BF-9CEC-070C98CA1195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f225a2f392f0ef828fda3fbd1bf8c9cf9c3a75d","datavalue":{"value":"existential expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546349$11603099-A56A-49AC-8B27-5B25BAA2E2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77db005996e1e2e777a4bd05cda3c0a37ca794c5","datavalue":{"value":"logical calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546349$71430BAE-A2C9-4F36-A5C6-9863E7A31035","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":"Q6546349$03BC5F05-A952-49F2-94DF-5AC4BA9B5800","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f346c3d057316659343621bec931cfa0c63020","datavalue":{"value":{"entity-type":"item","numeric-id":1463929,"id":"Q1463929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$753879E3-EC76-451A-A5BC-CC32BE3392F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71a33295add0f3a050c8e80d06a58f73f338868","datavalue":{"value":{"entity-type":"item","numeric-id":3815241,"id":"Q3815241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$0A599300-2379-43E4-8687-9AE7BC39E3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6103fd366367555a33cb58084442637fef188625","datavalue":{"value":{"entity-type":"item","numeric-id":5519922,"id":"Q5519922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$9A8352D0-33FB-420F-91E7-83AF2AB21348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ecf498662db6eed7f469b35b4a05bfa6a76a1a","datavalue":{"value":{"entity-type":"item","numeric-id":4440796,"id":"Q4440796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$1A89A1AA-DFB8-4904-9B14-10C4DD0A7B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e250ba8c2b1f0ecbce7e2a3047a90fd64d76f9f4","datavalue":{"value":{"entity-type":"item","numeric-id":5804992,"id":"Q5804992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$072AA609-1DCF-4472-8036-C1D6A8E63B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"447fb134ad8d470ad7aa6193f526b20f7ece88e4","datavalue":{"value":{"entity-type":"item","numeric-id":5650671,"id":"Q5650671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$E67DD498-EA7E-4698-B049-3BDDE820E70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d5668a49f4a4426fb24403c4abf943b3c09dcb","datavalue":{"value":{"entity-type":"item","numeric-id":4023306,"id":"Q4023306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$3ACB4F15-389F-40C4-8790-9FE160095FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ee1ce5a57d9ccdc599aa6dc31bf60712069621","datavalue":{"value":{"entity-type":"item","numeric-id":3331202,"id":"Q3331202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$CB0C7327-3DA8-448F-A820-17976ACA1EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8234aef158df8ccea7b73b6f2497ce8cc52713","datavalue":{"value":{"entity-type":"item","numeric-id":5813178,"id":"Q5813178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$DC052C69-5653-4EE2-994B-B40FDE04794A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$F1C6D5F2-D02E-4119-AFA6-4393505AD4FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56cf1e217932326036e692ef30de195375385693","datavalue":{"value":"10.56415/CSJM.V31.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546349$86BE7017-C9D6-4853-87C9-DA396169DC71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a230f0bbce46385ef435a7d5dd7cc009aed961","datavalue":{"value":{"entity-type":"item","numeric-id":3691637,"id":"Q3691637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f84d865e6b8e8fe9215b37379a881bf7b17255","datavalue":{"value":{"amount":"+0.7760645151138306","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":"Q6546349$207D464C-BA7D-4D4F-A7FC-39E19EEB3D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f312afd6628f63e151df6dcd2b686bd7105c8ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4023306,"id":"Q4023306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f6f1db8ca6dac8f11a8d2bebdb26f93382ab39","datavalue":{"value":{"amount":"+0.7733809947967529","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":"Q6546349$68A4B7BC-B477-4B22-B625-7A1F2B8B457D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b66d347261d365385aa081336997732aa3ead02","datavalue":{"value":{"entity-type":"item","numeric-id":2941273,"id":"Q2941273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d1815cec9079fb7d975e05eb8db0420f871708","datavalue":{"value":{"amount":"+0.7697461247444153","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":"Q6546349$582BCFB5-6EBD-47AB-A262-01DE6EAE5416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a4cfbf2bdd7df304f983d2a951fee0630aadaf7","datavalue":{"value":{"entity-type":"item","numeric-id":4483632,"id":"Q4483632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f1cad45cb5c72b012cbc4b7a63b7524992c53c","datavalue":{"value":{"amount":"+0.7590556144714355","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":"Q6546349$99697DE5-49C9-4045-B46D-B9CF058F370A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"047202cae61ed0cf4ba2cd1e7950698aa42d0b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3491520,"id":"Q3491520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ec095c8a91ae9909c751dd5d0604911b6e48b0","datavalue":{"value":{"amount":"+0.7446810007095337","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":"Q6546349$CA5DE408-0C12-4C1E-9450-165BA0B03CB7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"601a8be25209c46f574d1c22a38bee2246bce6f6","datavalue":{"value":{"entity-type":"item","numeric-id":57078,"id":"Q57078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546349$9CBC9B16-AEEE-4CAE-9E42-697BE24205B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6546349","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6546349"}}}}}