{"entities":{"Q2500819":{"pageid":2511562,"ns":120,"title":"Item:Q2500819","lastrevid":44217732,"modified":"2025-11-20T22:52:23Z","type":"item","id":"Q2500819","labels":{"en":{"language":"en","value":"Meaning approached via proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047769"}},"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":"Q2500819$DFC7BAE7-9074-439C-AC01-5B3646D13C25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdb44e038ab6340844c6cd99cd461bd68e8f019e","datavalue":{"value":{"text":"Meaning approached via proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500819$AF7E6812-5026-4C47-BEF5-0A16F517501C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a85ca4e1a611f298083a7d29f4f1ebb3fb46b7af","datavalue":{"value":"1103.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500819$B87248C1-5D9A-4951-98B5-D18AF005746E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb8e1626803f2971fce4228c956999d9d244fe7c","datavalue":{"value":{"entity-type":"item","numeric-id":383063,"id":"Q383063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500819$683B68D7-F327-4E76-BBF6-2CBF9D227CB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500819$98EBD90F-F5AB-4774-BB34-B0A0196D1B7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dbf0d064b7b30d698c2952a304e12fd601ac87c","datavalue":{"value":{"time":"+2006-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500819$6FDBA460-AF13-4496-A915-A3BF0D2529F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500819$390C4A78-75D9-4C29-825B-C8019D2AE94B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"353a5ebe97a0951fb564830b603eb308f31fb73b","datavalue":{"value":"5047769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500819$7BF8A91E-52AE-47F1-BA06-A1923E99F7B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500819$726B3F43-1283-4B03-ADC0-60A787368DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56f67f5629003da8b2560847026220fb6cbb8ace","datavalue":{"value":"meanings of logical constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500819$424CCD33-B102-4C8C-BF95-FCF8D520725A","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":"Q2500819$2B192ED0-15D4-4F94-B92F-DAF00FDEEA81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46a1b44bf661efa438aec15b737820a9fb3cf510","datavalue":{"value":"https://doi.org/10.1007/s11229-004-6295-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500819$0E5EC82C-579C-49F6-A36C-F7594A9376AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aec1f7921ca3eb30432e23f3cfd169944a94bdec","datavalue":{"value":"W1987976586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500819$E1B501D0-FBB0-4280-8725-A780BB1B67B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7c82b93dcbfa49beab905d212878d012544775","datavalue":{"value":{"entity-type":"item","numeric-id":4856189,"id":"Q4856189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500819$D7CA6957-F10C-4D6C-99D6-09B3A4132FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bd6fdad25e36998ceb580f40c70d0e0fd67a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3722468,"id":"Q3722468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500819$13236084-4270-47B3-BBD7-A7D40B29EB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86573b15240d5803ac646abc1b4964ec65f2787e","datavalue":{"value":{"entity-type":"item","numeric-id":1222646,"id":"Q1222646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500819$ED7AB814-4AC5-4FB3-A01A-6A0BB81A796C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88c93092fcf3242e25f8abaccc0ddd6eb8465007","datavalue":{"value":"10.1007/S11229-004-6295-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500819$90DDBFA2-FDA2-4A44-9290-7266F69490A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be686eeb79a3d2b669c2eb367d6d55ff0c122ff7","datavalue":{"value":{"entity-type":"item","numeric-id":4342086,"id":"Q4342086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd76e4fc59b349d71b8d575c5f6d55fa4fa8ca0","datavalue":{"value":{"amount":"+0.9016652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500819$8354D274-A448-4418-B917-0B4AAA3844D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a4563d45e45823b706979b8cbc92d4bfd780135","datavalue":{"value":{"entity-type":"item","numeric-id":3079697,"id":"Q3079697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68bc25b9ba3678cd17df660570a3f302407a77f","datavalue":{"value":{"amount":"+0.85250986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500819$69A5C553-FC1D-43B3-91A5-C7D4528AC6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b5aa1de0fc49e3388b42be4db370a8a5b8cf94c","datavalue":{"value":{"entity-type":"item","numeric-id":3437622,"id":"Q3437622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1dd121a88143849444a74cd241ec0cb422c450b","datavalue":{"value":{"amount":"+0.84582174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500819$5BFA5606-00AA-4E85-ACC5-AB8F07FFC96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f0206eee7ec92afebd05ca513872623e5a8e30","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7971243f2e63f16b167f2490e9fa101a87dc8f6","datavalue":{"value":{"amount":"+0.8454075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500819$B6D80356-D6F7-4D8B-9920-13D08B56F1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838ebf1ea5fd7663747c7a1623b66902a876538b","datavalue":{"value":{"entity-type":"item","numeric-id":3119284,"id":"Q3119284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2801484d4bee6b1fae3407c9d3a1bb81f5ba64aa","datavalue":{"value":{"amount":"+0.84195733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500819$BCBF80C2-D266-4BDE-B376-1857BB70F91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be80d684a8780dbbe3fd47a29697dafdb23dd75a","datavalue":{"value":{"entity-type":"item","numeric-id":3535127,"id":"Q3535127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2801484d4bee6b1fae3407c9d3a1bb81f5ba64aa","datavalue":{"value":{"amount":"+0.84195733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500819$5B86A0BF-0064-417E-9DB8-F6D3113A6F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b8ec2fd2af269253413bfc070417ca339fa1fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3066291,"id":"Q3066291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984c0bb4105c342330c041fb2760221849022a2d","datavalue":{"value":{"amount":"+0.83749443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500819$E7A313DC-CB76-4C19-B6E8-4138D9F02D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5bb2582b773d8298e00667b6cd492f8bbcc5a03","datavalue":{"value":{"entity-type":"item","numeric-id":4335233,"id":"Q4335233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b638169bbfc44b283e80a4269fcba7f013c29ecc","datavalue":{"value":{"amount":"+0.83677584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500819$CBCC4282-1C79-4CDF-BB69-D9716C96D4C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500819","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500819"}}}}}