{"entities":{"Q5137232":{"pageid":7166803,"ns":120,"title":"Item:Q5137232","lastrevid":55381540,"modified":"2026-02-17T15:02:35Z","type":"item","id":"Q5137232","labels":{"en":{"language":"en","value":"A Logic for Frege\u2019s Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7279908"}},"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":"Q5137232$96987E11-0289-40E8-83CA-2FFA7359FB44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6b1102118690297bb07cadce23d390b8693daac","datavalue":{"value":{"text":"A Logic for Frege\u2019s Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5137232$8E2EABB1-7EB2-4B77-9BE0-E843D0F7D409","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7235130cb1443153095b37a755cc0db3a4f8870","datavalue":{"value":{"entity-type":"item","numeric-id":766294,"id":"Q766294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137232$17D5E1BB-4E60-475F-9700-29CADB3E78AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"29c8350463b8b6800c6827074abe88e2798131fc","datavalue":{"value":{"entity-type":"item","numeric-id":5137230,"id":"Q5137230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137232$C67090A8-F174-4A15-A718-45F8061992BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3b6bbd4a0d1ea12fe2065959cca05fbabd2369f","datavalue":{"value":{"time":"+2020-12-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":"Q5137232$DE5D1692-ABEA-4BCC-A47A-42CAB873A754","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137232$F0999CAA-971F-4FF8-9165-9387D1F1AD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c585ff1225385df763d563765306ba256a399acd","datavalue":{"value":"01A61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137232$B50E3460-20A7-49A5-993A-76DD80E793DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137232$1EF7C3D1-395F-41B9-8B09-C25F25058446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137232$BC2742BB-6A53-4224-B272-97463D755E16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcb2607f05448119697d3fef261a5b275bf8de9f","datavalue":{"value":"7279908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137232$49AFA33C-88E0-4061-80F9-44900E4CA8F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137232$D68B7B1B-8477-421A-84BF-3050EB9E0FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8f5c8c86e4c622db812d8edb44a273e64096564","datavalue":{"value":"ancestral logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137232$376B217B-8B90-479C-AD49-983C51F2B0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f1f7a073452ca9e015eb8e3001df43b03dd5df8","datavalue":{"value":"logicism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137232$E39F76A1-2C6B-4C8A-9552-402C185A204E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10efcb0e2aef977a9c89b5e4a8ddd8161591dbfd","datavalue":{"value":"neo-logicism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137232$667BE38E-308A-4D1F-A3F8-AB0000C904B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137232$A779BC5E-F98F-4B7A-AA66-8EADD1A2D95A","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":"Q5137232$F56486D8-F073-4946-859C-639705C68F55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d6a83c55fbde29648399d029ebb495f5e33e962","datavalue":{"value":"https://doi.org/10.1093/oso/9780199278343.003.0002","type":"string"},"datatype":"url"},"type":"statement","id":"Q5137232$B7F4B209-9656-45D6-B8A9-CB910B84ED72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d93c1e7dbad881b1598a661d325a51ace2ef3eed","datavalue":{"value":"W3022062290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137232$8CBEA9C7-DB61-4264-B24A-CBB9934B65CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d967daf4633a951f1f480aef5b2885f1ac0c8263","datavalue":{"value":"10.1093/OSO/9780199278343.003.0002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137232$7B6426B2-7727-4D8E-842F-407B2A4FF5EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba1073ba032e8c233ed654db948b3b26dadf9ba","datavalue":{"value":{"entity-type":"item","numeric-id":5871286,"id":"Q5871286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84a1c2156a7afceed83a1efff14127b8c502ccb","datavalue":{"value":{"amount":"+0.784835159778595","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":"Q5137232$0D12C237-1004-40E5-A9EE-6798E32A88B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc143402140eb458c7aa0a5b0510c7a166695d8b","datavalue":{"value":{"entity-type":"item","numeric-id":2758005,"id":"Q2758005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7cc43f11c09d1f237db6494b6b055a34a4c03b","datavalue":{"value":{"amount":"+0.7840430736541748","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":"Q5137232$C8989E6D-EE9C-4209-9E1B-3F76E60F24A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daff3785ba441d2b5e7c422d020a9f3505a2c85c","datavalue":{"value":{"entity-type":"item","numeric-id":766295,"id":"Q766295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aefb09dc48e7abb63b6ef839fcab172db157d29","datavalue":{"value":{"amount":"+0.7805692553520203","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":"Q5137232$EB9F9285-A591-45A5-A8CA-884F19F3F517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5d2b5799be3f1aa0966698beba19d0eb732b98","datavalue":{"value":{"entity-type":"item","numeric-id":558436,"id":"Q558436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada98f9b964e10397fe75dc9720f457e8afec068","datavalue":{"value":{"amount":"+0.7709648013114929","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":"Q5137232$5085B72D-1CCE-4468-9A67-FAD7C279FFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee0beb42794e5d609e568e755d70cb1a4dc85fa4","datavalue":{"value":{"entity-type":"item","numeric-id":5479569,"id":"Q5479569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd904e522df6790f867b25f8795aea33d97e8720","datavalue":{"value":{"amount":"+0.7507102489471436","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":"Q5137232$EBA19B12-D9AE-403B-8F6B-08B5A8F4243A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5137232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5137232"}}}}}