{"entities":{"Q3319764":{"pageid":3330472,"ns":120,"title":"Item:Q3319764","lastrevid":45946063,"modified":"2025-12-20T20:33:07Z","type":"item","id":"Q3319764","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3850461"}},"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":"Q3319764$433FD5A7-1D4D-4E8D-ADF6-B5562FDEF1BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6662040f040118a0fa2caa4fbdead9f1b727bf03","datavalue":{"value":"0535.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3319764$C73CB5E4-5742-451C-93C4-B70154E6C2AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3319764$691C586C-DC56-4420-B767-1E665034024D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3319764$B82A29D7-B607-436A-8D7C-08F5F229134D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3319764$B267B2E3-947A-428E-91FA-B03B12C61251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3319764$4EA31F5F-77D8-4040-9489-0A0E7185A024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3319764$10D5C618-4F1D-466A-9C2C-D1961200AFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3319764$8063C117-B7C3-48E0-BA75-8AD1877BDE8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ed46d28fe7e68d8786bccf2d2817b445f5be428","datavalue":{"value":"3850461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3319764$7C330473-73A2-4232-AFAA-6DD60DA13F6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d25e98a2bc8b71348e997bf9bd35f5e589d822a","datavalue":{"value":"automated logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319764$E7F2FCCA-16D4-43B3-812F-DF636B05C834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319764$FEF82BB0-2FF7-4971-9B55-1C5D6F6D48A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b987508ea5d8e6d12bc18bfcba89ef0329680fbc","datavalue":{"value":"Edinburgh LCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319764$DF69EB3E-41F9-498B-84A5-23517B1E0914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84be346d5b2e3007dfca566cae60632b5f37519c","datavalue":{"value":"partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319764$FA05BF8C-A5EF-4D94-8945-31AB997316A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b803b214a2a03228de8a8a8379a6ccde16bed63","datavalue":{"value":"programming languages and logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319764$C173A04A-E509-4E0D-B248-5C5771A57BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"997b375bdb9500ac75bc5fbb8b4298f8f9a50284","datavalue":{"value":"PL/CV","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319764$079453A8-ED13-49B2-901D-2A92206945D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc7d5b24174ad38b89c3de5b379b8c1e77365493","datavalue":{"value":"PRL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319764$583BF618-AE6A-452E-9541-2357E72CD2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49740d11f2ca42abb2212f8e0e649aa705368dee","datavalue":{"value":"propositions-as-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319764$6BA01DD6-3459-4F0B-ACD3-E111C93F5B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35fb7bd6bfb0b6a69e6661c24e629c4c0d980377","datavalue":{"value":"strong intensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319764$16C5EE70-55DE-496D-9E33-045E85B83781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e60d418f2308ec3509f219a4504c81a685df4e2","datavalue":{"value":"design of programming logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319764$4484E05A-8458-4EF6-B8F1-69416B8E7B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319764$4A5E7855-8E19-46F1-BA60-24AB690947B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9448ccb2eff5484bc2ca7fcf076f499f6e9ae052","datavalue":{"value":"function space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319764$1912BA8F-FFF3-4B26-BFA0-79637775D409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f4279fb8c3183f0411f8d67db2d74e3d3f5f235","datavalue":{"value":"quotient types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319764$3DF8C32E-640F-4771-AEA9-8D9655B1A4F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3319764$106D4E34-49A2-4ACF-9B17-8865E6FE9C7E","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":"Q3319764$CAB8ADAA-0516-4C75-9EFB-F9BC86C660ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154ad9fb55ba712820d7e77a25c71be6c19cc462","datavalue":{"value":{"entity-type":"item","numeric-id":5186727,"id":"Q5186727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8550900687c702b342ece73642ce7dc629933d2","datavalue":{"value":{"amount":"+0.99999964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3319764$E3F43F85-4389-4F86-81E8-AA75E4E4ACA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa46556ac3bbe398609859123e15d4e9648e322","datavalue":{"value":{"entity-type":"item","numeric-id":4237644,"id":"Q4237644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0739cad2884fd6dd3f4e28ef6ed263c522014f3","datavalue":{"value":{"amount":"+0.9229557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3319764$22BE182F-22CF-4F5B-AF0A-1DEFFB509B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994abafcebf920ff08b53f01fe6fca3bc5aaf07b","datavalue":{"value":{"entity-type":"item","numeric-id":4038676,"id":"Q4038676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8728a494102d784df9f011802db190b7b617ea6a","datavalue":{"value":{"amount":"+0.92060804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3319764$52EE38C9-9889-4511-B6E3-353C657EDFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db1b5611567bb21880fed06ff83a8a0000e414b","datavalue":{"value":{"entity-type":"item","numeric-id":1173742,"id":"Q1173742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"408f36b361693ad03c1219529f4a43df96f249ac","datavalue":{"value":{"amount":"+0.90106934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3319764$8B3F12AA-12D7-4E0E-AB6B-6244248DF8BA","rank":"normal"},{"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":"40cf737378d286ec96ad73a831732d4235c0972a","datavalue":{"value":{"amount":"+0.89989316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3319764$D1BB57C6-3906-4EB9-A36C-82C4F9193374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad68797a7e76bdd9a58b01c6333b2748a09835d1","datavalue":{"value":{"entity-type":"item","numeric-id":1292399,"id":"Q1292399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623c3f0f24e696ed1cb7d015c565e1ce87f012a8","datavalue":{"value":{"amount":"+0.89949197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3319764$B2BC8630-F1D4-4FAC-9981-674372A0C728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e329d2c47b35eb3fe32137436bee30ed00e9f6","datavalue":{"value":{"entity-type":"item","numeric-id":3349960,"id":"Q3349960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5502c1de9260a6d7a92855e235f7418e27350e","datavalue":{"value":{"amount":"+0.89231515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3319764$3259B7AE-5B91-4E63-B5F1-7257F7BF66A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db50635e467389f6d90b2657eebc850585f054e","datavalue":{"value":{"entity-type":"item","numeric-id":5472008,"id":"Q5472008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f50c7f36a78209f45e94389152f062b7f99a52d","datavalue":{"value":{"amount":"+0.89187956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3319764$BF1781EA-8095-4DDB-BEB0-63873B6C3171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c356889ad391fe7e586869efdfdde6643995173","datavalue":{"value":{"entity-type":"item","numeric-id":4205440,"id":"Q4205440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d4cd95a76ce3428a90a368179125e1e08ab143","datavalue":{"value":{"amount":"+0.8897984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3319764$1FBD78DB-AC9C-4FAB-ABA7-F18FF3720535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03790fe24b59426785c969d67d458cdc9bfc999b","datavalue":{"value":{"entity-type":"item","numeric-id":1179711,"id":"Q1179711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36352ccbbe1f5baf17f970c1d8115a4713e5efd","datavalue":{"value":{"amount":"+0.8871179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3319764$B8A5A63A-9AB9-45B8-A1AA-1081BC6D973C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3319764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3319764"}}}}}