{"entities":{"Q5055996":{"pageid":7085573,"ns":120,"title":"Item:Q5055996","lastrevid":92258690,"modified":"2026-06-05T01:16:17Z","type":"item","id":"Q5055996","labels":{"en":{"language":"en","value":"Enforcing Programming Guidelines with Region Types and Effects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631446"}},"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":"Q5055996$FE53A190-9B8F-4733-94B2-C574C06CDB50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11b4c9b50b7de30e6b127a6718c36403307e7a69","datavalue":{"value":{"text":"Enforcing Programming Guidelines with Region Types and Effects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055996$6FA3EEB8-82B0-473A-BE35-BE86EA5233BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dd940b9a451fff0c562eaa8bc1d374f15d35cf5","datavalue":{"value":"1503.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055996$4A3C5FD4-1C37-4D57-AA6F-A81F0AF9A4C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ad362666377853061995f7ed3c3ccefcc91d91c","datavalue":{"value":"10.1007/978-3-319-71237-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055996$AF3664BA-E390-46EA-941A-1C7CDE5C800E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$259616FB-D42E-40B7-A358-6E471B65AE06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055996$26926D3E-C86C-428E-8FEE-2A04FB3DCEAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f3215efd7c46e2425b567c6d2d908fc6a6bf00d","datavalue":{"value":"https://arxiv.org/abs/1801.07647","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055996$A26967F7-9627-4DD4-8A2E-62AAF2F9B831","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055996$84FCB872-0CA5-4C7D-B574-7AA3345DE042","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a819eb62980c69a41610e843e021a27af5ffd712","datavalue":{"value":"7631446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055996$95BD8FBC-CD3F-488A-9878-B365E8EC9437","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31102183b4f38fdb6c3ded6ca05c7fc79862abc2","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$E95A6F24-D607-413A-AC4D-E572777FCD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"655700b6b2c4591a4bc1b854f5d0ca5b607e9c45","datavalue":{"value":{"entity-type":"item","numeric-id":2014831,"id":"Q2014831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$5FF7EB78-A13B-44F7-9B40-F89019C75BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359fb45aaedb345f290c1d71c6196d254c3c1191","datavalue":{"value":{"entity-type":"item","numeric-id":4813388,"id":"Q4813388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$04700823-FCD2-4679-917F-E86F3BD92836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea7f30228ec2588fdf8b95903e4fe743b7bf346","datavalue":{"value":{"entity-type":"item","numeric-id":4635636,"id":"Q4635636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$773CAC45-5425-4E7C-B677-14DE643C2A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2b043f1f5ea4ab949da5be665f95c5a9e8b669","datavalue":{"value":{"entity-type":"item","numeric-id":5899006,"id":"Q5899006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$35623E3A-1BE6-45B6-9A47-B23627B22F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dcbf910a9a9d001226e87e4feb026c54eba0320","datavalue":{"value":{"entity-type":"item","numeric-id":5144667,"id":"Q5144667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$FAC62D37-893B-4306-A518-730435D143BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$BE98C4EB-2DF3-4977-9320-4844ABE919D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$1947205E-E4B6-4D9E-9E05-F3DA163D9B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216a174f9b94581ec80a6e29700e89650d5819b8","datavalue":{"value":{"entity-type":"item","numeric-id":5096757,"id":"Q5096757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$88A4A904-BA56-41CC-9024-F37109D25F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090c6909dda2ab3900343c7122018857fe7989dc","datavalue":{"value":{"entity-type":"item","numeric-id":1029806,"id":"Q1029806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$DE407F29-0410-41A7-81B4-B2B4A527F7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baac0f42c9f1d9eefa8418e25f8ef5b29068bd18","datavalue":{"value":{"entity-type":"item","numeric-id":5451968,"id":"Q5451968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$BDE88E13-132E-4B8F-8FAB-1BB032BA34B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee78ed76d0de3f4cac30c62ff7d8b58be9ff3d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5408528,"id":"Q5408528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$BC806A38-BC20-4586-B5FB-0EBF68B08877","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$B17B6AAF-F6CE-47A0-BEA4-877549045B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"544285ff7639d6e2f1833203ed056490a36c6e30","datavalue":{"value":{"entity-type":"item","numeric-id":21115,"id":"Q21115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055996$0206852B-FA22-4977-84EE-6C526AC20516","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":"Q5055996$8D6751C8-564B-4EED-BC5E-E0928FB3A7DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43f892de25d62f88be0d2cb869a55e04e4cbeb2c","datavalue":{"value":"W2769803067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055996$1EEE2D67-D766-4F16-A60E-5ADA9639FAAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e78025770f9e1d1061ba6199d514e942f46e67d7","datavalue":{"value":{"entity-type":"item","numeric-id":5371974,"id":"Q5371974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff97b4ec906aaddebb2eab57bd73bd781a3d626","datavalue":{"value":{"amount":"+0.6602120995521545","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":"Q5055996$747C9742-78D0-4EF0-B301-0D2E82D674CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d9c0e8cdff5fe9a673a1a383b99b0b6c7962ae","datavalue":{"value":{"entity-type":"item","numeric-id":5178008,"id":"Q5178008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a8540fb58938bfdcdd73533c17824d955ee417","datavalue":{"value":{"amount":"+0.6562144756317139","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":"Q5055996$312D7811-BF00-4BD0-B7E5-E5ED7370C1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"287d17ee792ffcd6ed42a6f88defca61073cedd8","datavalue":{"value":{"entity-type":"item","numeric-id":5408437,"id":"Q5408437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60eaabd4463d9e2051d88342cfa0803ce53db5ae","datavalue":{"value":{"amount":"+0.6474790573120117","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":"Q5055996$01F264D0-C647-4D07-AB3F-ECF9A9E039A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25c8c67db24eccaddd556d8e0bb23af28d0a350","datavalue":{"value":{"entity-type":"item","numeric-id":5464061,"id":"Q5464061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9cb75f8b88dfa4cb9578ef10f3744d2e42c7ba","datavalue":{"value":{"amount":"+0.6473285555839539","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":"Q5055996$292FCCE5-225D-4F2C-BC20-A054E6084C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685a741ce32f5ed1b234241be2b49a1c56287eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1327400,"id":"Q1327400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ed36bf2d1a68dc8731706b925e2fcbaa2b2054","datavalue":{"value":{"amount":"+0.6459567546844482","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":"Q5055996$F78684EA-A965-4287-91D9-3806F66B1E49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enforcing Programming Guidelines with Region Types and Effects","badges":[]}}}}}