{"entities":{"Q1024115":{"pageid":1025963,"ns":120,"title":"Item:Q1024115","lastrevid":50680490,"modified":"2026-01-14T19:07:53Z","type":"item","id":"Q1024115","labels":{"en":{"language":"en","value":"The road to two theorems of logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5565216"}},"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":"Q1024115$D1662F10-8F99-4499-9B48-8FED307C6A07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72f027ba5b128136b390c6b16a0823807dc7e1ae","datavalue":{"value":{"text":"The road to two theorems of logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1024115$43E35F10-1E50-4974-9E78-CC6354478494","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3410804de12c9145387edde5d919f0464bfdc47","datavalue":{"value":"1171.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024115$FD41241A-86AC-40F5-AE9B-4E99FC9004B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc6e1be8090e1bf9e3724ced36f209cc459d004c","datavalue":{"value":{"entity-type":"item","numeric-id":976760,"id":"Q976760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024115$FA14D2C3-4DBB-45A1-8117-2314522B1E59","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":"Q1024115$1BBD7396-68A6-4DC7-950D-7BEF6B420E66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8df8d61f5f88fa082eccb52e10b8436e8a182238","datavalue":{"value":{"time":"+2009-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1024115$3E80D8A3-B673-4FA3-98CC-1550A3448EF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024115$FE144CB0-6688-49D0-82BA-9CF950FE5052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024115$6499EFCF-8515-4084-9CFE-385A4DE3BB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024115$0BDD0076-5E89-4C37-82F2-03F650879B13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de84188ab79f8844222aace12d853dfaae7be3c0","datavalue":{"value":"5565216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024115$D9305F14-D554-4DCE-89E0-FCB6C82A8DED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a186fe60865125c7e79cf46e3bd47c9956c52a4d","datavalue":{"value":"recursive axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024115$DE6C3311-CA03-4CC1-88AD-F250B8EFEBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"072f097d48491f09d4754ce0665129be0ad924b0","datavalue":{"value":"interpolation for first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024115$060CF89F-DB2F-4058-BA48-5AE6934EE0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18dca2fbaf92af269e817fb3847aaf5d26845916","datavalue":{"value":"Robinson's joint consistency theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024115$4B4AF1D2-D12E-48B5-B21D-227813D339E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23842afee82404dec3c81dc656b7668776852eb5","datavalue":{"value":"Beth's definability theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024115$F707E4E5-6097-4934-9B4D-7EF492B3A655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c128d8a2ce88d727232a44257855633406344d8","datavalue":{"value":"linear reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024115$7CFFB91F-1868-4A52-9E0A-79085A03DC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a32a3bb3055ee7db8af8cc023bb8a08c012ac59","datavalue":{"value":"Herbrand-Gentzen theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024115$B314237A-A6CC-4003-9058-9A50B3464B82","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":"Q1024115$CB0B364A-B494-42CD-908D-A66E4CB2C613","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29f6a0f9b1022d0b43a357ed650413982bb4a9a1","datavalue":{"value":"https://doi.org/10.1007/s11229-008-9353-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1024115$DB667D39-90D3-4E83-AB34-26713A58D1BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a13e0d7397812a67e1186799718707e754e0de2f","datavalue":{"value":"W1980769098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024115$934C0567-9F7B-4430-A57E-937CF6E5738A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7e200623c0db8babd002504b2488a3561c7266","datavalue":{"value":{"entity-type":"item","numeric-id":5824680,"id":"Q5824680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024115$4C99E359-1E78-4D06-98A1-56AA89B712C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e7e6d18f997984f5f5b65812a00928e8463f7e","datavalue":{"value":{"entity-type":"item","numeric-id":5822065,"id":"Q5822065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024115$517181F6-EE08-48F2-9316-962A992546E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024115$6B0C057C-6A6B-4D16-861D-7E83592D8E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024115$6F096F0D-31A6-444C-ADD9-01899F07E522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da81df398f051e6b7f35c37440de17b7e44edc09","datavalue":{"value":{"entity-type":"item","numeric-id":3843604,"id":"Q3843604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024115$0C6A36D6-9E3F-4733-88FF-7D250CDB4B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127a74867daa6e375f29588a1527a1dabfd9ce24","datavalue":{"value":{"entity-type":"item","numeric-id":3256312,"id":"Q3256312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024115$6BC56DCB-B954-4129-A2C2-C288F193F322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024115$9E1CE3AE-996C-4292-8B48-F86F9842D2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91445531e38627bc5ff539b12b28e2ea9323a119","datavalue":{"value":{"entity-type":"item","numeric-id":5813180,"id":"Q5813180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024115$538BB772-BE96-4252-AD5C-7018C803DFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005add2b5cc8b538d854b2643532453d11ea471e","datavalue":{"value":{"entity-type":"item","numeric-id":3240238,"id":"Q3240238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024115$61776EA7-2C3D-4D13-876C-BA236E24EB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024115$6BE1204C-56E0-462B-B1E4-937A996E4804","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6773b08ec59380f66040377d6c47c691ff62a5cd","datavalue":{"value":"10.1007/S11229-008-9353-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024115$B7ECBA94-6366-47C1-A811-74487AB07F72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0fe67ffe0bb799b199a868e0c72745c753679a","datavalue":{"value":{"entity-type":"item","numeric-id":3843604,"id":"Q3843604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d503846b59fa345642776b57d02ff978e8139e8","datavalue":{"value":{"amount":"+0.7107020616531372","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":"Q1024115$28F9EEFF-64C0-4277-A9FC-28679EDDE01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7bbd5ce78d31dee32443a513f32a0ad30a7c649","datavalue":{"value":{"entity-type":"item","numeric-id":1024116,"id":"Q1024116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d757726fba2b5b233ad053ea613e2d0623393233","datavalue":{"value":{"amount":"+0.6921767592430115","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":"Q1024115$2BCAFBF4-FA41-4668-AD27-354ECBAAA733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7ace6ef47736e664be252f70d8dfa0657e1407","datavalue":{"value":{"entity-type":"item","numeric-id":3708788,"id":"Q3708788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85dc8ecbd2d630c09175bfcf04a66eaa8fc53469","datavalue":{"value":{"amount":"+0.6909081339836121","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":"Q1024115$83B324F0-8447-42A0-9D53-522D2A9811F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44273a8ac65d435c2f40dcc447ee8e1f4de44311","datavalue":{"value":{"entity-type":"item","numeric-id":3987717,"id":"Q3987717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301326f99d8b05144fa475cd2077b6109e287ec2","datavalue":{"value":{"amount":"+0.6781896352767944","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":"Q1024115$DF7736CB-C857-4F1E-8B02-B826BB89C8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcd3bfde23d34d6b66a6ac52ce75e687ef646ae","datavalue":{"value":{"entity-type":"item","numeric-id":672461,"id":"Q672461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb754a4ffc5458307300e645ecec4adfabfb92a5","datavalue":{"value":{"amount":"+0.6781651377677917","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":"Q1024115$897AC10F-12EA-4578-8B14-9FC813EB85CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1024115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1024115"}}}}}