{"entities":{"Q3734369":{"pageid":5764275,"ns":120,"title":"Item:Q3734369","lastrevid":50868581,"modified":"2026-01-15T12:20:08Z","type":"item","id":"Q3734369","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3966034"}},"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":"Q3734369$DA20A5E5-B6C5-4C1E-A4C1-4A6EC77C80C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a89adfb777c388968de8cc8dbf90653ad6835b1b","datavalue":{"value":"0599.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734369$909D9E9C-DEC8-4691-8BDF-DF89193256C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb74110975662118ba1e2f7c9c93d7e4e73d80b","datavalue":{"value":{"entity-type":"item","numeric-id":195357,"id":"Q195357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734369$F2DB4F2C-D744-4AE3-B672-63E1F56DBE51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3734369$E9FF41F6-1ACE-49B3-A1FB-8E50832F55E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734369$27FF4B3B-1B89-4528-8980-3142A5528965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734369$256A4355-E082-49DC-AF1B-FE8AB5F03A81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb6b86f612e213dcf17ca8e7793519ac1279a24f","datavalue":{"value":"3966034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734369$5CA1C6AB-12AA-4E87-A0DB-5FE3E1508DBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734369$E3C633FB-95F9-407C-BDF5-55E228ED87FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6722b2209aa11f991e0cccfb18f727af37bf0db0","datavalue":{"value":"propositional intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734369$F651E7E5-821B-485D-957C-E104BCBA8EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26aa66bd8c233eb4164917ce73f7f3872e2b42bb","datavalue":{"value":"infinitary conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734369$8BE76527-A220-4391-8ABE-60A1F019CE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e7b229dd42d7cae20487a86dcfc47f2c2e3515","datavalue":{"value":"finite formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734369$88CB2568-BA40-427F-B4A2-A66E521BAC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c57735369f0cb74b6d8ef6b2efb0503cb33fb4e7","datavalue":{"value":"infinite disjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734369$8BF28624-D7A4-4C3B-8577-2B85F7AA9BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e00aeea939a9ec6473e75573a17bef9bec7a6d70","datavalue":{"value":"infinitary formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734369$348D1766-D4C8-44C1-BA9C-E306EC8F2C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734369$F310E808-9C22-4E37-9623-9706165EFC58","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":"Q3734369$D0628C58-A29F-4D6D-88D3-501C35381656","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16e537dee039c65e7487b6854ebadd9fe2c66265","datavalue":{"value":{"entity-type":"item","numeric-id":1115419,"id":"Q1115419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a160087c505444b2d355d8ef8199af7226c30395","datavalue":{"value":{"amount":"+0.7339581251144409","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":"Q3734369$00BEC38B-CEDD-402D-AD4D-BCC4718B2C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29228986dbcf8ed2c578ae6f1d8029c211166fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4358053,"id":"Q4358053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2e4e89092818ea16d986cadb68f61ae4b0eeda","datavalue":{"value":{"amount":"+0.7317296266555786","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":"Q3734369$2490F2E2-C29F-42AD-89B4-4F60255DDEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8855a0abab6fbb51a92b880afe579f8aec1ba585","datavalue":{"value":{"entity-type":"item","numeric-id":4391436,"id":"Q4391436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2e4e89092818ea16d986cadb68f61ae4b0eeda","datavalue":{"value":{"amount":"+0.7317296266555786","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":"Q3734369$582ECF45-47F4-47F6-8D8E-40CD5DF71EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e703f2bb542fa3d548921ab0230928ae2de1fe","datavalue":{"value":{"entity-type":"item","numeric-id":4459601,"id":"Q4459601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25561127b91da93f3593656ccd367368b0d0e1e4","datavalue":{"value":{"amount":"+0.7257357239723206","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":"Q3734369$5E0AE603-A382-413F-B29E-31896217BA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ace344382c0894b7c150b1a283cd9cdb45b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2878747,"id":"Q2878747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2724303d33e49530f1711a39f1258839d690e5b","datavalue":{"value":{"amount":"+0.7222931385040283","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":"Q3734369$2EEE19A8-CBEA-4E83-878C-FDA7C2E6AFBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3734369","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3734369"}}}}}