{"entities":{"Q4580225":{"pageid":6609811,"ns":120,"title":"Item:Q4580225","lastrevid":53167313,"modified":"2026-01-24T09:03:49Z","type":"item","id":"Q4580225","labels":{"en":{"language":"en","value":"Constrained polymorphic types for a calculus with name variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917244"}},"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":"Q4580225$AA1AD07E-3D7B-4062-998B-9DCB571B7E1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7d04fb9d548552978b4e4f411a6b27b7aa494aa","datavalue":{"value":"1433.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580225$65D339C3-D4BB-44B4-BEA8-D85B1C9F86E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0590aef4ebe74f98a7f136dabe76b5620737ce3","datavalue":{"value":{"entity-type":"item","numeric-id":737081,"id":"Q737081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$28F4AEB0-B792-431C-94BB-701AFD36ACD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f45b23775d9b9e11912244a38aea5f4e1129af","datavalue":{"value":{"entity-type":"item","numeric-id":235604,"id":"Q235604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$10A8D6F2-A1D9-49E4-B784-EE4398FE1324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f448c722ebdcd657017d2557fee6ee764cbfbc2","datavalue":{"value":{"entity-type":"item","numeric-id":418192,"id":"Q418192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$233F9BAB-86D7-4D83-A031-A4D3DDBFF860","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580225$1CBC84ED-2F21-47C9-BD66-6558B0D26490","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580225$DB190203-BB02-4883-8717-4B3232EC329D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20764298be93f3a057c34d32cae3332c4f875af5","datavalue":{"value":"6917244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580225$F90E3789-DF8A-4FB7-A645-DF5785824425","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de92d68c25702ad63abfabaf11c325ea5852f3ab","datavalue":{"value":"open code","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580225$8385CC80-8057-4F72-B434-F4163BFD0A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a10693278ac46ce97cb64518705c63de4e0ccf5","datavalue":{"value":"incremental rebinding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580225$53D94FCB-B6AC-4345-9012-AE5315E9FD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b7683cde0a975d83124346c30dd23e7e2cc7e5","datavalue":{"value":"name polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580225$3D9C0370-3CD2-4A5F-92D5-6A485A990DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329d09641862ba8331cecdfb9962e139d99ecf56","datavalue":{"value":"metaprogramming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580225$A665F1D4-89E3-43FE-8DF2-ECA59E1DCDAA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4679151adf8ac447edfc2fb5110876fdfca498c","datavalue":{"value":{"entity-type":"item","numeric-id":20987,"id":"Q20987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$7CFCCAE8-347C-4B5A-A4BA-119025031D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44bad889325630fa1fe7bc3b0aa9ed968ecf47fa","datavalue":{"value":{"entity-type":"item","numeric-id":18937,"id":"Q18937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$0A4258AA-6EBB-4AA9-8139-C62A94023915","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":"Q4580225$C4BE3802-0DFA-465C-95C3-1A40BA63962A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a084ebbd5e83adfeac89660aeb0a955b9d59783","datavalue":{"value":{"entity-type":"item","numeric-id":4993855,"id":"Q4993855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$73D580F1-2FAF-480D-87AA-CDEA023C160E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6a47ec812416168061e8678afa2de0b6acadc3","datavalue":{"value":{"entity-type":"item","numeric-id":2971056,"id":"Q2971056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$7532D71B-5968-4B65-84A9-F77CC8F334C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27f5f2877e1f4c66b70bb733f30b9311d70f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":4331135,"id":"Q4331135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$DFBA7390-7D86-491A-BD9B-61DEA69247B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f98ef1d95180b0eabd253c5c00ee4c20bab2da","datavalue":{"value":{"entity-type":"item","numeric-id":737082,"id":"Q737082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$E8DC789C-9A99-4FA0-95E7-668B9CDAB387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e44af9d9ad9619c62ace9cd8cf7831bbdd309","datavalue":{"value":{"entity-type":"item","numeric-id":5261269,"id":"Q5261269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$F8703E63-C0DE-4DB6-AEE4-901E4DD9FCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1887644b2ef4af5ef7c8805f46e5186aa6119bd","datavalue":{"value":{"entity-type":"item","numeric-id":1127514,"id":"Q1127514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$5BD85A8F-8CD2-4084-AB6D-A870D32BA74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cfe7d014fa03a73709236d9af4cd455cc508f5","datavalue":{"value":{"entity-type":"item","numeric-id":3006163,"id":"Q3006163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$C893DBD1-FF6E-422B-84CE-B3126B35485D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a410ad8b2ef8644b798e2a2b5c88a9d95994d5ab","datavalue":{"value":{"entity-type":"item","numeric-id":4379488,"id":"Q4379488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$606598BA-6B81-4BC9-A4F3-5606C24F368C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c6d6afdb85c0c418d2115da1abebf4577d3ec4","datavalue":{"value":{"entity-type":"item","numeric-id":1290313,"id":"Q1290313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$A623EAE6-7907-4C1F-964F-A99D17995EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604a7aad6b86a8c98c7c2c0335adbf058365c733","datavalue":{"value":{"entity-type":"item","numeric-id":3518270,"id":"Q3518270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$7B6F9BA7-16DD-48B9-BE44-5B5EA0D5F4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d434966473eea1b46469590e756fbfa4aaa54d1","datavalue":{"value":{"entity-type":"item","numeric-id":5261281,"id":"Q5261281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$6CF4E5C9-0987-4915-8D9A-BF3A087DA252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f470bb056b9cf1f7f71ff35d4eb7d7b74f4951c3","datavalue":{"value":{"entity-type":"item","numeric-id":3992915,"id":"Q3992915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$E59C0A98-84D8-4B56-9E7E-F1BE6DCA0223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecd4cf00bc8e024448b12f96273285315a1e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580225$433C7227-95C8-4988-953B-7A361A2A5B2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da39a815eaa8ff1f88e65193b69d8a80031c93d4","datavalue":{"value":"10.4230/LIPICS.TYPES.2015.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580225$91A936A5-07A3-432E-847E-85D3D4E66369","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f10073cdaa99e2ff345c6def6634312243aebe","datavalue":{"value":{"entity-type":"item","numeric-id":737082,"id":"Q737082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256db7bbdeb51b3d054e2e8afa3b0548208bf5d1","datavalue":{"value":{"amount":"+0.8462382555007935","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":"Q4580225$94E30773-7062-4368-97E0-71FF3B81B264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baa7367992b967c85f1b32d26af08df3dad18c7f","datavalue":{"value":{"entity-type":"item","numeric-id":2971056,"id":"Q2971056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233cb29b7b6a87ca31c351bfecec44d1daf1510e","datavalue":{"value":{"amount":"+0.773523211479187","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":"Q4580225$E03D4B9F-E1B9-48E2-BB55-4DB5F2C39542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7787666aa599eb1fb9a8abcc219b6e2ad7a681c","datavalue":{"value":{"entity-type":"item","numeric-id":4993855,"id":"Q4993855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d8a6a9c782535e1f989b171af08b3a3c9aaa1d","datavalue":{"value":{"amount":"+0.7316856980323792","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":"Q4580225$05B47FF5-5588-4115-8A53-98CB84685CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c280e2b96ae269555ffd062d5c4f3b9b858d374","datavalue":{"value":{"entity-type":"item","numeric-id":1127514,"id":"Q1127514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b414f055891e85174c854d31a050b5e141fe7e","datavalue":{"value":{"amount":"+0.7136911749839783","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":"Q4580225$2D29FF2C-B1A2-4E06-B6ED-F7EB3E6FFF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b925aca83e434a8b74df40107246211f341629","datavalue":{"value":{"entity-type":"item","numeric-id":3006163,"id":"Q3006163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"891d2cc23729141a0e07dfe11bf819866462d9cc","datavalue":{"value":{"amount":"+0.7128093838691711","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":"Q4580225$887C2470-432D-4612-994B-2F32632A0DD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580225"}}}}}