{"entities":{"Q2631650":{"pageid":2642393,"ns":120,"title":"Item:Q2631650","lastrevid":55375216,"modified":"2026-02-17T14:44:04Z","type":"item","id":"Q2631650","labels":{"en":{"language":"en","value":"Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7055418"}},"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":"Q2631650$FA8DDF48-96C3-4FF2-AB3F-0E24E5D5A0A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a204f2f30c8692aa47667796d372d3d9ac2e8375","datavalue":{"value":{"text":"Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2631650$A7B86063-2D0A-47CF-B0EF-57ED29DE8EE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbf54ab2c7328bda3b5b67988ad156936a08af29","datavalue":{"value":{"entity-type":"item","numeric-id":2516583,"id":"Q2516583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631650$64023C8C-0737-45F7-9863-9E0C3CB07670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a110f1ed4fa3764142d6f2e9807097c2edae37","datavalue":{"value":{"entity-type":"item","numeric-id":383069,"id":"Q383069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631650$0AF366D9-FF6E-45E5-88D7-CFC90F471300","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631650$2843032D-E8C0-4FF2-9A9A-B78D52F9739C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"111bc2058e263cfb924fa49ef15bd940ed572fa3","datavalue":{"value":{"time":"+2019-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2631650$D93540FA-9248-469B-BF5C-502F81697D5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631650$ECB5D2DD-F29B-4A0C-BCB1-E0B0C354CD29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be0204b1848ed3ad9ee0fd752db596e79a3d97e0","datavalue":{"value":"7055418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631650$A397CE11-5F5D-4885-B4FC-2E0AC7436398","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e0dc6084a8727637d7b474e89df8dea9a8f711a","datavalue":{"value":"general proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631650$D0FFF9F2-40F0-4E04-BF1F-AAEC67AB1392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631650$B56C1D2F-5032-414B-94BB-7AC17BAAB4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631650$F407BB9C-E562-4F2A-A8B7-8D135FD6D6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4040a88e88e9de0246a2bfa60b7a73ba90482200","datavalue":{"value":"Prawitz's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631650$69CE58F2-27B9-435B-A53B-CE9EA1220A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631650$DC289BBC-F091-4C44-9316-7ED10F96ACA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f392ed35c5dade10cc22bb075afc9d03d77cbafa","datavalue":{"value":"logical constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631650$358E908C-994F-4619-97B2-C5B05AD0F330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631650$6B444568-7028-4638-99B4-E2CBCA0B7001","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":"Q2631650$C2CB806F-F084-4644-A002-447DD982DA7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d5616929e5f74dcc43b23cd0fe6d63f6e4eb0a6","datavalue":{"value":"https://doi.org/10.1007/s11225-018-9823-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2631650$5D625501-4FBF-4F8B-922F-1049CDB4C7A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6625184b7a2c484e09c3cee6ad351c3006164687","datavalue":{"value":"W2888307280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631650$6136BF07-EC1A-4AB4-865A-757A04C45882","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab362d897ef9457511fc472600bb5b07df97ea19","datavalue":{"value":{"entity-type":"item","numeric-id":5864206,"id":"Q5864206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631650$E8A271AA-CA5C-46B0-9E32-97876774D492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631650$CC7CAB52-A2DA-4844-9F17-1E40A82AD16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631650$49C3B556-3E05-44DE-9726-49178B1C8BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422b23e37d5b01b7246de2b30ee7616c2451b331","datavalue":{"value":{"entity-type":"item","numeric-id":5864208,"id":"Q5864208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631650$97C75985-8D84-4B57-937A-B9918EFFD2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b7b74c4c3a97d27a6a25a7f9662f779b8b7fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2516584,"id":"Q2516584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631650$70D6CCEB-1080-412C-9457-06E1B38AA592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad767dff991af4c71c957cbfeddaa7f34a0964d2","datavalue":{"value":{"entity-type":"item","numeric-id":495649,"id":"Q495649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631650$5ECD389A-4AFD-4E84-9C7A-339BF71EE069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f4af3cbe2b187fb3793274479c7d9fc1caabe7","datavalue":{"value":{"entity-type":"item","numeric-id":5224891,"id":"Q5224891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631650$801E8AA2-41F6-42AB-81C9-D280CAE7E265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631650$35EB64F9-846A-4344-9703-C4EAF636CBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631650$16D06C32-5AF0-4957-9022-66B27F3C52E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c657b2b1583bcd819ae95e03456128a443c317","datavalue":{"value":{"entity-type":"item","numeric-id":5251195,"id":"Q5251195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631650$65A146ED-9AE2-4927-9F14-6EC3D426DE19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf03a02be123d6e50a086339f4c639e2320c3ac1","datavalue":{"value":"10.1007/S11225-018-9823-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631650$863BC8D7-12A0-41AA-BCCA-9E289826604A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ebb6b573aa0b610753c12bd1fa15c44d50f035","datavalue":{"value":{"entity-type":"item","numeric-id":5864208,"id":"Q5864208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47c156c608d1820d913472436dbad86f420ebb1","datavalue":{"value":{"amount":"+0.8345124125480652","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":"Q2631650$CC755D36-F0DF-4ECC-A047-9E255D0928BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b4fbf39a2f0b45b048ba6bc04546c77112217f","datavalue":{"value":{"entity-type":"item","numeric-id":2516584,"id":"Q2516584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1955c3e4504d1c91f0f22e2ee4a382eaa1752d3b","datavalue":{"value":{"amount":"+0.8175197243690491","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":"Q2631650$58866496-3761-4CE3-8ED2-23C69A88A703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bda8203e90c35ad1cc66854ea0db74d933291f4","datavalue":{"value":{"entity-type":"item","numeric-id":5502819,"id":"Q5502819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8baa543093cfae3ff3382fa1a346e3c6b9fc9dc","datavalue":{"value":{"amount":"+0.7792567610740662","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":"Q2631650$6A376C51-7140-42F2-9BCE-9B1B62F8A066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f608f34a39b4ea9ad104be92d335555ed4fbc61f","datavalue":{"value":{"entity-type":"item","numeric-id":2240552,"id":"Q2240552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf6d274372070b982a10321a26da54918863b03","datavalue":{"value":{"amount":"+0.7654016613960266","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":"Q2631650$7546C2C8-02BF-403F-B9DA-8EF72569208B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b958373e2438e27311212a3abfee89b629d882e","datavalue":{"value":{"entity-type":"item","numeric-id":1882403,"id":"Q1882403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f64fd47e067dc7fe5e96d3dbc7cf3cf1feef0a","datavalue":{"value":{"amount":"+0.7596327662467957","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":"Q2631650$34CDF967-6C6C-44D3-B7DA-A2050749C302","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2631650","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2631650"}}}}}