{"entities":{"Q1815343":{"pageid":1826085,"ns":120,"title":"Item:Q1815343","lastrevid":43341895,"modified":"2025-07-24T22:23:41Z","type":"item","id":"Q1815343","labels":{"en":{"language":"en","value":"Specification and correctness proof of a WAM extension with abstract type constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 943663"}},"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":"Q1815343$D4FF9BA7-237D-4FF2-A199-2EAC8359E30D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e13565df740f62198464bef9f946d2038fdfa9b8","datavalue":{"value":{"text":"Specification and correctness proof of a WAM extension with abstract type constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815343$7A213990-8CBC-47C0-B7D0-C6961AFFB0AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6b9249fa4071754959f1ff1d0b30d89c307fd32","datavalue":{"value":"0857.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815343$DEF71A00-CE12-46C8-86CE-B2AE580D549A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36fec442920c65bde59035a8a6385c7528d2cc22","datavalue":{"value":"10.1007/BF01213533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815343$7263AD4F-A7A4-43C7-AC6F-0AB4CF1FA87A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e134f54b434e40b1183bdd73e513d092e96978","datavalue":{"value":{"entity-type":"item","numeric-id":513342,"id":"Q513342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$C957E887-321B-42D7-9B7E-199476468A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$37334844-7277-48A2-8FCD-2193627F4125","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$F8904B86-000C-46A8-BEFB-A02D8BF5F6C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9657586cd13c4c74a5ce71e23eb80160be2bda3","datavalue":{"value":{"time":"+1997-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815343$F3D02E00-BFE6-49BE-A1C9-58C7DDAE0C32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815343$BAD7FC64-FF64-46B9-9140-862681352169","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e80a25b83e6007ed8666130a6287ad4649716039","datavalue":{"value":"943663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815343$E382BEFD-94A7-40DB-B13D-5D72727A72AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45bb000a24dd23ccb13c59f89f5473baf84bd673","datavalue":{"value":"Warren's abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815343$D655050A-38F5-4068-ABA9-AB9E5E5178DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b836d48be91ccabea495b6f7ff52c1053ba494c","datavalue":{"value":"PROTOS abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815343$72A33C9E-B1A1-4A24-85E6-A11C4333B2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f49c0b978fe85ed3793d25d7de449eefbe4fbbe","datavalue":{"value":"PROTOS-L","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815343$2A4C0F1F-64E1-4789-A8D4-E843125EFCB0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e20956355840707a09bab57476353ae4e6e2458","datavalue":{"value":{"entity-type":"item","numeric-id":15414,"id":"Q15414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$EF920533-F293-460B-8C71-096BCA9BF16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"688eba81cb056dd5bd9a14f97160caacc67f3346","datavalue":{"value":{"entity-type":"item","numeric-id":18616,"id":"Q18616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$F6866E54-E104-475A-917C-430A5F2AEFEA","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":"Q1815343$10597F5F-2225-4B70-BA7A-FE2971BEF966","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21665098f56f3a39b9ae52d8dea827573ac0e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4202930,"id":"Q4202930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$0573ED63-0337-402E-8FA9-719BAC244D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed03b35ae488f421583ed51bd3c631c9db452d44","datavalue":{"value":{"entity-type":"item","numeric-id":1816918,"id":"Q1816918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$01BDEB12-12C6-4BFC-8933-A4D002AA10DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f98938feed2924b7865e11ba86f801f150768f99","datavalue":{"value":{"entity-type":"item","numeric-id":4839033,"id":"Q4839033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$9A2CBFF2-63D9-40E0-B836-AA2478781085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"412b478f1fcbf940d728f72dbda6f21dd7527f02","datavalue":{"value":{"entity-type":"item","numeric-id":4285642,"id":"Q4285642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$7D9F19A8-680C-4A2C-9BE8-B651983D8308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a7a8faf60be76979d48d806fb07c9b8e53a682","datavalue":{"value":{"entity-type":"item","numeric-id":4268493,"id":"Q4268493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$424D02A4-FEFB-4337-83EB-4FFE76D1787F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff2d0a0210042cb25a9bbe411987b099990fd91","datavalue":{"value":{"entity-type":"item","numeric-id":3976026,"id":"Q3976026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$4F02EA82-4453-43AC-A307-0E5759D3AC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce85ed64aa6e3bb3be37240176665ec5968eccf2","datavalue":{"value":{"entity-type":"item","numeric-id":4839029,"id":"Q4839029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$0FAEFFEC-8BA3-4755-8D27-B2577657CF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0608535261e0e0a3d9846ea49482ee967e6441","datavalue":{"value":{"entity-type":"item","numeric-id":4873989,"id":"Q4873989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$06AB5A90-95CC-440A-B258-683CF479A9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810521b66dcaf77930b207eb0e5ca579b224f2bf","datavalue":{"value":{"entity-type":"item","numeric-id":3995131,"id":"Q3995131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$9E05F75D-24C8-498C-AEFC-34DBDBE38E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9731daed8c65b1a390e1437b0a605ad5221d3c","datavalue":{"value":{"entity-type":"item","numeric-id":3971260,"id":"Q3971260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$815061CB-C09D-42BA-BFD7-2D4B440FEE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcb10b2d0dc49c441c3a076bc96fb28fb02c90c","datavalue":{"value":{"entity-type":"item","numeric-id":1177936,"id":"Q1177936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$2FAE7948-EBEF-45BA-B534-353C492A61BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$DF259D37-4B20-4A40-A2B8-7971D444AA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95182f2cc2a60105385a6076ab3574d89a529bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4015948,"id":"Q4015948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$D16D825D-5BE7-4978-B02F-43AC653AA66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbeaee82e2d22dcbceca8a7a0c2001f5a8c9cd5","datavalue":{"value":{"entity-type":"item","numeric-id":3490936,"id":"Q3490936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815343$ED436A0E-7DCB-415B-AE47-182D1AC21814","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c189f8206465314b9606854c14a5396a0d0ec0ec","datavalue":{"value":"https://doi.org/10.1007/bf01213533","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815343$13A7DABA-1516-4F16-842B-C0AB561C27E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6d98ebd4150430f1c8237253079b08390251ca4","datavalue":{"value":"W2082611979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815343$DBA8639A-F2B2-41FA-AB61-B8D04B132DF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71daf96a532c3b59d50874185efe32426caf0db","datavalue":{"value":{"entity-type":"item","numeric-id":4202930,"id":"Q4202930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2fa665f0b66e33471960559de4a69f94c94bcf","datavalue":{"value":{"amount":"+0.9163457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815343$735CED47-C9DF-40B8-A7F4-1F423F99295F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6680e6c04c8d925c43d3145c1d2dfb407250a16","datavalue":{"value":{"entity-type":"item","numeric-id":1816918,"id":"Q1816918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6097a3c9105322cdcde6f9698094c94c4e416069","datavalue":{"value":{"amount":"+0.87293994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815343$B7BE2790-A6DC-4553-87AA-09E24A440885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118aa8d5a3d1bf7bcd3b855c5cf661a63df8d4f2","datavalue":{"value":{"entity-type":"item","numeric-id":1119388,"id":"Q1119388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"554b5caecf515c15ca0cac90af2e81fe439ba0ea","datavalue":{"value":{"amount":"+0.8431227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815343$493BFC1A-5EBB-4DDE-B7D0-D99224D7075E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b407e11fb90ddddd2e762b4f17d94b8119585b5","datavalue":{"value":{"entity-type":"item","numeric-id":3709866,"id":"Q3709866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5a385ebbbd3b7d68ea31a680b61419f025de64","datavalue":{"value":{"amount":"+0.8391062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815343$9C5E172B-E882-4DC1-9895-70C3AD4F1E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf36dbe354b88a561875e0ba50fa105f56be3e79","datavalue":{"value":{"entity-type":"item","numeric-id":3805883,"id":"Q3805883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8e2281bd923c71dd266e0d06149e779e9b8d4b","datavalue":{"value":{"amount":"+0.8388677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815343$C41C8477-D13B-4186-B2D4-63B0B202AF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0629abc93a55b58aa569134018ad6319a4c11715","datavalue":{"value":{"entity-type":"item","numeric-id":4207566,"id":"Q4207566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a56c191ed7ef37f70ce1f85d3b603a4ffe9dc75","datavalue":{"value":{"amount":"+0.83666384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815343$ADD016CE-5960-4FCB-AB5A-5F8D3991F176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f7a7ce1a7f13252635e130300201eb7250a573","datavalue":{"value":{"entity-type":"item","numeric-id":1902305,"id":"Q1902305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d6aaec83ba2f97b44e3b1a55e3dbdf5c73678a","datavalue":{"value":{"amount":"+0.8347471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815343$E8386D39-D710-4C6D-8870-197A87C52906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1424935df2295efe4bcf41a47c355bf440aa6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3460500,"id":"Q3460500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8056c0022e6e4ea80c4074e038c6ee48a5c6a7fe","datavalue":{"value":{"amount":"+0.8324035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1815343$AD849C23-AF25-4D98-A004-2A8795558DAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1815343","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1815343"}}}}}