{"entities":{"Q3795664":{"pageid":5825570,"ns":120,"title":"Item:Q3795664","lastrevid":87756449,"modified":"2026-06-04T12:35:10Z","type":"item","id":"Q3795664","labels":{"en":{"language":"en","value":"Pure Logic with Branched Quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4061216"}},"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":"Q3795664$00AFF2DE-75DA-47D6-AE51-CFEA0CFB247D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af7d0ba7225960cc3b6eae7864c3c26715a1abb0","datavalue":{"value":{"text":"Pure Logic with Branched Quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3795664$F005E896-F588-4057-8F02-DF7840EDFF3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"617485b5c624791622e863ed2b113ff95554347c","datavalue":{"value":"0651.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795664$304BB3A6-E050-4814-B318-2A73252CF740","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2169e3303ef0408889bf22a70a8a1fe32abf9c46","datavalue":{"value":{"entity-type":"item","numeric-id":598310,"id":"Q598310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3795664$FCD8CE7A-CC00-4E2F-81EA-9243BD59779B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3795664$E81280E6-15C6-4006-B565-6BC79077E171","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3795664$7D1C5D83-FA8F-4C51-9FCF-E5AD4B808FA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795664$CAD539EF-8409-436A-AEB7-9A6EFFDF85A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795664$8FB2E70C-2D2B-4050-B781-6D95D0124390","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8adb716266552c41c0bb6541342dd8d3429261af","datavalue":{"value":"4061216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795664$5984ECDC-59A6-46E8-BCB3-87CAF99E6CA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"204206a2f11fac2e164f68d9eaa80872c4d6a41b","datavalue":{"value":"Henkin quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795664$D85E93EC-014A-471E-A59A-B0F3130E22F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d71e576907ce939af27f3da1abc75e3ea584d","datavalue":{"value":"unprovability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795664$0E18D532-629B-4AAE-89E9-001A0CBC271F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795664$8FE30E11-CD74-4C1E-9D81-B85370F53A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8911919ef56fc1f9f8936811809a879b9ca24577","datavalue":{"value":"branched quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795664$0824C5A6-CA9A-459D-9EA9-EECB9C27AFF2","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":"Q3795664$CCA41CF8-C5C9-48A1-85ED-230F04BCB8D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dc3b01ab60bb3473c1421c1148b380db05002ce","datavalue":{"value":"https://doi.org/10.1002/malq.19890350106","type":"string"},"datatype":"url"},"type":"statement","id":"Q3795664$08D070D8-3F12-4AA1-87A9-BEAB72767BFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfc83bc7eb2cf38421cd70f7f1d031c3268c2554","datavalue":{"value":"W2023930298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795664$B277710C-F714-4A24-8862-9C5254E03A41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"370bc85838cd665d6cb54cd1447cbc62621670c0","datavalue":{"value":"10.1002/MALQ.19890350106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795664$ED8D1DD0-B0B6-4018-A346-3CCB60B0BAC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c5da22e36fb8a8778f9051874f1a63f4f5c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3475261,"id":"Q3475261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783dbc97b5a499d302959d0177a03409096995e8","datavalue":{"value":{"amount":"+0.7526654601097107","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":"Q3795664$C08172CF-AFBA-4ACA-BF80-16C024C01EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3cdc58bda495ea31b0e19647beba1a99f54dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3489978,"id":"Q3489978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09553b303ce97dbfc4d65e2412225a5164b8c389","datavalue":{"value":{"amount":"+0.738198459148407","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":"Q3795664$F9E04121-726C-4BE6-B0A0-5D0D61C79782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21960bbbf31b9ac04958f134836bc62cdcf36f69","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d64f7b6a46b260db96fc4e4c9316108cf5dd65","datavalue":{"value":{"amount":"+0.7282856702804565","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":"Q3795664$52164E5C-31FE-4789-BEEA-26117385F7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b07b318e98838f896cdbb2141ccb370f4a79a35","datavalue":{"value":{"entity-type":"item","numeric-id":4395573,"id":"Q4395573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f407f831ee4d8ba00801ba32a4fbcf8fb4a6c0f5","datavalue":{"value":{"amount":"+0.7263123393058777","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":"Q3795664$64549F8A-6A28-4C4F-9597-9DC9DDC9A6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65103e820561a9321c0c366efd2359a0c13391cd","datavalue":{"value":{"entity-type":"item","numeric-id":4475142,"id":"Q4475142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f54b69e325b508de544feabd67881d77afc96256","datavalue":{"value":{"amount":"+0.7251446843147278","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":"Q3795664$2E69113E-5EA6-4B29-9E43-B2FC741E884B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pure Logic with Branched Quantifiers","badges":[]}}}}}