{"entities":{"Q4836058":{"pageid":6865638,"ns":120,"title":"Item:Q4836058","lastrevid":47324263,"modified":"2026-01-01T09:11:29Z","type":"item","id":"Q4836058","labels":{"en":{"language":"en","value":"A semantics of evidence for classical arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 762320"}},"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":"Q4836058$311DF342-E627-41F3-B5AE-9DEAD797A9D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f14b31ef1a04784e2949a77ec8f3b5b1e734a075","datavalue":{"value":{"text":"A semantics of evidence for classical arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4836058$1D9CA363-18B1-4649-90DE-91017FDFDCEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c18ac49e87d81e16ac6b40012663f6395220a4c","datavalue":{"value":"0829.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836058$AE47B282-0055-43C0-BC9B-A97168E9974E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6f9953c100a9d64261be09c584dac4dfb2f5d89","datavalue":{"value":"10.2307/2275524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836058$F0B4CA94-CAE8-4682-A7FF-34A4DF4CC551","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4836058$2D250787-AE3C-475A-A328-544417E82F10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4836058$910328ED-E604-49B7-919E-4A79CE91AD73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c57d92cae029ef5848a159f56fc2b8986d924bb4","datavalue":{"value":{"time":"+1996-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4836058$C1A0A2D2-4BAB-4B31-8B65-D0EAA7DE044E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836058$9D49D555-5116-4DAD-8F34-29B7D86C2C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836058$653ED7B4-6F4B-4F05-BC38-F6134E68F65E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2e26a56559185ddf7b11202c09a5e25bbf9d54b","datavalue":{"value":"762320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836058$A5720919-1261-43E2-8412-544268E726E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d504d6fe6fb3c5e9ca7a2e36a33cbb36d7dcd74","datavalue":{"value":"finitist sense","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836058$6E259705-1AFF-45F1-889F-C6F37CEE19A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117816c464c7958f447f6e07568eeff4b735729a","datavalue":{"value":"winning strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836058$6E6BF952-93AE-4D68-AA31-78DA592C4356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836058$F4475255-1A6A-4F1C-9B4D-031A310EFFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c658263258732bb052ee1fe4f0c91c8fac67ae0","datavalue":{"value":"interactive program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836058$0EF76A7E-B853-458B-8740-BB3EA72619BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836058$2B0F708D-83EA-4E48-87CB-2EFA41C12906","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":"Q4836058$E8D0B87A-8CFD-40CD-97A4-17028BA12E00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25335c98cc465e5120779371c4469e6965e0470e","datavalue":{"value":"https://doi.org/10.2307/2275524","type":"string"},"datatype":"url"},"type":"statement","id":"Q4836058$260EB35A-F8D1-4A00-85F6-37965E71A983","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87490feb0723c8771fe02fd2424054c61840724d","datavalue":{"value":"W2071289523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836058$F4776A66-661B-4B35-8DF2-0EACD853A15B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90dc26560e6d72f3585d6a43af343f06b30b2bda","datavalue":{"value":{"entity-type":"item","numeric-id":3612620,"id":"Q3612620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e0fa5de5abab698500c81ea28f29d2c4e97429","datavalue":{"value":{"amount":"+0.7807824611663818","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":"Q4836058$0A9D7A43-7306-42EC-8294-6EE3312370AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69102c7060c7b74cb78792fb6e903c574e370f4","datavalue":{"value":{"entity-type":"item","numeric-id":1360314,"id":"Q1360314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b74d360837c3105a1fb1a3a6b647c90a967355","datavalue":{"value":{"amount":"+0.7640292048454285","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":"Q4836058$E6E8A2C2-3FD6-4021-81F0-E4B733ABC281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5506ffb464f173144aa485f8bd205f69973ba98e","datavalue":{"value":{"entity-type":"item","numeric-id":3586044,"id":"Q3586044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c7007f1345cd9bf2d1c79218f3fa64603cfcd4","datavalue":{"value":{"amount":"+0.7589160203933716","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":"Q4836058$9BB78ECF-257E-41A1-A3FB-D00C75E344C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7bbf0adf031f82cc6f863de3df702ceed07595e","datavalue":{"value":{"entity-type":"item","numeric-id":4225150,"id":"Q4225150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e3c876fea410a1c657e58a1c69bbb69dbe7b05","datavalue":{"value":{"amount":"+0.7473966479301453","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":"Q4836058$ACDDC8B5-C31A-4720-8C82-4114102DFE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d1d9da2f9eb6a635204e62abc99d3c5302678e","datavalue":{"value":{"entity-type":"item","numeric-id":731893,"id":"Q731893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e3c876fea410a1c657e58a1c69bbb69dbe7b05","datavalue":{"value":{"amount":"+0.7473966479301453","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":"Q4836058$6A1A6C52-AF82-48CC-A0D9-8E006268A765","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4836058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4836058"}}}}}