{"entities":{"Q3757915":{"pageid":5787821,"ns":120,"title":"Item:Q3757915","lastrevid":51774959,"modified":"2026-01-19T23:31:28Z","type":"item","id":"Q3757915","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4006266"}},"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":"Q3757915$4B3BFDE3-F3B9-4900-BA26-5A15F0707B73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"399ee10c146eca98ee7c5e83cc21208886dda783","datavalue":{"value":"0621.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757915$C0F2FCDF-56AD-4525-9AA9-C260B1D6A172","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3757915$EC59A677-65C0-49EC-B5CD-AF2CBA08CD52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757915$D341EDF2-2EE3-4BC8-8850-C0AA0FDF9E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757915$D7CFE97B-5AD6-4366-B0D1-507B5DB3EDBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca2c3508bf411814c7435c91fa0048a89a3ac012","datavalue":{"value":"4006266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757915$0C5DB15C-D33C-4A64-8A53-A49E1DAA2ADA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757915$B29B3408-E481-4FFF-B43E-36C13070DC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c971c1567f0160c0bcef1db0c1d6c6136645c9f","datavalue":{"value":"type-free logical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757915$1F57A23D-7276-433E-AA9F-4F638442127F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b35dead0733550fa4286d6e82fbf697fdf5123c","datavalue":{"value":"construtive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757915$773E9B5F-4681-4CD6-9CD4-D79BA8B3B6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b18ab24112d3efadc5fd5988362b87352e2fa598","datavalue":{"value":"computer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757915$AA39BC84-7946-42AC-ABF8-DB36DC19AD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db30a59ab186bd1de9bd036d852f96617b0edad","datavalue":{"value":"Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757915$E9CE8874-0704-4C53-BCB2-1BDD3EBCE3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be040312537d7b46de6dd98789afef1b59ae9b4c","datavalue":{"value":"Turing Machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757915$5ADE338A-E4C8-4A89-AE6B-07725BE46333","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3757915$D9065735-A1C4-4F49-AB9C-8A7930FC8127","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":"Q3757915$7CAA1BB5-3D34-4E79-A80B-5610CB5F143C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bacc6d2a90af26a415d0f1e5cb1ad815d32a128","datavalue":{"value":{"entity-type":"item","numeric-id":5458392,"id":"Q5458392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4e58f9f07c788ffca0431119a30065697cf4fa","datavalue":{"value":{"amount":"+0.8244385123252869","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":"Q3757915$DEB4FD66-5DFD-412F-AF06-8567ABE24369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f686b39f6f4c02a171e536827b75af76ea5199d","datavalue":{"value":{"amount":"+0.8019462823867798","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":"Q3757915$79F22B42-1E4E-4897-B402-1656FAE38E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1dc41e6f20ecccd8590bd05e35fce12348207a8","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad49df6bc2e893f177c00c8d61f7db2cb74369c","datavalue":{"value":{"amount":"+0.7987613081932068","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":"Q3757915$D3A24AC1-C3FE-40AC-93AB-49BFB76AC748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73124ac6a3cd9c13d79448c43935324f05f53da","datavalue":{"value":{"entity-type":"item","numeric-id":3319764,"id":"Q3319764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0021120570bfaedcae0792022f415e9923d06078","datavalue":{"value":{"amount":"+0.7845737338066101","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":"Q3757915$C3C59A8F-97A0-4B44-BCE8-21EE3EE356AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5add08a5d004f50146f4311c1ba27d67f8ad1f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0a656bac9e058850b965503ae445a304964399","datavalue":{"value":{"amount":"+0.7843276262283325","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":"Q3757915$E97781D5-7290-4697-B725-32952C135622","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3757915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3757915"}}}}}