{"entities":{"Q897934":{"pageid":899782,"ns":120,"title":"Item:Q897934","lastrevid":52409690,"modified":"2026-01-22T14:19:29Z","type":"item","id":"Q897934","labels":{"en":{"language":"en","value":"Mechanizing type environments in weak HOAS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6517469"}},"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":"Q897934$8AD4378B-78E7-47A9-9344-51BA6C408210","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c7555db0a3e35fec98b40739475f0c5aac56119","datavalue":{"value":{"text":"Mechanizing type environments in weak HOAS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q897934$6A78E0DF-5E4F-4416-B7CB-AFEE6E0520D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8b2b639559fed8fcbfc5cec330744f1f12a0563","datavalue":{"value":"1332.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897934$B9562D04-3884-4F79-A7E0-A6A5252EA042","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71615fb71a3a07e792b53a1795eab8ac6d26f1d","datavalue":{"value":{"entity-type":"item","numeric-id":817856,"id":"Q817856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$2EABBC66-3BCE-465B-9EEE-BF0B9451A52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8432f88f23f21535a388b135123ce41d5ada4709","datavalue":{"value":{"entity-type":"item","numeric-id":897933,"id":"Q897933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$316FD5D9-D797-42A9-94B3-5502E0A9E986","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$7A679E86-8206-4C2A-BC43-547FF8077AF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d55afd84e834d230d3852aaa2c2d1c30ae006c32","datavalue":{"value":{"time":"+2015-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q897934$D8351AB9-809D-42FB-A682-40ED20FA78EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897934$441B2463-5C95-431F-93EF-E5DF596DC2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897934$746E26B0-584A-41FA-A74D-106E1528F964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5ec7ab8afa81532678caa33dc0344c9015c0186","datavalue":{"value":"6517469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897934$EAA105B4-B501-4AD7-88A6-B5BA9270C9B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q897934$5CDCE189-B476-4A1C-9AB7-A38592D60D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q897934$96D6B307-85DA-484D-BA83-C51512478A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6610928532c28e5c20988bf9f6bbde45ae859367","datavalue":{"value":"HOAS","type":"string"},"datatype":"string"},"type":"statement","id":"Q897934$B3EE0D33-AA98-4686-B9A6-0EBBC47E0B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"507628d1687f0f18cdeb1a8f59de4a69d1a33539","datavalue":{"value":"POPLmark challenge","type":"string"},"datatype":"string"},"type":"statement","id":"Q897934$6D9C18D5-68B5-4AC1-96CB-795A1AE713FD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$9DF9D43D-948E-4706-B09A-B81E241E2AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$29E2B203-BBF4-4AD9-B66B-30CE604AFAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be9a1fdbfd35f7a816de32e6d9d9a2a21796c942","datavalue":{"value":{"entity-type":"item","numeric-id":14061,"id":"Q14061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$37C5BB58-0487-463C-96C0-F55B6617EAFA","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":"Q897934$B54C76D5-FE71-49A4-B2F7-57A231618BC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"146bd2d38a4915a2a93d51971b85c288583bce21","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.07.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q897934$9AB2E344-35FE-43B2-A85D-52146D287839","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4150438520b26b19fc4870cab8cf595c5eab4ce3","datavalue":{"value":"W892879558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897934$F9C307D2-2311-4691-9195-048DA4A1D986","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$1898B755-5968-456D-8220-DFB132F318AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e723c31e56f2487bba3b93f0d7637a4943535187","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$5D5B598D-AC60-489B-B9E0-3F4D731978F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$AE1C1681-5283-4D51-A38D-8362B08C686E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc09fba81e6a14082e7e439b4990f073f09d0006","datavalue":{"value":{"entity-type":"item","numeric-id":4535076,"id":"Q4535076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$8E555C40-33EC-4855-A151-4FE632A455B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367ef177c9ab91da57ee385240218ffe15eeadc2","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$56BE1501-A4D3-4E13-88BB-FE9512F8EB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$E09F4380-0F1F-4ACF-A983-E08BE4FBCEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$241F2F54-E847-4CE3-84D6-4EE3720AB5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$2D636977-00EC-4E60-B2A6-AEC8CE79E0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4369bb7a7eefc379e23b1aff3cce7967f176389","datavalue":{"value":{"entity-type":"item","numeric-id":4012880,"id":"Q4012880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$9EEDA667-BC0D-486B-9D7A-2547B1CD958B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4a579612272c08278f85b2a068decf36768945","datavalue":{"value":{"entity-type":"item","numeric-id":4647578,"id":"Q4647578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$5EF21A51-9852-42E3-AF02-8B7534150421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131ffd53e401dd874fc4f295f2f9be252699df2d","datavalue":{"value":{"entity-type":"item","numeric-id":3408131,"id":"Q3408131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$3B05A2D3-9173-40E6-8E0A-88293973722F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2f4029f0c13517fe63c3c9a74f9fb32403ffda","datavalue":{"value":{"entity-type":"item","numeric-id":2642466,"id":"Q2642466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$FB9A3FED-45CE-4EFD-8781-138B8AB4B1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde1d18e0cc121abdf56d21d4adde9cb14eddfd2","datavalue":{"value":{"entity-type":"item","numeric-id":5472313,"id":"Q5472313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$0981EDAE-14D4-4020-A55D-29894EFFF22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688e6fed896610b919dc110ba615445131c2fe31","datavalue":{"value":{"entity-type":"item","numeric-id":4992397,"id":"Q4992397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$A8A1F727-1D67-4FD9-9584-54293E5B6624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$1196EAFF-3D91-49E8-AB36-FB4F39805271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3a39d793f3df562dc271dde8d3946fa17ac291","datavalue":{"value":{"entity-type":"item","numeric-id":2841274,"id":"Q2841274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$A81DC36F-FC4E-48CA-B901-E3648317C94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$C979DB8D-C004-4671-9905-A0B8BBAC179C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$52D4EDF8-04D3-4C78-B4FF-2D881D47AE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$5F6D641D-8237-40FB-988B-D4F552B22D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$5D6D1BC3-73CA-4814-862F-6029E62B3DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c5f1bc95e37c86d95b040c7dd80534c5f7b7b9","datavalue":{"value":{"entity-type":"item","numeric-id":5261280,"id":"Q5261280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$0DDB7087-C80A-4252-8588-72A517BD5498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02225b9bf52ec561b65599c55548fe72422e1bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2769442,"id":"Q2769442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897934$EB530EBC-2345-419B-B666-E67581E0468E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bdeee71d7fcde39e8ad8708180c17abe8951303","datavalue":{"value":"10.1016/J.TCS.2015.07.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897934$07EF69F3-B8FE-4393-A26A-C3C7FA0D1A17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c485adaf5c9d59dfd696e67e8bfc3675d896cd0a","datavalue":{"value":{"entity-type":"item","numeric-id":4992397,"id":"Q4992397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e91fa80682475d566aee7a9ef18df98df95bd399","datavalue":{"value":{"amount":"+0.8201502561569214","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":"Q897934$40755CC4-43F8-4BD1-9138-D22AD4B54BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb27ab82d86d579fbe962c877c8c6b995aaa7b8","datavalue":{"value":{"entity-type":"item","numeric-id":2392480,"id":"Q2392480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b56bf985dc5a37f84d2ba020c44984171352ee","datavalue":{"value":{"amount":"+0.7512854933738708","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":"Q897934$5C2F1010-931E-4928-85EA-FC8DA879ABDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4c11df45cd03074ae08ce1f6ae750f42c3698f","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039cd18a1d04f60db8e1d65664453114c917d915","datavalue":{"value":{"amount":"+0.7372823357582092","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":"Q897934$54320D4B-5355-470E-9E44-929D09603EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058758f3ede8cf6908f9bf9e85cb8f830d733728","datavalue":{"value":{"entity-type":"item","numeric-id":4691187,"id":"Q4691187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af2125475d878a6cfcd60440b732add649a563d6","datavalue":{"value":{"amount":"+0.7313314080238342","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":"Q897934$ECE24E90-8C96-4533-B8B9-EE47EC42F9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71f7a6493a8dbc04e7dbf14f2f531038e9beeb7","datavalue":{"value":{"entity-type":"item","numeric-id":5111317,"id":"Q5111317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb059d0b2c490d5adabde5bda2805ff5751aeae5","datavalue":{"value":{"amount":"+0.7295096516609192","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":"Q897934$643ED1B1-D7EA-48DE-9FD0-0A9BA934BCF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:897934","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:897934"}}}}}