{"entities":{"Q3750107":{"pageid":5780013,"ns":120,"title":"Item:Q3750107","lastrevid":51036719,"modified":"2026-01-16T07:56:12Z","type":"item","id":"Q3750107","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3986619"}},"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":"Q3750107$6D43E2BD-0810-4859-8FDC-86AEE9DE5D45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cff67b4c110acc5f2db43796f747f076892951d2","datavalue":{"value":"0609.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750107$36DBDD41-91EE-413B-BE7C-7258A9A1E9F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef50836ca60dcbcfe3a815432541891093607141","datavalue":{"value":{"entity-type":"item","numeric-id":916638,"id":"Q916638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3750107$070B53FF-82AF-42D6-B6FA-A1353AD47086","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3750107$9151FB01-CD11-4C07-A17A-0BF9EB523E3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750107$15FDC931-1DE6-4158-B0F6-F9EF2F25DA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750107$C04AB9C5-9594-4389-AA09-09C084FBE35B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"405e6c7399b277265b7f8da39d0d1fa0fc0eac8c","datavalue":{"value":"3986619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750107$DDF46ED8-1860-4B2B-AABD-4A3D4033EA04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea032f14678abd54b0d55af14fe6fe1fdae52549","datavalue":{"value":"correctness of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750107$A0BA2BD0-B30E-45E2-8520-0C8DA818C25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750107$A837AEF6-8A13-4B2D-A183-F0B9666C383F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0084fc86fd7302e54f410d469e3736b3e86ab6d","datavalue":{"value":"Hoare algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750107$3D213317-68F0-494C-9370-90D91812D6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6af65d7535a8fbb7d6c22c75741089109e73556","datavalue":{"value":"dynamic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750107$DB93E700-28CA-4FE1-835F-A59228865E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750107$691735A6-37A4-46B8-B5CC-A401CBF89F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750107$9EED51A4-A93D-44AB-947C-A70F049DFA06","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":"Q3750107$74AA9F78-4355-4761-9F95-FAB48DB6CE3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4000f3e910fb88358a7de6b1a38b7e88dcae90bd","datavalue":{"value":{"entity-type":"item","numeric-id":4302858,"id":"Q4302858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f4c0b5bfce7fa817073e20fe8f8e0d85be9f24","datavalue":{"value":{"amount":"+0.7862287759780884","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":"Q3750107$43F78C8B-B526-4ECF-AB9B-A4EAEE82715F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b448852c958cdb0ecc2c93f211b0e5409cc6066e","datavalue":{"value":{"entity-type":"item","numeric-id":5410477,"id":"Q5410477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f4c0b5bfce7fa817073e20fe8f8e0d85be9f24","datavalue":{"value":{"amount":"+0.7862287759780884","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":"Q3750107$4A0A2BB1-2E1F-40C7-A89C-FD07B4563D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6964b14850992e7f5ef8292e71549a2d4d0d20e","datavalue":{"value":{"entity-type":"item","numeric-id":1208419,"id":"Q1208419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5abb7439a5e40de6335ec85dd06c37500c9efc7","datavalue":{"value":{"amount":"+0.7790611982345581","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":"Q3750107$53AFFE67-01BA-4B02-A496-B66D8D103F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3275536ea2cdf37741bbee2a80619cb6f3712cd","datavalue":{"value":{"entity-type":"item","numeric-id":3575271,"id":"Q3575271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58b7a5d86784d61acc6cc3de449f0766cca312a","datavalue":{"value":{"amount":"+0.7778308987617493","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":"Q3750107$8051B6D2-80C7-449B-BC21-D373C8F4FEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12ae9b79fd8f47daaf661945c04e5a8c4c144e1","datavalue":{"value":{"entity-type":"item","numeric-id":4011708,"id":"Q4011708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69723e655f6a6ffd1ba33143e764df448199b88f","datavalue":{"value":{"amount":"+0.7716633677482605","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":"Q3750107$50A9E24E-4D49-482B-A86F-DA1F39B0A311","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3750107","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3750107"}}}}}