{"entities":{"Q2817722":{"pageid":2828460,"ns":120,"title":"Item:Q2817722","lastrevid":52611287,"modified":"2026-01-23T02:37:49Z","type":"item","id":"Q2817722","labels":{"en":{"language":"en","value":"Principals in programming languages, a syntactic proof technique"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6621902"}},"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":"Q2817722$8077EE7C-B020-4673-9CB5-005173625112","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d5d23ae118add63a8d0a84fda72deb78fd393d7","datavalue":{"value":"1345.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817722$00BB6CA5-2730-46F5-92A9-7E7D34C19749","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"633399be750b0248bfcf20b120eaed3b68188993","datavalue":{"value":"10.1145/317636.317799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817722$F5959F37-ED5D-434A-A698-A6F5B818F01F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"009b7b8cbfea2fbcb395e57ee3935b49b0504fc8","datavalue":{"value":{"entity-type":"item","numeric-id":276493,"id":"Q276493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817722$0EA1B7E2-363D-43F2-98FF-4B2CF0D556BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d68fb6b2ee58deb1f5b14ec34618df78bd8bd62","datavalue":{"value":{"entity-type":"item","numeric-id":2817721,"id":"Q2817721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817722$FA7FEF80-6332-48F6-BFBA-EF40D4D3D71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1380f7d0e077e40df5a34bb335939f3c6ce8766c","datavalue":{"value":{"entity-type":"item","numeric-id":617975,"id":"Q617975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817722$3E7E169F-B583-43C7-ACEA-31E8AF16D03A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"474c874c2deb16e7eed57a35e81dbce7959655b7","datavalue":{"value":{"entity-type":"item","numeric-id":2817706,"id":"Q2817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817722$C2C68622-40C7-43E4-A381-429DC1298E75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cb1dfb644827a2862c7d97faa24a24e858feb59","datavalue":{"value":{"time":"+2016-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817722$0E3A09E9-F4F8-4B94-8446-AC89D8E6C7B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817722$2B0C99DF-B549-441E-AD60-290680806C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817722$37A5F8D6-E6F5-4D7F-A9C2-C55AC879E80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817722$7B771F91-AB29-4618-9A09-C02609422C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817722$9865335F-75E1-4AE4-8CAD-6232EF0A36D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58171a04b793dc22c8561c6bbce83a83c2ed74d3","datavalue":{"value":"6621902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817722$99FCC5FF-2245-4267-8A99-1CE60F5213B3","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":"Q2817722$0343559E-137B-44D3-804C-6651B14A6F65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1343de7bcf992d1d602786e70b1d68be5ccbd0d4","datavalue":{"value":"https://doi.org/10.1145/317636.317799","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817722$A90FC70B-4DF0-4EB6-9CEC-862FE2B7C897","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ff242cc8a96852832be746525b8348fca2cce77","datavalue":{"value":"W1994191642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817722$51DD4338-D377-4FE8-8A09-73E1D5810590","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0127e0f365ca40ffc7dde6530d1f2cd4057533b","datavalue":{"value":{"text":"Principals in programming languages, a syntactic proof technique","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817722$100D5339-9B20-4579-8E56-691FAD6020F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5372b48eed0f40cb4eb93ee5cb6de9c745e8c5c3","datavalue":{"value":{"entity-type":"item","numeric-id":5308700,"id":"Q5308700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28efe6803997d1c912ac8a9171c50f52dcab651","datavalue":{"value":{"amount":"+0.6896829605102539","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":"Q2817722$F6A6FF33-7972-4BC2-A4F4-51B5EB6B4637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13bcb2ed51f719afe045add4b069300afc21764","datavalue":{"value":{"entity-type":"item","numeric-id":4785999,"id":"Q4785999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b94533ced68dc16a57e29aef2aa8a365aa88089","datavalue":{"value":{"amount":"+0.6731947660446167","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":"Q2817722$7CEA1759-9CA3-42DE-8FE4-F5559B9C886A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec5418ab1116767974aa98ffc3544f31de18b50","datavalue":{"value":{"entity-type":"item","numeric-id":5178860,"id":"Q5178860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64e09acd154951e81610c2be4a6fae72ac05bce","datavalue":{"value":{"amount":"+0.6728227734565735","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":"Q2817722$09A6E7BB-F85D-4501-A715-221CAF0C8863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de6fe9f07d79a5362f2d7f949e5b8139a1ff581","datavalue":{"value":{"entity-type":"item","numeric-id":5504601,"id":"Q5504601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108e438daca5c8ab492a255473ea149354776a36","datavalue":{"value":{"amount":"+0.6671996712684631","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":"Q2817722$78C498AD-5A48-4B37-8100-A71D8AE30E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825cba2f5744bf242e954cfce3abbadb92c44f26","datavalue":{"value":{"entity-type":"item","numeric-id":4261075,"id":"Q4261075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2682aedb2ad5dd151b29b4369c5ec7efaae6ab","datavalue":{"value":{"amount":"+0.6663541197776794","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":"Q2817722$DD44B8A7-AD0B-4152-A03E-0E2F91DE8A3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2817722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2817722"}}}}}