{"entities":{"Q3976029":{"pageid":6005926,"ns":120,"title":"Item:Q3976029","lastrevid":47053267,"modified":"2025-12-31T12:45:53Z","type":"item","id":"Q3976029","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 18625"}},"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":"Q3976029$9574EF96-F8DE-4DDA-B593-DF21CE0CC3BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5408463a03b436525e57f3e7ce05f0558f6d1c9f","datavalue":{"value":"0745.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976029$6E5729EC-3ACD-4749-86DB-9B3E8E863D5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3976029$68AEDA52-A7D1-418E-99D5-C076BB259BBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3976029$BB8C70CC-B1CA-4D20-8338-FC97F48CC2C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976029$15C7B2E8-2208-4993-A4F0-6B914EFC9940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976029$2E356444-FEA1-40A7-B3A7-5CB5271A776B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976029$326A15D3-20D6-4D46-9894-799FA91BD93D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d380e07352ecee8df45207ba6c68ed4849a0bf88","datavalue":{"value":"18625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976029$B8616532-2D30-43B4-B46C-5E1D97103D13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1ddb8604f345580a1307f51c222d9df2e30642","datavalue":{"value":"type inference problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976029$6AAC4692-3B59-4C0F-B589-3A990C159857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24ef5ba4a59e08e0aa1e9616906d7caa64f6f47b","datavalue":{"value":"polymorphic \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976029$F033ED8C-0958-4622-AADC-548CD6C5AB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976029$88EDFC5B-319C-40A8-B272-210D8E3DABF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976029$D9F2C90D-E868-4C9B-BD27-C8D350046D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0086f482dc0b62f859c14a0c4ebace3e23acdb","datavalue":{"value":"semi-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976029$44523CC0-E80C-4DB4-8F1C-0FF2AC00E87B","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":"Q3976029$8155F75D-2C1F-49C1-9398-2274F7DF1D8C","rank":"normal"}],"P1643":[{"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":"afc8e95c5b13cb3afc48be5d4effed4494efd426","datavalue":{"value":{"amount":"+0.8622542023658752","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":"Q3976029$93A58CF2-0A55-4F6F-9E0B-ACBED3944EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff30d0d30f9664fc19a9db65fe235c61fdd7274d","datavalue":{"value":{"entity-type":"item","numeric-id":5389138,"id":"Q5389138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728ecd7bb675ccdcda62c9a6e4d8bc4acdc5fc16","datavalue":{"value":{"amount":"+0.8597511649131775","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":"Q3976029$7295015E-031B-48A2-B02D-CCD0B72619AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ddf68208fec3d1423a51d071151463ca40b4ae","datavalue":{"value":{"entity-type":"item","numeric-id":4764610,"id":"Q4764610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f3db7560964ba2a67f8031d1d6f8bd1f953660","datavalue":{"value":{"amount":"+0.7962091565132141","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":"Q3976029$CC17BF63-4AFE-4B77-96F9-CD1051C92F6C","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":"40d1d5b8ff4c25af0f2f580bd6d6a50da4f10963","datavalue":{"value":{"amount":"+0.7940782904624939","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":"Q3976029$ABA3D616-8BD4-4BE6-9C57-51920475E20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5eea353e0db3c4a9c6271e40563adb65a914c93","datavalue":{"value":{"entity-type":"item","numeric-id":2736357,"id":"Q2736357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdbb16e85abdf4b3348bceaba760cc2016bf7efb","datavalue":{"value":{"amount":"+0.7925935983657837","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":"Q3976029$33CE4C82-FA40-47CF-A67C-0706D73E4B31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3976029","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3976029"}}}}}