{"entities":{"Q5756495":{"pageid":7786046,"ns":120,"title":"Item:Q5756495","lastrevid":50157554,"modified":"2026-01-13T07:23:12Z","type":"item","id":"Q5756495","labels":{"en":{"language":"en","value":"Abstract Predicates and Mutable ADTs in Hoare Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187153"}},"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":"Q5756495$0228A687-A97A-4615-81FA-1B872EF3F0F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f1c3551e646f85bf7506701d49f46f98861911a","datavalue":{"value":{"text":"Abstract Predicates and Mutable ADTs in Hoare Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756495$DF8C28DD-7212-4EC3-9A05-2CCFCD8CE186","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38c1bdfdc7a2395917a5caac5a58cabf1b38fb4b","datavalue":{"value":"1187.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756495$70F10725-F4CC-4723-894E-7DDEDB3FF0DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85eda084b7ad8e9b60a9b1295520430aabaa74cf","datavalue":{"value":"10.1007/978-3-540-71316-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756495$87EB5C0B-9493-4CAB-B67E-815C2696C5C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b248d705e0b51ec4722970eaa46ae5f39664514d","datavalue":{"value":{"entity-type":"item","numeric-id":1426867,"id":"Q1426867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756495$B658F5C0-EAB8-440C-94DD-658B501709BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba9eee2345936039a069f18114ac67b7e6d3777f","datavalue":{"value":{"entity-type":"item","numeric-id":1652976,"id":"Q1652976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756495$6067453F-567B-4B20-A2EA-1525FCA12D2B","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":"Q5756495$C0665A0F-67D4-41A0-9FE7-5F7947C37583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756495$397DDD1C-FC71-4CA9-941C-4725F3792548","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":"Q5756495$3ED4CF4A-3965-447E-B8ED-C6C75BB0F0BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756495$B48723F7-ED6F-4FBC-82E1-DAF27F73B4C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756495$25669636-F71C-4004-9B4E-737663671D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756495$013A20D7-9B2F-4CD2-AE71-50C56E9183E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4e96afd07d13a41ed0a1479afff967601129891","datavalue":{"value":"5187153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756495$60085867-2AB7-4F7B-9B22-84775DB260A1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756495$B92D9E3D-056D-4C45-88F3-C39CF99386ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756495$E4520902-9852-491B-B7FF-040ED75BDD1B","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":"Q5756495$D69391BF-AC31-4825-9D0E-28287FDADEEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af0284b75bef89b15bf22c2f669d95b1b3361937","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71316-6_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756495$EAEAA770-F11D-46D5-BB4D-712AAD2C077B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ea27e8cd44ae7b680a73b13af2e35822d5addc6","datavalue":{"value":"W1677332761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756495$EA3B28A1-0A9B-49AF-A5D8-5C1D573ABC23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c47880516f707ba6410e1a576d8d82dd772390e","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e66824ce40db90561ebf07dd3f7449801364885","datavalue":{"value":{"amount":"+0.8258973956108093","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":"Q5756495$0AD2C946-CC57-4D5B-8EE0-79E5C90F91F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b42dcb24ab2a07d91d02ef91aaa1dfcd2863bb9e","datavalue":{"value":{"entity-type":"item","numeric-id":5501458,"id":"Q5501458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6a57a445dc5a71a335b1201cf7a22a80132c31","datavalue":{"value":{"amount":"+0.7806923985481262","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":"Q5756495$4EA242BD-631B-42A7-AEBA-69B4CF26B189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06d9bc390ffde116272ec5536f0ea29af5f8e29e","datavalue":{"value":{"entity-type":"item","numeric-id":5458408,"id":"Q5458408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06fa8b71a6d55df6cb01197aeb9af00de5d220e8","datavalue":{"value":{"amount":"+0.7675597071647644","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":"Q5756495$4B6BA47B-B77E-4B42-8D89-1F9CE2F4D6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f97ef92fc18eae7506018001a310e958af424e2","datavalue":{"value":{"entity-type":"item","numeric-id":4417837,"id":"Q4417837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6892c3a8d1354f70e232e6156e780479fb0dd5b","datavalue":{"value":{"amount":"+0.6837121248245239","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":"Q5756495$C06CD0C5-081B-4DC3-8EC5-24EE725CE634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4ed4c15d6c03ceb94d408c50658be61bf5d42a","datavalue":{"value":{"entity-type":"item","numeric-id":5348887,"id":"Q5348887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41881cec2b94a2c3bf8e82c521d484624fb0e1cb","datavalue":{"value":{"amount":"+0.6693176031112671","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":"Q5756495$98F89F63-35FB-4B35-8E63-0E626C82F949","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756495"}}}}}