{"entities":{"Q4474853":{"pageid":6504452,"ns":120,"title":"Item:Q4474853","lastrevid":48298039,"modified":"2026-01-04T07:04:41Z","type":"item","id":"Q4474853","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2079040"}},"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":"Q4474853$661C0622-39F3-4879-B3FF-47CD402E010A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b8a1b65f76df6ac5579485e79828d79820d0df5","datavalue":{"value":"1044.68546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474853$48E85D31-4213-42F1-BAC4-A0CA62FBDAC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7191134f319418d58727fd4a71fc323f51bc3b02","datavalue":{"value":{"entity-type":"item","numeric-id":714619,"id":"Q714619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4474853$A4CFF66E-EF1A-42FC-8516-59231F07B8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f7a0f36664aed5fbf40f464b0ffed3f5d83ba2","datavalue":{"value":{"entity-type":"item","numeric-id":4474852,"id":"Q4474852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4474853$879705EA-0346-46A9-9869-8F88934B1173","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18a59bace40a3f0c8142c2528020a58bfd2f2e43","datavalue":{"value":{"time":"+2004-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4474853$51BED3C1-BF1D-4E63-BD81-0920B5E42A4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474853$BE1803B8-B65A-48C6-B2D5-DB622AF0C8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474853$E66D2A46-9A5B-4F68-B7F9-20210ECF342A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474853$2E4B06FC-CBD8-4E05-B484-0849B252B747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474853$F5A1CC34-EE00-4ACD-ACD8-2DE4E2C5EB58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87ccc4946ee57b6fcd539bfc752604de1afde1c9","datavalue":{"value":"2079040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474853$C7722E6B-5787-4197-862A-67BE046FDF22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccde920f3a5aec0b1c454468c170e7d18eff40f4","datavalue":{"value":"Compiler Correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4474853$43368436-7AE2-4D8E-8763-40EE64E88C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3a69caff9529d34d122696915607bb56d284c4","datavalue":{"value":"Theorem Prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4474853$B868BAF9-2696-4024-944E-F0E0FBC36E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f85b3619e5d2782fb97cd98c0c90c1ff73fa22b","datavalue":{"value":"Congruence Proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4474853$A95A305D-47E7-45DE-BA10-D40698820718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1a3663619cb240c4eb082cca3a2501902f5fb03","datavalue":{"value":"Denotational Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4474853$01C35373-682B-4848-80B8-82F6CF214CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58972cf6c07c3f44fc2a810339e004360bfc53fc","datavalue":{"value":"Lambda Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4474853$42EDAA24-09BC-4528-B0D2-0FBD53539CBE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4474853$ADE14BDE-8529-4527-BC86-A8BAE8E1D225","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":"Q4474853$77CF5533-1C9C-43DE-BEF2-DA8C9FFF05D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b1ece72b177c8cfba597efab7b2cee47054b29","datavalue":{"value":{"entity-type":"item","numeric-id":4645809,"id":"Q4645809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4099d9e5c2c73688cc44923cad6620b00b5d1938","datavalue":{"value":{"amount":"+0.8289865851402283","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":"Q4474853$7995B637-0503-4172-AE8F-83AC6AFFE06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65417b7c4d8073794042aa18b3464d8aa7dc19a2","datavalue":{"value":{"entity-type":"item","numeric-id":5255065,"id":"Q5255065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71eb046c2e6c477b535f262612c1469d6db08839","datavalue":{"value":{"amount":"+0.7755948901176453","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":"Q4474853$95999D55-4087-45B1-B3E3-855135961CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0164021b7d4aeccf155540331c1876e0e8727ab3","datavalue":{"value":{"entity-type":"item","numeric-id":3316567,"id":"Q3316567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9e5225a92af9c2735c39d28d8d303155d307d6","datavalue":{"value":{"amount":"+0.756953239440918","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":"Q4474853$E2CA5466-311B-48E5-91A9-FF8D0CEA8568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f303fd2ee7371e98ef37333d2078a5990073a498","datavalue":{"value":{"entity-type":"item","numeric-id":1744423,"id":"Q1744423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96394a5c9af0ba74aa478bb70bc34c17b1c31bbc","datavalue":{"value":{"amount":"+0.7545368075370789","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":"Q4474853$B0DC5B0B-9811-4CBE-BC8F-11182EB9F1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c43955591539e50976eb74d7dbd4932e5ad95b","datavalue":{"value":{"entity-type":"item","numeric-id":5756497,"id":"Q5756497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2e5c0ebf502ea75a4d7b1a9a353c3fb2ceb319","datavalue":{"value":{"amount":"+0.7502076029777527","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":"Q4474853$D70B81F8-79D6-4F11-82B0-ECFBCFD1B0F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4474853","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4474853"}}}}}