{"entities":{"Q2866336":{"pageid":2877056,"ns":120,"title":"Item:Q2866336","lastrevid":51890444,"modified":"2026-01-20T11:54:18Z","type":"item","id":"Q2866336","labels":{"en":{"language":"en","value":"Context dependent procedures and computed types in \\texttt{VeriFun}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238195"}},"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":"Q2866336$76F7248A-FDE1-44E8-A207-318C4E6F778A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f63da8cf5a5db5244cc075e6b681f92b4702588f","datavalue":{"value":"1277.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866336$1252F544-1C80-4C68-99C5-A509E9BD191E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7da93c96a90dd79c9f4e2f12392d931d52fd67fe","datavalue":{"value":{"entity-type":"item","numeric-id":2866333,"id":"Q2866333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866336$154DA762-5666-49B9-AB44-DA7EC0480D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46976d3f5c5fed82b1734a3b31190eaf0f8a054","datavalue":{"value":{"entity-type":"item","numeric-id":1060858,"id":"Q1060858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866336$EBCFE415-D247-4D21-AC12-BE3CBC9C200E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0652c6768de99c0c1751f72b2fbe00dab90f21","datavalue":{"value":{"entity-type":"item","numeric-id":2866334,"id":"Q2866334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866336$358FD852-AF64-4287-AFFC-B1CCEEA659A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"776c5611605b33995b265c521cf1d553220a628f","datavalue":{"value":{"entity-type":"item","numeric-id":2866335,"id":"Q2866335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866336$7F23B1E9-D392-42BA-842E-D4647C0E305A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866336$40C745E3-7677-4EC7-9F37-28A48EA990F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-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":"Q2866336$859A4960-BCC6-4ADB-9DE8-B3C1B793CD3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866336$879DDB7C-453B-40A4-9906-61DC1CCDC21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866336$77994F85-71D6-4BE2-BBB7-21592E46D9BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b598098809bc1f32959639a8aa2af3ab5f364edd","datavalue":{"value":"6238195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866336$898ECB85-05DA-45B4-B910-9616881C9E8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13d592c0f1c705c8d5bdf300db65cab6ae61759b","datavalue":{"value":"context dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866336$1B74F5A3-1637-47C1-96D7-04B82CF8555F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60d60528a8b2c886c8f3d22875fd6188fa739bc7","datavalue":{"value":"computed types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866336$EB9F78CE-8A6F-467D-8280-B3C82073C9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1926d9ac85384e4672ab3fc3fc4d37d507548880","datavalue":{"value":"reasoning on types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866336$846F59B8-C2FA-4BC3-8CEB-E65C54082810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866336$53264BA8-3586-4FD3-A61F-8D0FEE7A9D31","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e12a5bc154ad67aa9b674da476cd2afc9531b51","datavalue":{"value":{"entity-type":"item","numeric-id":33982,"id":"Q33982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866336$95C45987-686F-4CBE-B3BB-5F6FDC22F4A4","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":"Q2866336$840A0C2B-DBB2-432D-9B84-E434F5AF1CD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"586aa14d838ef68a74af0804b9a2bb71c00fd232","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.10.038","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866336$CC8574AD-8A09-40A7-92AE-37B2A95CEB4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"801ad610c544d5d7d68ffe9b54b6473a5c5c1730","datavalue":{"value":"W2113137402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866336$CC3BA339-E828-423D-964E-CC7D1EF65A2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9209c88bf57b378d5be1a14e4fcb1c3d2e8dacaf","datavalue":{"value":{"entity-type":"item","numeric-id":1818071,"id":"Q1818071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866336$B0AB94C1-A3E4-41BB-B21C-472CDFADE6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aba86d1ba836e50aa8c4d205afa367c171bbf56","datavalue":{"value":{"entity-type":"item","numeric-id":2702599,"id":"Q2702599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866336$04B12B9B-4AF1-4AF8-89ED-B0D9467C15E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a177420faefcfce6396fc744cae98a5ec9b03f8","datavalue":{"value":{"entity-type":"item","numeric-id":3992821,"id":"Q3992821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866336$7D1B39DC-7AA5-4CDE-976D-A4AF1F662A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc514a599a92a33db1429bd8d1448db748465f1e","datavalue":{"value":{"entity-type":"item","numeric-id":1412856,"id":"Q1412856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866336$594156A4-6372-4550-A7B3-D82819999EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"616eb6f57b88dcadb274d675e53cb447b5f8ed00","datavalue":{"value":{"entity-type":"item","numeric-id":5387856,"id":"Q5387856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866336$2BF2D653-E63C-458E-9145-0D43CCB852AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a559f4c1bee57a23ff62fc985f1da1ea7c333cc","datavalue":{"value":{"entity-type":"item","numeric-id":4524790,"id":"Q4524790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866336$E7E1DC49-1189-4C20-9D94-4A3DC6722145","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c36ec279f47c4241ac22c62ae48dbb4cde0ae5cc","datavalue":{"value":"10.1016/J.ENTCS.2006.10.038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866336$BDB66E1B-A163-4DE9-8529-064D9C1981B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0afb0bdb36d67cf9a32f5eb6bc18cf53f7b0bb5c","datavalue":{"value":{"text":"Context dependent procedures and computed types in \\texttt{VeriFun}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866336$2A67326D-3ADE-4DEE-97B7-6F29856AE119","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b07f7752f048810838a13b3751f9f4416cde07","datavalue":{"value":{"entity-type":"item","numeric-id":2828265,"id":"Q2828265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d5736b8e5e74f84bd2fda0874f2c5bf43d6d14","datavalue":{"value":{"amount":"+0.6878774166107178","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":"Q2866336$FF2781A5-A016-4C6F-8483-C1464FA57FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a955490ac55a673d3293d66bcd1d9adab8e9d2","datavalue":{"value":{"entity-type":"item","numeric-id":2145322,"id":"Q2145322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5532321a5c8bcfd7bbc9ccaf50209ee4ce5d97","datavalue":{"value":{"amount":"+0.6736530661582947","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":"Q2866336$BB0343B1-BB6E-4013-8B12-899A19DC9B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a814fa50b420de47a39e568ca5af84ad9af0113","datavalue":{"value":{"entity-type":"item","numeric-id":2931793,"id":"Q2931793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b0b508d42b0b7a767d9ed3d0cc516543e49920","datavalue":{"value":{"amount":"+0.6734849214553833","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":"Q2866336$FF6023E0-357F-48C1-A917-497FBFCEEF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f6a58fda84ce2b1ec77c3acde53b995716dc14","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448c0ed7039f52dd851c0a5a12392b44715e79ac","datavalue":{"value":{"amount":"+0.6726267337799072","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":"Q2866336$00BAE111-24DB-4ED9-B0EF-77817DEDE2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676acc78143450b9c4ca5ecb1e6c35c2dea46e1d","datavalue":{"value":{"entity-type":"item","numeric-id":4813221,"id":"Q4813221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee48388ddb522883237250a2887473499590830","datavalue":{"value":{"amount":"+0.6723982095718384","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":"Q2866336$CF5419B6-06AB-411C-AE7A-62E86084EC97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2866336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2866336"}}}}}