{"entities":{"Q3035256":{"pageid":3045972,"ns":120,"title":"Item:Q3035256","lastrevid":49350097,"modified":"2026-01-07T00:26:50Z","type":"item","id":"Q3035256","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4134007"}},"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":"Q3035256$5001A51F-D225-4C29-86F8-6A9CEE66232F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb7edf7fff9dbca98fc13e2b2a6191c6c5689a64","datavalue":{"value":"0693.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035256$6BCFBE6A-8CD8-4607-B426-0180F60028C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4865638c63c1d1664a21b2d8ce33dcbea5295601","datavalue":{"value":{"entity-type":"item","numeric-id":3035255,"id":"Q3035255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3035256$97D9F89A-BB26-4120-90F2-123A8FEC4F38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3035256$F9B48EF9-C5F6-42E3-AC35-6840505ADCC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035256$901C25CC-891D-4A43-8A1E-D85E6B4A3FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035256$6B69B16D-4BEA-48DC-883B-761B13C53517","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a428831f0fd9ee5d00ba2de51a191c0d2f7a7d80","datavalue":{"value":"4134007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3035256$A5DC74C4-FCA6-4EFE-8B22-6D679878DA22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73c9e6551c8cf423cf95c25bf53f77988bda6e39","datavalue":{"value":"finite order typed \\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3035256$744E1BF6-EFFC-4901-9B76-37E99BE0A239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3035256$E82C4B77-0203-417A-BEEE-33B5C935995F","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":"Q3035256$EF890A7E-5C88-4686-9533-28FF70588EC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ffae14a2b7ef62a9694dacc62067c7edf09e86","datavalue":{"value":{"entity-type":"item","numeric-id":3816051,"id":"Q3816051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf01f000d5aa1544dc09afd73702988f36e51a6","datavalue":{"value":{"amount":"+0.8584325313568115","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":"Q3035256$C1917193-6D67-414B-B0BE-3A98DA4D70F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc84ec90a49de0246380ec973f6cc068e06a820","datavalue":{"value":{"entity-type":"item","numeric-id":4347376,"id":"Q4347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052387ea7b4d8ef6c273c893bb742f32405e5547","datavalue":{"value":{"amount":"+0.8370690941810608","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":"Q3035256$DD5BB365-9768-4CD6-99BB-1215F8798544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653be8663f5a7e6d0c4c6a727275cb039cfeda99","datavalue":{"value":{"entity-type":"item","numeric-id":4281489,"id":"Q4281489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e78aeb55023412a9976be41126fc23f5068dde1","datavalue":{"value":{"amount":"+0.8320146203041077","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":"Q3035256$EF7223DA-9843-4D09-8F0C-DE711E3EE6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667de67404f22ec11cd1e9b6028841a513a25d06","datavalue":{"value":{"entity-type":"item","numeric-id":3142164,"id":"Q3142164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08096792608e9212f84aa49bd2a8d70b632de85b","datavalue":{"value":{"amount":"+0.8237442374229431","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":"Q3035256$4B3A6C0C-1010-480C-BA85-EF8992569546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"115c46ac8514ce898f5008eec8ad3a858457d95d","datavalue":{"value":{"entity-type":"item","numeric-id":4362924,"id":"Q4362924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e5d122eb39352e0414c0531b5c864e9c4d1e08","datavalue":{"value":{"amount":"+0.8098903894424438","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":"Q3035256$7642F706-4619-450C-833F-E62CE63E09E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3035256","badges":[]}}}}}