{"entities":{"Q4263880":{"pageid":6293481,"ns":120,"title":"Item:Q4263880","lastrevid":40778952,"modified":"2025-04-04T16:12:30Z","type":"item","id":"Q4263880","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1342289"}},"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":"Q4263880$24CC3459-7AF3-4D88-8836-6DB226229543","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36546aecb1089d2025fb759bf11bd90b944493e1","datavalue":{"value":"0931.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263880$E9001C17-EF80-4465-B455-518BD7EED2D8","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":"Q4263880$93C8004C-5DBB-420E-BA88-738FD73F2F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1266d5b12dd52276642e6566ddda642b92e88574","datavalue":{"value":{"entity-type":"item","numeric-id":740484,"id":"Q740484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263880$DD334522-744F-4C3A-B8E3-E23384063567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf8e0a1d6097cb2f9e59b0a8db1af8f459f9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1183596,"id":"Q1183596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263880$C51AEE88-881E-4E88-B228-DB95F582DA6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9064e7c5b1833d7d4b89f5a4c09b74bb0655a242","datavalue":{"value":{"time":"+2000-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263880$940EF91C-1C14-4EFC-993A-696B4C21BCB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263880$FD3353C5-933F-4410-98D1-B8E4F738CE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263880$17D8F11B-3A56-421E-9D23-46837E3ACA34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e312e5c7e131f5ad4db3d9628d8cf40a1c30cf3","datavalue":{"value":"1342289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263880$D525CA61-BA72-4861-A30A-A895CE893B3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263880$5458631F-BB52-4133-B47A-594777322102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7647829520304fc185f126f881f92329bac3a12","datavalue":{"value":"explicit environments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263880$6074F373-7C2A-482A-BAF1-3FC97917E93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052f645ca75595742d150f20ed9972514862e750","datavalue":{"value":"subject reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263880$7B351E29-F314-47D9-96BC-EB3F895F0880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263880$024C297D-F574-46DD-8687-37C1643353E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263880$A82EFAB6-970F-470F-A9EA-DAB12F6EAC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226a26eede641240926e849457ec19b837c78bc5","datavalue":{"value":"strong normalizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263880$C831F73E-95DB-47DF-BA91-04A17B2BA03D","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":"Q4263880$4B0D7226-A89F-4B93-908E-396AA460BA72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca429dbd47742ec92c71adb6b41c5eeabf1ced3","datavalue":{"value":{"entity-type":"item","numeric-id":2708319,"id":"Q2708319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50140adacfbc2c65000e2d05a222e8bc28d5c3e5","datavalue":{"value":{"amount":"+0.8801228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263880$1BDA7DEF-AF7B-4F90-85A9-51216F9C3AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16065c99a83b7b42e5f684b04ae73fe468572965","datavalue":{"value":{"entity-type":"item","numeric-id":804281,"id":"Q804281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28cb5bf8deb19e6cc770190f4251f148ee44410a","datavalue":{"value":{"amount":"+0.8231476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263880$BD0B3E04-99AF-4514-A10D-F03805D50BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1400c0f43d6cd76ce0b9a0d051df4abbd4d9d49d","datavalue":{"value":{"entity-type":"item","numeric-id":5277795,"id":"Q5277795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e8082a31418925341a4d6c82aaadd0f70948ef","datavalue":{"value":{"amount":"+0.8201022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263880$0E102420-3BAD-4098-B8C5-68927FB9F365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9665f13a3309a5759ef31dae2840404f56165693","datavalue":{"value":{"entity-type":"item","numeric-id":3820003,"id":"Q3820003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16fde215f5c69054c923ba0eb33eca7a1de7ddf7","datavalue":{"value":{"amount":"+0.8192011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263880$03475446-AF1C-4477-8C6F-D87CEB327622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1beca6599be412937569a220b3af5efe1737d073","datavalue":{"value":{"entity-type":"item","numeric-id":3318116,"id":"Q3318116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef705723ecc10c60684035b2093305554d75ff6","datavalue":{"value":{"amount":"+0.80119765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263880$172FF9CF-9433-44E1-A27C-E85A9CDFE752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adc2fafd699182e4c1602ba8fbbb9c48a05772f6","datavalue":{"value":{"entity-type":"item","numeric-id":4162667,"id":"Q4162667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d17cd52122e60e98d708e109a656b95bd81fac","datavalue":{"value":{"amount":"+0.7948599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4263880$9F68F3F8-EBDF-42D8-B4F6-16BA5022114C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263880"}}}}}