{"entities":{"Q3334068":{"pageid":3344776,"ns":120,"title":"Item:Q3334068","lastrevid":48728263,"modified":"2026-01-05T17:43:21Z","type":"item","id":"Q3334068","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3866573"}},"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":"Q3334068$3B81BF13-24DC-408B-B3AD-6F120CBC9973","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"735cc900c8fa312894f8a47ff342ed6393d2c89e","datavalue":{"value":"0544.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334068$8B637C9E-763C-4419-819E-2FE09581EE5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5401c987bdee64f48a7678234dd037f076cd265","datavalue":{"value":{"entity-type":"item","numeric-id":3334067,"id":"Q3334067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3334068$FCD3CB38-3F07-4DA3-B833-E728012FD264","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3334068$79F89479-DEE7-43B9-8976-B44D5E02435E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334068$437D3F94-9480-4ADF-83A4-74199DC9E4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334068$142D993F-F0D7-4AAD-A7EE-7CC8A5AEC5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334068$BF1F2419-17A8-4769-8DE1-4BC42538703A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334068$797A038B-E8D8-400B-BE3A-A998CC729387","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3a835cbb9ea82bc993fa3ee7975f9a6e6047cfd","datavalue":{"value":"3866573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334068$C55E4BEB-5902-452F-8CEA-F1404CACD777","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334068$D6D61966-80A9-4229-85A9-8DA748B2D197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334068$2CF1FE50-CD92-49ED-94CD-D18B39497598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334068$FBFC1157-021F-4F97-B210-AE4254C78C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334068$E4CADE16-17BD-437B-BEB8-E8CDF9BCBA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d13df407bbf6c2f378a89199dfdde4cc3608a1c","datavalue":{"value":"logical reconstruction of the type system of Russell","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334068$FB0AECE1-7D50-403B-B0AF-0C0B9B889E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da379a88bde1864c002476b98579917d48414d30","datavalue":{"value":"type abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334068$77B90D99-98B0-425C-ACBA-F74067EBFA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334068$40F9173A-4E12-420D-B8CE-D592A54D774D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0071ff321034fda164d9f480d0156a7cbb3afe6","datavalue":{"value":"type inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334068$94441E4F-936D-43A9-850F-3DFBE3BE28F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334068$5484E4BA-9EBC-4726-B819-DEAAB0467CD3","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":"Q3334068$1F00D590-CF12-4984-8352-AA9918FE3B1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b9dd2fcce0bd85f751c07f2bd3040ca86f29b1","datavalue":{"value":{"amount":"+0.7290921211242676","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":"Q3334068$66BB5138-2BA5-48AF-8197-791029F48C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c53ad7361b49f4692a62a1eaa690d5ebe67adc","datavalue":{"value":{"entity-type":"item","numeric-id":1887432,"id":"Q1887432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d1af7d4e41ee457378acff446c273d3372f472","datavalue":{"value":{"amount":"+0.728279709815979","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":"Q3334068$F24915C7-0E37-4B0D-879C-0D997150BB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005c1bccae0486124885bc970e828d6a17fe9cc1","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c8b5f99964c3647cc34d067a831ce69745df05e","datavalue":{"value":{"amount":"+0.7277714014053345","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":"Q3334068$BC57FA49-994A-4BCE-8F2B-11E01B38E960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978891aae9ce03b1973d803156ce9403119bfa81","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a0b5f1e8cbb0c5998e686649521d1773bb6361","datavalue":{"value":{"amount":"+0.7227277755737305","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":"Q3334068$FFB01554-1E98-4586-BC87-FFD47D86353D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3745669db58dd9eb8ccd153a67b798b5ac328e94","datavalue":{"value":{"entity-type":"item","numeric-id":1208425,"id":"Q1208425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4a543f47402389d5320b9689bae70c03c81c66","datavalue":{"value":{"amount":"+0.719969630241394","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":"Q3334068$A38254E5-4006-4005-B239-86DBDB43EDD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3334068","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3334068"}}}}}