{"entities":{"Q2851691":{"pageid":2862411,"ns":120,"title":"Item:Q2851691","lastrevid":58026183,"modified":"2026-04-03T12:23:01Z","type":"item","id":"Q2851691","labels":{"en":{"language":"en","value":"A semantics of realisability for the classical propositional natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213335"}},"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":"Q2851691$F017458E-0ABE-4302-ABCD-08B59EB79050","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27a1b95ed0814d3eed7579d1250525d468c8e3c5","datavalue":{"value":"1272.03152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851691$DB25C904-D9B3-46A9-A6A8-9F45CFDFE11D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d98715daff21d7c75f3cdd719e2cf7258168bd","datavalue":{"value":{"entity-type":"item","numeric-id":732056,"id":"Q732056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851691$F5E153AA-B086-44E2-BE5F-3FDB22F4B662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851691$6CA9C2A5-B68D-486B-AE86-561B3EAEC345","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851691$7A86A6C6-8506-41FF-A538-15379E001F69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"621e2b8c7e1d3f7cde325b819f00c77cbf7eb7e1","datavalue":{"value":"https://arxiv.org/abs/0905.1555","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851691$0D7D183F-6B05-4609-9EAA-054DA726BC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3056d4b40fb25d6d5ab71e5d45057213be8636b","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105051248","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851691$2163BDFA-F0C5-410B-8D33-51C0CE8C3FC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851691$CB1D0633-8E41-4E2F-BEA4-2223EE82D0B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2237743c15aa58fed61fa5b544187e4c5fe98e58","datavalue":{"value":"6213335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851691$FA4ABE71-590E-41E3-BC85-E4F1E95A3CEB","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":"Q2851691$D6EFE18C-E3D6-417B-BB4A-E584A0EF3DF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6c1e78254a219ecf9fcc3b6bb6c95f87c738253","datavalue":{"value":{"text":"A semantics of realisability for the classical propositional natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851691$B985632D-F027-4112-8FF1-23F53DEB9F94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fdcddadbf3da5f3e6fd0b5fb36d0f4b317eb3a","datavalue":{"value":{"entity-type":"item","numeric-id":818927,"id":"Q818927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d17eaac1272e635df002a3571742955d856d8d9","datavalue":{"value":{"amount":"+0.7790763974189758","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":"Q2851691$74172858-DCDA-47D9-B49E-CCE1EFCD76F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2e38d64a3a45f26d240e1dd0b80ff002ee5c75","datavalue":{"value":{"entity-type":"item","numeric-id":4370352,"id":"Q4370352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73652f4813ac396f5c941cb77944d22d1a3b7f4","datavalue":{"value":{"amount":"+0.7456399202346802","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":"Q2851691$3CCC4396-6592-4EF3-8A3B-B3E463D5009A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692accb3f7a444e19c1bda74f604ab28829a7938","datavalue":{"value":{"entity-type":"item","numeric-id":3007652,"id":"Q3007652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a532eb6a5701815b4aa3a20bd99892484e434e","datavalue":{"value":{"amount":"+0.7441391348838806","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":"Q2851691$527D2BA4-AA24-4C13-97B8-DCFB4FB89406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0786f417d58cde01035ee16bc50864740cb419d1","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe47ae1fceb06d93d940c9683569a713c57b467d","datavalue":{"value":{"amount":"+0.7427129149436951","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":"Q2851691$D96FA9E1-D781-4410-978F-AA0C01AFAE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947d3efa76f4869e1353a25924768953a39b048d","datavalue":{"value":{"entity-type":"item","numeric-id":2929866,"id":"Q2929866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8990b2425ce3beb1e3987b93315340280903c3","datavalue":{"value":{"amount":"+0.742367684841156","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":"Q2851691$F8267D5B-E9E5-4A41-A0FD-191891C42327","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851691","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851691"}}}}}