{"entities":{"Q5096212":{"pageid":7125788,"ns":120,"title":"Item:Q5096212","lastrevid":54381746,"modified":"2026-01-26T17:53:21Z","type":"item","id":"Q5096212","labels":{"en":{"language":"en","value":"Adding proof objects and inductive definition mechanisms to Frege structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571995"}},"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":"Q5096212$1BC94709-2BE7-4E15-AD2D-9BEA49A7C4FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1497f612e82d931308ce61b74725573465edf6d2","datavalue":{"value":{"text":"Adding proof objects and inductive definition mechanisms to frege structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096212$2BBE51BA-2780-456C-A24F-045D514D72EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53cc92b11f07c8db7277dd0b3d1c973ec41a8f49","datavalue":{"value":"1496.03251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096212$B3379964-35EF-45E7-972A-B48EC9FDC800","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"102161a803aec0f2df5252cc16d9c64bd7aad251","datavalue":{"value":"10.1007/3-540-54415-1_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096212$F27D32B3-9056-4335-803D-0698E274B21A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c7bc7c189daf73345f89856903f5ca6df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":235615,"id":"Q235615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096212$A56FC179-D363-48FD-99E6-684603F460EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096212$3437A78F-7812-4D77-B061-445731D22A59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-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":"Q5096212$D0D927B1-725B-49E4-BFDE-E7C796E4C20C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096212$264405BD-8C19-4E92-B0E5-C78B6192F879","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c952aef85086debd9d76b1c80a95b2975c736c90","datavalue":{"value":"7571995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096212$6742535B-FD61-4F86-A869-053B51C992FC","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":"Q5096212$6B721AF4-E5E9-468E-B617-0135EEFB865D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9691aa1f24d9821e006b7bb55db376fcdb29b55d","datavalue":{"value":"https://doi.org/10.1007/3-540-54415-1_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096212$1D873E75-7E0E-4736-9575-9CD59072DFC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"989fdc9d387ed0b6ab143a75a899b0164eb93bab","datavalue":{"value":"W1568505184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096212$01B32911-8369-4CD0-A196-719EC94F1AF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096212$B96D25E5-B4DC-47AE-BF65-E25232F45657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096212$E4813617-0BFE-4215-B541-A4403A18635A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096212$1CAC616C-F8A7-4D4E-A8E6-277878620543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77691077ff20b77b7eda50d23a7581830c291b10","datavalue":{"value":{"entity-type":"item","numeric-id":3826550,"id":"Q3826550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096212$A13F032B-26A4-4084-8195-AD64C74F2E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096212$16C8978F-04D0-4F6F-A9E0-93EA1E45155A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e8926cf4c76489d22094514896f7168cc77887","datavalue":{"value":{"entity-type":"item","numeric-id":5903814,"id":"Q5903814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096212$C401E608-2BF6-41B2-B64F-0EBD6C2AB964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947f377ca9b6bb3fda91c2ab02f06c0ede20fc8a","datavalue":{"value":{"entity-type":"item","numeric-id":1183580,"id":"Q1183580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096212$DDAED148-A113-4E26-936D-3BC6A8FB6420","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"101ce701b524b5b97399deb9c06c0089f9348dac","datavalue":{"value":{"entity-type":"item","numeric-id":1861539,"id":"Q1861539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1d54c6695ed185242ffa3d739050400c991579","datavalue":{"value":{"amount":"+0.7240897417068481","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":"Q5096212$31D599F7-8C84-49CA-8DC7-FA38906C579C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4faba0786d89aa36b28c1a840981aaa914eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":4282578,"id":"Q4282578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac7f2ad81f3a5e11752ce55b3e76db06cb73c061","datavalue":{"value":{"amount":"+0.7233737707138062","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":"Q5096212$68E18A92-E046-4ADA-A41C-2D3BC53DDD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39cd015c45a9a6ebcd59290f54b7c58ebfcb2775","datavalue":{"value":{"entity-type":"item","numeric-id":4934811,"id":"Q4934811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d102aeddcb3879ca4aac051cc0a7ba5940e7193","datavalue":{"value":{"amount":"+0.7116537690162659","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":"Q5096212$2EF88FFF-79C6-45CE-B497-34D312CAEF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e10c2cdfbf4488dfd7e4dea38b75fc72a07cc5","datavalue":{"value":{"entity-type":"item","numeric-id":1854368,"id":"Q1854368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2ac42f6d5bde59279b872b7e6361159e854b02","datavalue":{"value":{"amount":"+0.7046043872833252","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":"Q5096212$5C798E21-F150-4F1C-867B-F570C85B471A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b67401bffb23e0e9d7d269ed035ac9aecca0033","datavalue":{"value":{"entity-type":"item","numeric-id":4594249,"id":"Q4594249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2a6551cd2081bcec106890bd609eb7ac773633","datavalue":{"value":{"amount":"+0.7034947872161865","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":"Q5096212$1194C476-0333-47F6-B6E3-E17097BFEEDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096212","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096212"}}}}}