{"entities":{"Q4457452":{"pageid":6487051,"ns":120,"title":"Item:Q4457452","lastrevid":48262048,"modified":"2026-01-04T04:00:44Z","type":"item","id":"Q4457452","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2061705"}},"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":"Q4457452$7881E0CD-5DB2-4617-AFCD-B915BC9F4246","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71857c2a1baa6c99274351c61d1b9056b25fbca7","datavalue":{"value":"1052.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457452$DB5677E0-A929-4F10-B1A9-28BAD5270970","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":"Q4457452$8BB8715B-F80A-49ED-9AB9-2968E2D8A2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f09969608d8699dd0bc1cbe8a166511a2b5de6","datavalue":{"value":{"entity-type":"item","numeric-id":740483,"id":"Q740483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457452$D8EE7C0B-D3DF-4B12-B43C-B34913644367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6000c9042cf5dc90329234d0f0daa99e8c67b11","datavalue":{"value":{"entity-type":"item","numeric-id":1818635,"id":"Q1818635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457452$14A56ED0-1774-4AFB-BB1B-91FC24F2DC0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b57ef57ae5fa97e1c49fc587a6c56e70c56769","datavalue":{"value":{"time":"+2004-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4457452$B8E48310-3531-42E2-A864-5BE56031E24C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9e9b4dae87bf1adae7bdede5c27936e5ffff129","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2701/27010105.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4457452$19A93F8E-EE21-4E9E-A8F1-67EB77EE3FA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457452$7F0E21D2-418A-4A6C-B364-3C5D2741CA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457452$D3C3EE10-E78F-46A3-9584-E2AAEBF2CB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457452$137E7D62-3A0F-4C02-AEB8-DE3FF0CD9295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457452$1583E940-3CF8-4E04-BD19-8407D5FE9438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457452$D1D1EFF4-B7B2-4C79-BF94-820BD9E3DF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457452$EBCA8C9B-BC9C-4DB7-9105-CFA4682B534A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457452$B0336F52-C3AB-4734-B5DD-463291B193FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d97633dcad0995108aef262f6593e7e841567a1","datavalue":{"value":"2061705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457452$8C7CCE70-1C36-4DBF-A89A-473956DC947A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b892701cbaa959a403427ed86fbc519c8d7459","datavalue":{"value":"functional programming system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457452$74413CCE-BC89-4703-9263-CD84E32B7D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a25de608b6db137cb7827652ae6036a309aa2149","datavalue":{"value":"module-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457452$72B4BE7F-7BE6-486E-816E-572BFBC24BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e246fb0f991ce855f21dd7ca538d3646789fbe6e","datavalue":{"value":"Martin-L\u00f6f logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457452$7CF12172-33EA-42EA-B859-E0125F22A2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b11052b83d31e7216bff4c2fcb15ea6f357ed9eb","datavalue":{"value":"foundational computer algebra system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457452$4D14A851-AAC9-4045-A0C1-49A3DC711AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e54dddc7bd51e318b464e5fe1f6c1e3d49f65a","datavalue":{"value":"type-based proof (assistant) system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457452$943D1BB6-9F20-41ED-9899-EFE3D2A78C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8373f136d06d89dc169598a6d26b3fa530b9d83","datavalue":{"value":"metamathematical proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457452$FAB88804-D8D4-411E-ABB2-89CCCF9041D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457452$5F575662-1389-4E2C-9269-A89B7E6089AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457452$98A29648-04DC-435F-9654-C87E0A7AD8CE","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":"Q4457452$7E0357D4-2443-4434-BA53-69223B097498","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67350a8ce20243aea3316711c083f9c1ec239497","datavalue":{"value":{"entity-type":"item","numeric-id":4681364,"id":"Q4681364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc3e1e2efbf1fe5234f02e41a125dddf00cb9a9","datavalue":{"value":{"amount":"+0.9732378125190736","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":"Q4457452$9E6DC851-E335-4065-933E-94F09129E2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0bd52600c1ddb05f8df33fcdbd1c10177b9b09","datavalue":{"value":{"entity-type":"item","numeric-id":699688,"id":"Q699688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8247fe423b3e563643d6bcccf684ab3889c655ee","datavalue":{"value":{"amount":"+0.7975069880485535","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":"Q4457452$BA1ADA59-2E11-48FC-91B4-947E99C863D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077f6fe0b608a1e76755e2fed84c16ca5b0a0d88","datavalue":{"value":{"entity-type":"item","numeric-id":3840769,"id":"Q3840769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78916a831178052fdabd79db8ae343b28442b54","datavalue":{"value":{"amount":"+0.7697291374206543","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":"Q4457452$2E4248A6-E40F-481B-B1DC-55215D28BF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e703c12462fa3c0b4409c4b169c76db5afa7ad9a","datavalue":{"value":{"entity-type":"item","numeric-id":4500363,"id":"Q4500363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78916a831178052fdabd79db8ae343b28442b54","datavalue":{"value":{"amount":"+0.7697291374206543","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":"Q4457452$219F62D2-12E8-4FE0-9A2B-740C35D0F81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5467214381d9eb97275e6ca78397919ead761","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f9cfa0601b03d7be076907e4b243bbf939ce33c","datavalue":{"value":{"amount":"+0.7565932273864746","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":"Q4457452$677F898E-1F4C-43DA-94E7-1C83C143E221","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4457452","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4457452"}}}}}