{"entities":{"Q3613360":{"pageid":5643266,"ns":120,"title":"Item:Q3613360","lastrevid":50603624,"modified":"2026-01-14T13:13:27Z","type":"item","id":"Q3613360","labels":{"en":{"language":"en","value":"Hoare Logic in the Abstract"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528228"}},"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":"Q3613360$6FAC548C-9F80-4500-A606-7C0BAB317EF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"745c94f7b49e39a21f679b82670760a0a8d8606e","datavalue":{"value":{"text":"Hoare Logic in the Abstract","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613360$BD486CAD-8B32-48C5-835B-13B8E104CF94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ce6c8b1133eee19322f99f5ecca53bedd4c19e4","datavalue":{"value":"1225.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613360$C00B8BE5-30CE-443D-8BD6-63B112181DF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"704d65870de77743c84bf3f7bfd315e3f1d9c6f1","datavalue":{"value":"10.1007/11874683_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613360$E9B2356C-D79E-4D08-9BFC-B928D158B3C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5686a33437bde5a0c48c9c3e73d2341c14192432","datavalue":{"value":{"entity-type":"item","numeric-id":2946593,"id":"Q2946593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613360$68E67DD3-4724-4507-9EBB-19EB1E6F7CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62de1bd65cd36d521902ae54b685bc4b017ceeca","datavalue":{"value":{"entity-type":"item","numeric-id":408161,"id":"Q408161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613360$41AB7959-7ECD-4914-991A-2957DFBA9006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b182cd4f9e9cb54195b7976a497640f4d81f2eb","datavalue":{"value":{"entity-type":"item","numeric-id":1169557,"id":"Q1169557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613360$8F1609FC-8F47-45EA-A14A-465CC939E454","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613360$643F4807-60EA-4510-A917-DC4F809DFB0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613360$EC9C5382-DAE8-41C7-A3E5-4300185B9EBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613360$EA8098CA-7B90-4B1B-A2DD-B3DACA1B09B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613360$84D7AC32-8D85-42A7-BCBB-6E8AE29AA8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613360$731611A4-DF1B-49BF-984F-AED5B9CBA061","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3c09fdeeef6ca621835b548d3dc3fea64e129ce","datavalue":{"value":"5528228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613360$8C139502-5345-47FC-A1D1-809A37A2F313","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":"Q3613360$CE99CEBD-C209-4066-B0EA-A5C31A8E6703","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5049b9b7d25c308fc800702db6971bb715cad149","datavalue":{"value":"https://doi.org/10.1007/11874683_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613360$83AC698B-9D0A-4AB0-8F8B-ABEBF3013529","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"101a559103d32cba4f59de2d56eface06b300007","datavalue":{"value":"W1536810838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613360$57863F70-D767-4D4C-8479-AD38D2F15C4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ee5a5b3fbcf113ffbbd7886f1d8c4ab5994c80","datavalue":{"value":{"entity-type":"item","numeric-id":2946594,"id":"Q2946594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e817b1765f99db05884c5528aafdbb53f596176f","datavalue":{"value":{"amount":"+0.8948371410369873","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":"Q3613360$4F12140B-BBD7-4553-99FE-EC061687065D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c4988237d7d0840bba7ff8cfcb9cd343f12980a","datavalue":{"value":{"entity-type":"item","numeric-id":2233460,"id":"Q2233460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f934b1c576ea4f1e4a50105679c61875218b5f","datavalue":{"value":{"amount":"+0.7608948349952698","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":"Q3613360$7C9DB5D8-490F-405A-B268-D96F879C3871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfcb65e092eb5ae6f63b5fa479f6942638d55972","datavalue":{"value":{"entity-type":"item","numeric-id":2757831,"id":"Q2757831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20c96166eed2a69a9ff64696c3dc0e4bf5c490d","datavalue":{"value":{"amount":"+0.7455309629440308","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":"Q3613360$30BAE0E5-3687-4B33-953E-8EA685FEC9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3513f3745ba5f9d31a3c10b99e4a366811182cb3","datavalue":{"value":{"entity-type":"item","numeric-id":5889306,"id":"Q5889306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22163b3f576538a86da1bcf9be556470377a9597","datavalue":{"value":{"amount":"+0.7448798418045044","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":"Q3613360$D25B81DC-41EA-4EC2-8AE2-EAF34659A939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ab2208a8c1c3afffb34ff6959422d07dd717a2","datavalue":{"value":{"entity-type":"item","numeric-id":4302334,"id":"Q4302334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"724b78640d5ef88303fcf5aa80cf6f64ab700d78","datavalue":{"value":{"amount":"+0.7372493147850037","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":"Q3613360$144B0FB3-CB4B-4FD7-A05D-AE8348E5E728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613360"}}}}}