{"entities":{"Q5140119":{"pageid":7169690,"ns":120,"title":"Item:Q5140119","lastrevid":100393103,"modified":"2026-06-05T22:01:21Z","type":"item","id":"Q5140119","labels":{"en":{"language":"en","value":"A proof-theoretic semantics for parametric logical constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7285073"}},"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":"Q5140119$5BE638ED-6766-4D18-9CA8-E2AE84B6008F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9db7fdb2cabf21d544aa933c3549d01fb6a6b203","datavalue":{"value":"1471.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140119$98658EEB-24D3-4476-9584-B7DC56A6FD73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"914140c9aa2617fc4c03fca343839290696121c2","datavalue":{"value":"10.2143/LEA.247.0.3287262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140119$3DADE95D-3DE8-4D8F-A456-11F3EABBE686","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140119$0FE78E38-A070-454B-8AAB-E72A889291E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c20a4c36a7fcb7496648edd7b1f2c80441e1493b","datavalue":{"value":{"time":"+2020-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5140119$D1EB311E-5327-4FAC-A1BD-43BEE41F729E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140119$B5341F6A-6FEB-4BF5-BE2D-38786E22E379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140119$D681B0AD-309C-4738-8DB8-99DED54BD39F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6b5ef79da37b21e8a94ec21e1299634e05d5cd9","datavalue":{"value":"7285073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140119$F148E83B-4E5E-45AA-BD31-FFDD74E212BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140119$4112F01F-B69B-4BDA-8FA3-3EDAADB7F622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1de1e8287abc9e72192f0934f0ae534d8bc64bf6","datavalue":{"value":"parameterisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140119$58FA8588-AEFD-4CD9-A738-5E1BEBF85C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d8a8d8b190bd16d18f763965f03fd690a528d1","datavalue":{"value":"I/E rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140119$2E0896AF-60B0-4B52-A27E-8B8883F3CC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140119$463A2F28-55F7-42CE-A233-877CFE23FE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85674384382c1d7a338a785a96777149070f6b13","datavalue":{"value":"higher-order entities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140119$81B9D0DB-2EFD-41B1-811F-78D56D2D1778","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":"Q5140119$571515A4-67F1-46DF-A927-108238FF8AC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d86978b008b82796cc60bc471de463cb698f637","datavalue":{"value":{"entity-type":"item","numeric-id":1902289,"id":"Q1902289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ad1c2c064c301c3af86563922359625a227949","datavalue":{"value":{"amount":"+0.7168909907341003","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":"Q5140119$39451C9B-F498-4257-90F1-2C2686194497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62446039089a6951fe1ea580dfad84db7158684","datavalue":{"value":{"entity-type":"item","numeric-id":4263837,"id":"Q4263837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3498bf3eb6daf16dc049b1f95002de3a2dea4bd","datavalue":{"value":{"amount":"+0.7055948972702026","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":"Q5140119$3063042A-79E4-4347-9996-5B10C25C7299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9ea446d6b2a9a3529a8e9521e7d754bd8eb3eb","datavalue":{"value":{"entity-type":"item","numeric-id":3823786,"id":"Q3823786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b2d30084d468672b7df246fb032a63dce74db3","datavalue":{"value":{"amount":"+0.6971967816352844","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":"Q5140119$480E70F8-C8D3-4A03-897A-6796BF676A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a1cacec335c5eaf47c4156304e73c3847ca3a5","datavalue":{"value":{"entity-type":"item","numeric-id":266652,"id":"Q266652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9094cad0c49ef9919825f94164021c92db67234","datavalue":{"value":{"amount":"+0.6820721626281738","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":"Q5140119$4615C9E8-D00E-45F4-9549-A68A79F36E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c5c40b9aebb71160530df249c6fd66d313a51f","datavalue":{"value":{"entity-type":"item","numeric-id":3499800,"id":"Q3499800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a52ecbfc75dfd529f8a10832d39e647f539481","datavalue":{"value":{"amount":"+0.6775354146957397","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":"Q5140119$7BAB6FCE-A703-4F93-93CE-7E02488D958F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof-theoretic semantics for parametric logical constants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof-theoretic_semantics_for_parametric_logical_constants"}}}}}