{"entities":{"Q2814613":{"pageid":2825351,"ns":120,"title":"Item:Q2814613","lastrevid":52561577,"modified":"2026-01-22T23:36:07Z","type":"item","id":"Q2814613","labels":{"en":{"language":"en","value":"Isabelle/UTP: a mechanised theory engineering framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6596634"}},"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":"Q2814613$6BBB8A3C-BF10-4B95-A6DA-E777C5E3A759","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2548f337f061f163c3437887ca9f5263abb79c34","datavalue":{"value":{"text":"Isabelle/UTP: A Mechanised Theory Engineering Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814613$56566386-22DF-45C6-832A-10D9BDF2E16A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e7cfcd5b67e6eebd9ed917b4940a8f468ab92f6","datavalue":{"value":"1457.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814613$DBBCC367-B744-43DA-8B88-F28163FC6D04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58a1106415436e13922fc0de76fea9ca85548b3a","datavalue":{"value":"10.1007/978-3-319-14806-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814613$8815C50B-BB80-48FE-B13F-3CCD7EBCE341","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0d16d56334eda577a220b2d6e48a64c295fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1617822,"id":"Q1617822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$B21F9A1D-6D27-475F-A902-9FCD20FCB827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d150d5bf876b5a829b43934d70c20b18c58f39","datavalue":{"value":{"entity-type":"item","numeric-id":432149,"id":"Q432149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$7703863E-307B-4FED-BFB2-5EBE3796C605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$1FDEA443-F1BE-423D-A294-AD26240AB217","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a469690149bc3cf60335251215f8201e92d3e50c","datavalue":{"value":{"entity-type":"item","numeric-id":2814611,"id":"Q2814611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$4FBA5972-861D-467D-9FE6-068583111822","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d83d2543337a9f3c481a9dc8012543a2c71e114","datavalue":{"value":{"time":"+2016-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814613$FBF91582-0301-49B9-8D18-39C4CCFAD085","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e65047780e55e1b3cb87302f60950b6e4c41216","datavalue":{"value":"https://eprints.whiterose.ac.uk/174615/1/foster_utp2014.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814613$7D02FE35-DBE8-42F5-AD09-8A3B38B83AF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814613$955C0D61-BCE8-4D8F-847C-DC8E09CB7C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814613$11335D06-A87D-433A-9536-34AC68A6CAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814613$805CB3EC-6434-480C-B8AA-49DA60A6E6CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8121fd2d36fd349571bb3260ded3a1109bc1cd3b","datavalue":{"value":"6596634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814613$17E70C22-55E2-410C-8F1D-874130A08D4D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$6A9CB095-1DDB-4941-8000-53E4D2764555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$56952332-7E44-4747-81DB-6E707C737BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c63186d439795e9737ebdabaad682f3dc8b47ef","datavalue":{"value":{"entity-type":"item","numeric-id":27099,"id":"Q27099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$0CCEFE2E-39A8-4DEC-90BB-39F1F1A6D309","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":"Q2814613$FC36D4EB-FC0F-4FE2-B215-45CEFFAA4BC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccbc2fcf9613798ad4b2b2b5f4382a724a84dc4c","datavalue":{"value":"W1164721860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814613$FB6037C8-DA17-411C-AC6D-0FE77FF51D34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5469f72b3d14e0a040a00af8c98b8e5cf4cb2b","datavalue":{"value":{"entity-type":"item","numeric-id":3172879,"id":"Q3172879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$AFF28C1C-9CD5-42A5-9BEC-8CF49DA4B8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1e3c2690a3f0a386acc08c1135f5caa93ddbbe","datavalue":{"value":{"entity-type":"item","numeric-id":3055742,"id":"Q3055742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$74D04708-D259-4B39-88D0-9E1D84C9C747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ab0797983abdaeee5d08f65cbb90227fca5c95","datavalue":{"value":{"entity-type":"item","numeric-id":3455647,"id":"Q3455647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$9D760227-F236-44B3-A7D5-C9857A3ED35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948883497a568c9a6d165b4cad78823507f2746d","datavalue":{"value":{"entity-type":"item","numeric-id":1941888,"id":"Q1941888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$A87AC048-A0D9-4404-A495-AFFFB6BF9C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e8700434177609e5f649d1f5a0b31b34ec0771","datavalue":{"value":{"entity-type":"item","numeric-id":3055747,"id":"Q3055747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$0E607132-7B8C-44AD-86BC-7AA6BF74D090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca23da055412797c29f8737a832166566f69c4c4","datavalue":{"value":{"entity-type":"item","numeric-id":3007567,"id":"Q3007567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$4E216C02-24D2-4E0B-B041-BD722719B965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f1672fdfcec44cd24bde733c6083b9136f8687","datavalue":{"value":{"entity-type":"item","numeric-id":2948230,"id":"Q2948230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$26DC3651-ED01-4B8D-A8C3-B1E778A97ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b441dd0710fe42108f247bc0567dc27fd863143","datavalue":{"value":{"entity-type":"item","numeric-id":844885,"id":"Q844885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$D957847C-47C8-48BE-AA1C-60B29F65942D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$DF6E1B6B-4656-42E9-97C3-65F777EB8FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d223981ae7810a035830c0eb8a6cb984aabc840","datavalue":{"value":{"entity-type":"item","numeric-id":4536898,"id":"Q4536898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$D99ADDD7-7A26-4707-BF56-8F187DAB25E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$A129B9C5-E7C4-4E75-B7B8-7F19A6603D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0f7032feec8f3cabf8b2aed26c255234ae5d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3094180,"id":"Q3094180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$919C6C84-7ECF-45D2-A988-5DA3F07D7FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$20AAB431-8C4B-455B-A486-274522B42A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb9865b9ec7d75ea6408f7463449ba93e2c161e","datavalue":{"value":{"entity-type":"item","numeric-id":5307478,"id":"Q5307478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$D040B9DB-C039-4167-95D9-127D309D9BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263b81d6f82aa7bc5c419ca585e86c9e4182e475","datavalue":{"value":{"entity-type":"item","numeric-id":1019016,"id":"Q1019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$04D51C54-69EC-40ED-97D5-07ED187E30E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7834aa6746dedeac38a3aafa9eef90724ff86","datavalue":{"value":{"entity-type":"item","numeric-id":3585027,"id":"Q3585027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$5902696C-B76C-41A8-9C3C-35AC5FF19856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$0A42497A-5250-4552-A994-14FC4BE3F218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f8f6dff394ac274489a2a8165abb84f760b4be","datavalue":{"value":{"entity-type":"item","numeric-id":5394605,"id":"Q5394605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$52F33302-91E4-4AE1-943B-9D06C2643444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0198e68f6dc9303aefc05c74bbadbddc5c16bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4472182,"id":"Q4472182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$DDCFC957-ABAF-4397-90C8-244A70E977A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7591f4a5fc4bf44b37a9e7463088fe875f30ed0","datavalue":{"value":{"entity-type":"item","numeric-id":5179366,"id":"Q5179366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814613$244B9855-269C-4437-8A64-2128C0E55A96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5841d5f9923d6922c7afdd94dd1a26555046af11","datavalue":{"value":{"entity-type":"item","numeric-id":2971180,"id":"Q2971180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a903698b35aaf259e65f0af899212d5288399d","datavalue":{"value":{"amount":"+0.8519180417060852","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":"Q2814613$ABECD3CD-C441-4ED6-A34C-00A5EC8587C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a882b9f94d2d662fc1bfb61a704bef560732636","datavalue":{"value":{"entity-type":"item","numeric-id":436368,"id":"Q436368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9b5abd3efe4743d2aabf6e9b13ee8b1409f5fb","datavalue":{"value":{"amount":"+0.8505057692527771","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":"Q2814613$09C56D04-5972-4101-B574-CB4BE9B6A355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6442d5e89d0411d47ef58a6a762b691cfeb68bf8","datavalue":{"value":{"entity-type":"item","numeric-id":2948230,"id":"Q2948230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2c831921e5f81bd71d4c02664ffc575997c0ea","datavalue":{"value":{"amount":"+0.8409729599952698","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":"Q2814613$D63BC26D-4050-4D48-953B-DFC00EA3C99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f6e05a9adc35b575782fa3dbc252f9c75f18d3","datavalue":{"value":{"entity-type":"item","numeric-id":3055747,"id":"Q3055747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18323ffebf78ce44f87887659726868541b7a249","datavalue":{"value":{"amount":"+0.8321158289909363","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":"Q2814613$25CCC937-84BE-49AC-8E7F-57E3FF1F7A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34160df6711a57363183228c6a05d61860201eb0","datavalue":{"value":{"entity-type":"item","numeric-id":5179366,"id":"Q5179366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4588446fe264dd26101a47a6e837e1b7f21f345","datavalue":{"value":{"amount":"+0.8300424218177795","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":"Q2814613$A73A8864-05D0-427F-B5A1-48DEDD152870","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2814613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2814613"}}}}}