{"entities":{"Q3204067":{"pageid":3214775,"ns":120,"title":"Item:Q3204067","lastrevid":49449025,"modified":"2026-01-07T04:28:28Z","type":"item","id":"Q3204067","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4180831"}},"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":"Q3204067$945AC7A0-5918-47A8-A6AE-90B51760FC17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9fb782b6763d0d65b75f34dbb6962006286e29e","datavalue":{"value":"0716.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204067$3ABEC381-759A-41B2-B086-4506CBF347E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204067$12215CAA-9584-419F-A4AF-8F86D8E07DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd65e421cdf5089f62a705995b7921eb32b8441","datavalue":{"value":{"entity-type":"item","numeric-id":610395,"id":"Q610395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204067$AB4624F5-08C7-4BC2-B391-130A7AEDF2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bfbfd1114669cfc61de475a2c16b2597ff379c","datavalue":{"value":{"entity-type":"item","numeric-id":610396,"id":"Q610396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204067$CD2D6518-0EE9-4319-BB43-455F6027175A","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":"Q3204067$88898BC7-8F6A-40A4-9C9D-4A3E06270150","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204067$1AD29A7D-EF5F-4D26-8166-7626E4EE585F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204067$447B6D3F-7E38-42EA-BC44-7EA48FC0271B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204067$4D6B7317-9B48-4BF4-BD75-9D36EE4A4EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204067$63287AA4-AA21-4C05-A740-F4571A1B9113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204067$FF8276AC-7E71-402E-AD16-09D9BED21F22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67d4af4ba91fc918b690733f4db84ec47b638fa6","datavalue":{"value":"4180831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204067$BA054BE4-E175-4C73-A3C4-010A6248243B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204067$9B312E51-836E-4F04-AC7A-CD8DE68DBA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e608bd00454dc58edc2b5ec0d036e4ed23f97e6","datavalue":{"value":"typed \\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204067$ACD755E2-42DE-4B1E-A230-9324B79D731D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ec4959d49ead7a4d2f6432537e4fe39f5856e10","datavalue":{"value":"type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204067$D41988B8-CE40-45CF-8F97-8CDEFCCF9D81","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":"Q3204067$E526C8A4-2219-4C21-95A7-76F84C06A099","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b9186db654894550d7e57d85e3b92b8a3c2cd0","datavalue":{"value":{"entity-type":"item","numeric-id":5096264,"id":"Q5096264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e608b5bff7d2324ad2ed0114258176cbebbb5c","datavalue":{"value":{"amount":"+0.8893473744392395","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":"Q3204067$3828066C-13D5-4527-AAF9-902D1CDDBAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec72963811c750fe6cf7e84d4dbc9b225ea6fed","datavalue":{"value":{"entity-type":"item","numeric-id":1326777,"id":"Q1326777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77927432ef5df3d7737d55b477c470709c8e66ed","datavalue":{"value":{"amount":"+0.8439623713493347","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":"Q3204067$78E0E93C-C89F-429C-8301-B0A15DE099C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"965ef981a88f68c9bc25d87eaf82779a309524db","datavalue":{"value":{"entity-type":"item","numeric-id":2804331,"id":"Q2804331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77927432ef5df3d7737d55b477c470709c8e66ed","datavalue":{"value":{"amount":"+0.8439623713493347","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":"Q3204067$AC676F72-2F8E-43BF-9397-C55034B57C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0474a820aa477245d719307dd6b245e63ef2e649","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ddbbfd2b8e26c031081d36c9b9861a93579c782","datavalue":{"value":{"amount":"+0.8318788409233093","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":"Q3204067$BB21D310-5C48-47D5-9883-E26D87BAAA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e60c00b0610f88e26b62d643734b7c6a33d3a9","datavalue":{"value":{"entity-type":"item","numeric-id":2890328,"id":"Q2890328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ddbbfd2b8e26c031081d36c9b9861a93579c782","datavalue":{"value":{"amount":"+0.8318788409233093","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":"Q3204067$EEF36CC0-73FD-428D-8DF3-73FA8DAC8EA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3204067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3204067"}}}}}