{"entities":{"Q4348037":{"pageid":6377636,"ns":120,"title":"Item:Q4348037","lastrevid":46479426,"modified":"2025-12-24T21:22:30Z","type":"item","id":"Q4348037","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1047956"}},"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":"Q4348037$C8582910-3E8B-4B59-AF62-122B13D820F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aafd0000d04689da77e6c70e3c44bdbfd1b5ca69","datavalue":{"value":"0874.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4348037$EE1F786A-AB9A-4232-9E23-D487360DCFB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e3301a6b980c5e366145dcc00594aa89b08fc93","datavalue":{"value":{"entity-type":"item","numeric-id":1058512,"id":"Q1058512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4348037$58B48F22-AA18-4DE4-A5A1-A1A6EED76BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd19df90689677c5397c0740db5d3f48f7a8b48","datavalue":{"value":{"entity-type":"item","numeric-id":235608,"id":"Q235608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4348037$D13D3B74-2C46-4145-87ED-3CE3E3B959C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62c8c7692fa7223a1bc40102133e79e318fde956","datavalue":{"value":{"time":"+1997-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4348037$7BFC0015-EE13-4F8C-B657-3A347EE79D91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4348037$71BA0764-B722-4F82-B3CC-8ED2C6B51283","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56e2d0a688c36e12ff5bc0c59f6565270a87c072","datavalue":{"value":"1047956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4348037$CD33012C-F80C-45AB-AEF7-AE2D56B647AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf5c837625e1da4bd98945a1fdab2c9aeee6d84","datavalue":{"value":"constructive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4348037$7845BE77-A2C6-4FB2-A408-704CCF4776F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a9d95fce86f5e5dcaaed96d7563d743f02d0d5","datavalue":{"value":"transfinite recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4348037$BB2AF4E0-18A7-4327-9F9D-874D94E94FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7e42f2183613b51a113fe2f14a93db63e27f8f5","datavalue":{"value":"parametric abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4348037$1569545F-7A1B-4F42-AB7B-55CB39D5B53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29b7838ceab3ce303fe206c91b151aba2f19a0fa","datavalue":{"value":"formation rules of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4348037$7E7EC851-B94D-4D7F-95BC-0800080D47D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb4f02c66a8e07947dc2ac8deedf0a966362a8b","datavalue":{"value":"lambda-abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4348037$D822612F-F170-42EA-8CC5-60FBBE02109F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4348037$A5EB1D8C-3536-4435-AB96-33F4DBE102C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b49de8011c74409c8025f2c5b095e87d0e231ce","datavalue":{"value":"formation rules of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4348037$6450EAE5-1300-4941-AE82-506B22BFA412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c98e6bf6e574238e57f050c552d272832804862f","datavalue":{"value":"type-forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4348037$341E8F3A-54BA-4B8B-8703-011871171470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb79406f6b138f835dd66692f05bcbac0ed8a7b5","datavalue":{"value":"term-forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4348037$DE2756F7-6828-4773-B57C-7D338630AE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b56c6fe22f40d3ddce1ddeb57526003447b66e8","datavalue":{"value":"set model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4348037$3189A31F-251C-42B7-88D0-F052F5062827","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":"Q4348037$DDBC7892-76DF-4EB1-AEA9-0B8343F2B2FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cb21b07b0d4fd438201f93c1cb7649bd6a51c82","datavalue":{"value":{"entity-type":"item","numeric-id":1130232,"id":"Q1130232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb52d6907a8399a9aeae2b1d132189ce71d3ac1","datavalue":{"value":{"amount":"+0.7390589714050293","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":"Q4348037$0B4F34F1-B6C3-4E10-810E-51DAA7732FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1e9118239c17757592d49f1be6f79893d3a883","datavalue":{"value":{"entity-type":"item","numeric-id":1173956,"id":"Q1173956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473d5aca3030662d13425b4cdf27ab50bf0c1ffd","datavalue":{"value":{"amount":"+0.7013575434684753","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":"Q4348037$5CB44B8C-6219-4E13-BFC4-09599F6E0B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53fa18ce4eb3a572213ef4e9306b903914d4c342","datavalue":{"value":{"entity-type":"item","numeric-id":4421571,"id":"Q4421571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88bd5a51eea20946ee1351513c0bd62a5f58b5b","datavalue":{"value":{"amount":"+0.6976739764213562","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":"Q4348037$4FA5241D-D87A-4169-8A1D-0131E80B2495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e178305325f768e22a7c0eb3ddced48c16407064","datavalue":{"value":{"amount":"+0.6941460371017456","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":"Q4348037$D97FC0CA-9496-4703-AC16-44B3FD06A852","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4348037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4348037"}}}}}