{"entities":{"Q5753923":{"pageid":7783474,"ns":120,"title":"Item:Q5753923","lastrevid":49468474,"modified":"2026-01-07T05:18:00Z","type":"item","id":"Q5753923","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189687"}},"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":"Q5753923$938189F3-B7D9-4049-BA69-393A34645242","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b699b37a713a959db4998eedf0af6ec51a08f2cf","datavalue":{"value":"0722.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753923$A5FE8324-020D-4475-AF29-81EC5D7CF8BE","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":"Q5753923$838368BD-EF14-46F4-838F-27F6E16AB11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14b89561b5e10e7465bd5745995696bca556f24c","datavalue":{"value":{"entity-type":"item","numeric-id":5753922,"id":"Q5753922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753923$F023D9A9-FCD9-44D7-B34A-EC8290B72260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5753923$18252F87-BE2C-49DF-80A5-97D588C3E207","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753923$D5F93A8A-6D68-4D89-AA48-4AF7EB9B61EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753923$9B6B1506-0A89-48CD-A4E4-BF89B702B254","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0588c40995f5626a08a761cb3033f34388ee7014","datavalue":{"value":"4189687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753923$311FF97F-69CB-4342-A88F-8CB7D3EFC7EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753923$ED18E86C-1454-4B10-B9BA-E25212E246F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdfd78f59f5e84c05b3f4e72a3d3580ab5deefea","datavalue":{"value":"extension of Church's simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753923$88E6AA7B-B6BF-409C-B36A-FE2AB079A801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4811b1526aa16eb76a6d8564023eab9278416ac","datavalue":{"value":"inductively defined types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753923$3C62FACD-0DCC-441D-8A91-AF0D807C738D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee4a540ee6fab647db2f020893179a5899b3c437","datavalue":{"value":"concrete data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753923$B7DDC783-33F2-49CD-A75B-FDDE76D49E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753923$724F9259-CA1D-4915-BF87-369A8B4ECC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faf60de12336ed89e64015e6a69e6df8c3b8e11a","datavalue":{"value":"proposition-as- types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753923$2D21EAD7-0AD2-4034-8C85-D1AACEBE66A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77af405b7377a6a9d630a8b64969045ba9037264","datavalue":{"value":"recursion operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753923$3A5CA467-EC4E-4CFA-8C90-E0F4A19A240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca349b7534ee4c6daef46219f1870f6141cd3cfb","datavalue":{"value":"induction principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753923$CE3963C2-D08C-4414-B7B5-21951E469223","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":"Q5753923$3F152841-73FE-4F05-A38B-CA85DCDB7A04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c58fbceaca79f3a9c207feec1bc23bcd1a11b3","datavalue":{"value":{"entity-type":"item","numeric-id":4470492,"id":"Q4470492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1c7a6d2d2aebc0baa5898f0d2b9a2c449daf79","datavalue":{"value":{"amount":"+0.7698981165885925","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":"Q5753923$FC9D2990-C547-4BC3-BF37-6831AA60A41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce84887953fea95566a05af0f9ca26fd3351445","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9162243ae4a7f9aadac47ce3d762f16dbfa04a6f","datavalue":{"value":{"amount":"+0.7580615282058716","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":"Q5753923$E802389B-3B66-47CE-A8B9-5973CA8ADC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8377e506182330634e2c485af866ac2976d484","datavalue":{"value":{"entity-type":"item","numeric-id":4938611,"id":"Q4938611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acaedfc9113bf9768c02adf45ec5d55c7d39d275","datavalue":{"value":{"amount":"+0.7579026818275452","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":"Q5753923$E2F914DF-AB3D-4427-92ED-AFE3A1B8E80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3774cac021645a742e372a809e398e85536093","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5152a200f862f1906231f246f72c9dd19fdc3cd2","datavalue":{"value":{"amount":"+0.757756233215332","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":"Q5753923$9F86C088-D165-4035-A6FF-76755E120336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60fcf19447e420a5e704897404d2c6dbf3929097","datavalue":{"value":{"entity-type":"item","numeric-id":4219036,"id":"Q4219036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab68d78e42d0363ee6bc56e3d8c1184a999b62c1","datavalue":{"value":{"amount":"+0.7522817850112915","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":"Q5753923$B7AC735F-F4B0-4B5D-B672-0934D247B42A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5753923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5753923"}}}}}