{"entities":{"Q3705422":{"pageid":5735328,"ns":120,"title":"Item:Q3705422","lastrevid":50503823,"modified":"2026-01-14T05:43:10Z","type":"item","id":"Q3705422","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3930968"}},"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":"Q3705422$E20FF983-2322-4B97-A05C-8242C2C6F18A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac70ab3b8249b3b253bfee8e43d31e76b3e42f06","datavalue":{"value":"0582.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705422$57375C9D-5F78-4091-BE04-6B14537BCFC3","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":"Q3705422$0480B78D-6212-4346-ADEF-102F094C57B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705422$55A4598D-0653-4F33-87D6-2F657557066D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705422$AA04E3C7-5782-4623-89B4-18ACD2A67E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705422$D3A6B86A-6058-413B-AB14-947CDB6FAE7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36cd4db2a484dc252b0e808d0b252e011e0f00d9","datavalue":{"value":"3930968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705422$0ACEEEAE-495D-4A57-ABA3-020B3708A67D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3705422$4024DE4D-030C-43DC-9BAD-72DA400F0BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3705422$179EBFAD-07FE-4BBA-A59B-5A7B1F4AC63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55d953e91da5910a7c3a036b00c84b6b50fa7bdc","datavalue":{"value":"Girard-Reynolds inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3705422$02E59461-16C6-43F4-8B7A-CC599B4EF39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4027a7de15d18f517742f3614650bf73314eec16","datavalue":{"value":"semantic models of type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3705422$57861112-3C12-410D-8FA4-4DAE2C4B327B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39c657c77af2a8bca5167540c0428b8ba0de1b3","datavalue":{"value":"oracle rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3705422$CCDABA4C-8D17-4452-8F4B-49A132D4885C","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":"Q3705422$0A47076D-0B12-4943-9166-F8B7D276F5B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b176b8167565062f21e96ce0f27ba857641b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbed766eff25cbf87f877226f98cf434ba27c235","datavalue":{"value":{"amount":"+0.8361064195632935","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":"Q3705422$B209FF7B-B75D-4380-905E-DEE6A9EA5A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5290c0ccb7aa8018a2f2bf6b931e4236417232f","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc828d67b32d6fd82e6d951e69c01434dbd14624","datavalue":{"value":{"amount":"+0.7833156585693359","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":"Q3705422$B3002AC6-F133-4FAC-BE74-97EC5BEBAE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce3a08a6d629c133ffc12dc11354926d33a92305","datavalue":{"value":{"entity-type":"item","numeric-id":1322480,"id":"Q1322480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca9c791d96c37a997d086710b75dd4e5de3b38b","datavalue":{"value":{"amount":"+0.7829546332359314","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":"Q3705422$9818A999-1AFA-422B-BE4E-E40B05B8062A","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":"a2f04bf7f2ef9ee31b368826497d71d25ed4ed9d","datavalue":{"value":{"amount":"+0.7767563462257385","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":"Q3705422$3C0373E3-0FF6-498C-8D96-129D2D9F9B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2172f6c466df4d9058d3731ab04f0518150713a2","datavalue":{"value":{"entity-type":"item","numeric-id":1322476,"id":"Q1322476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93fbf769135094ac172311ef3754be3193b4a53","datavalue":{"value":{"amount":"+0.7744272351264954","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":"Q3705422$EFB06861-0A3D-4FBD-B022-A8ADD9454658","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3705422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3705422"}}}}}