{"entities":{"Q3060978":{"pageid":3071694,"ns":120,"title":"Item:Q3060978","lastrevid":51145271,"modified":"2026-01-16T22:21:25Z","type":"item","id":"Q3060978","labels":{"en":{"language":"en","value":"Principles and applications of refinement types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5825962"}},"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":"Q3060978$3146C77F-E484-452A-AC9C-82C6E0E9D309","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3eceb5d8fcdeb0e4f0780c3a813cf7f9b67e9d0","datavalue":{"value":"1213.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060978$5B3B4E1B-9F50-4545-980B-A37139471EC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50e548ffdc3cc4b07a5e7b3a610af9a714a00ca5","datavalue":{"value":"10.3233/978-1-60750-100-8-73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060978$ED7E6AEE-72AF-4C46-8E10-B9415ED9F40D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43de6eaa827eff817a6e362b2bd7fef7fe7b1e34","datavalue":{"value":{"entity-type":"item","numeric-id":557894,"id":"Q557894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060978$020FCE80-AEB0-4E52-8EE8-EBFD308546ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cc3bbc8146d8b3b4282d333dce118410bd01d27","datavalue":{"value":{"entity-type":"item","numeric-id":557893,"id":"Q557893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060978$F94C5FB5-A7AD-47A8-B3EC-B600FD5DB685","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a148a0f7f88b9e1cbbef4b920e7c605d6b8ccf5","datavalue":{"value":{"time":"+2010-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":"Q3060978$043F0896-9464-4932-8EA6-635093C0AEF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060978$4F952036-3844-494A-A8D9-1DA8EDA3B0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060978$5BA8E330-BC66-4550-BE14-E3BCA8FCF8A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eab14c21ddcc755d8962540cf2d452f2215941fb","datavalue":{"value":"5825962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060978$357EA960-0E77-4186-A0D1-523FA3115AC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bd49c269a3f606a00671736364203d653e836","datavalue":{"value":"refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060978$2CB961A8-FCFF-4C35-AE9D-C6A29627D05B","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":"Q3060978$657604CF-5848-405E-955F-4EC337254F84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a7e1cc9cf9879ea14e9d7c97b6ca6a6068cea17","datavalue":{"value":"https://research.microsoft.com/en-us/um/people/adg/publications/msr-tr-2009-147.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3060978$80046D66-154D-4F59-A7DB-156B9F1C50E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"498dec98efdb15883fb78ce1ccd8b8f39861a597","datavalue":{"value":"W168400685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060978$FAF890B6-8C97-420A-B540-2FD608EFF2B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce2f4fbbca1e262eb7e48605fa606781e462710b","datavalue":{"value":{"text":"Principles and Applications of Refinement Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3060978$EDB6A2B4-D5A9-4B6D-9B7E-7ECE1AAED153","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47926d452236d472aea7775409fa54c84895c59","datavalue":{"value":{"entity-type":"item","numeric-id":918219,"id":"Q918219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4bab20400a344806cf750208e196419c485321","datavalue":{"value":{"amount":"+0.8049212098121643","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":"Q3060978$FC5FC500-5834-404A-BCB7-3A5023BA4A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f3c2563ae0bf45fa8beeffe0dd64ff4101ce27","datavalue":{"value":{"entity-type":"item","numeric-id":2981942,"id":"Q2981942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f135806c27c762e8ead8fd73d5e01fab5eced8f","datavalue":{"value":{"amount":"+0.7446557283401489","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":"Q3060978$7A97EFF2-6E8B-4CE4-B452-04A2151C3EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbaafc7ab4be82fbef5a7586e0d9634c0f5f977","datavalue":{"value":{"entity-type":"item","numeric-id":5756517,"id":"Q5756517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7685f23d238556b68e329b15466b0d591e7222","datavalue":{"value":{"amount":"+0.7424328327178955","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":"Q3060978$915F37F7-1663-42E9-9CAB-B165370D24D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129b5ea492b78f982bc5d0f15a8d1fffbb6813a1","datavalue":{"value":{"entity-type":"item","numeric-id":5370912,"id":"Q5370912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b55cdb5d6f1671e7c439c6a4724064b2390822f","datavalue":{"value":{"amount":"+0.7420089244842529","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":"Q3060978$DAB9F07C-00F0-4FA2-9472-F3E034208F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250a748e2c5b8856913fb30a63685f780a6afee2","datavalue":{"value":{"entity-type":"item","numeric-id":5261277,"id":"Q5261277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f384ffc76b02347454b8dd2c613ca589cca18253","datavalue":{"value":{"amount":"+0.7411078214645386","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":"Q3060978$F3281ED5-F450-4A63-AEC9-534080E61C24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3060978","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3060978"}}}}}