{"entities":{"Q3067545":{"pageid":3078261,"ns":120,"title":"Item:Q3067545","lastrevid":51169958,"modified":"2026-01-17T01:35:06Z","type":"item","id":"Q3067545","labels":{"en":{"language":"en","value":"A dynamic logic for unstructured programs with embedded assertions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5839905"}},"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":"Q3067545$DEBCA17B-5DB5-41DC-AC5F-8A1E2EBE9294","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8a8e4d56e9f3d56829b4b4c82073b2daf46c8e9","datavalue":{"value":{"text":"A Dynamic Logic for Unstructured Programs with Embedded Assertions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3067545$A0D9A3DE-FF58-4B65-9F39-4F77A69014D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f87af3b550b8a87ad89d7f18730229a319ca2a42","datavalue":{"value":"1308.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067545$906AA631-612D-40D2-94EB-41D2E1ECA356","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f3da85ab354967640617985b2eb47a62b77f8d5","datavalue":{"value":"10.1007/978-3-642-18070-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067545$F9059339-3527-4C48-A7E1-DA770FBBD81D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54b40af6acb3456c1b6977fa01e79eec0014485a","datavalue":{"value":{"entity-type":"item","numeric-id":1630024,"id":"Q1630024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067545$64D3CF18-2549-46AE-891C-2F4FF0E22159","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc79f3ca1ff011706d97e4cc9dcb7a33f54133f7","datavalue":{"value":{"entity-type":"item","numeric-id":3067528,"id":"Q3067528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067545$D8E3262F-E5F0-4D30-856A-892F36A48B88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3832aa8c4413a9f491fedd54c1d4e68094c46118","datavalue":{"value":{"time":"+2011-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3067545$13CDCC74-2435-4746-A52F-91CCF3388764","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067545$8478A431-3E3A-4502-819D-890B863D2E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067545$0898C683-FF78-4E91-9AB8-3476C7A3E15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067545$BF2A17D5-F07E-4E4F-BAD2-194470949059","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7677f59a19ec3210119384a60eb54557cdb9db9","datavalue":{"value":"5839905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067545$FFA9A2C5-6E72-4B8D-9B92-5A7CB5ED1411","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c394b74049cbdb0cef88807aac9fa3513bba728","datavalue":{"value":{"entity-type":"item","numeric-id":13169,"id":"Q13169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067545$3BCA5BB5-EB85-4F2E-9CDA-C601CECF8F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067545$49D94561-B02F-4A04-8527-DEC2857D87B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067545$4D118E92-FE6C-4D30-88AC-4123AC19EE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93403021c48a812d9127910dbcaae98db02c160e","datavalue":{"value":{"entity-type":"item","numeric-id":33328,"id":"Q33328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067545$1F73ECA3-8D99-42EA-83A2-611F8C7D8A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067545$CE5F2C42-F04F-44DA-AF1E-E7DE3CDD479F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067545$32991E3F-A124-46DC-AF5E-E6D5534004FF","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":"Q3067545$7E32C28A-C617-44FE-8D5F-1EFC4CF01444","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fd8679e77386069016457e6b62f993d1a2640a2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18070-5_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067545$E2A4FFE4-84E0-4204-96AF-69CBC82A1535","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b32dd296836ad77786019bdfa43afd9f1748ad6b","datavalue":{"value":"W1594807390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067545$B6FD1494-93F3-4D78-964A-42D1997539BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6023aa89253bff82e01277400127991ae28741","datavalue":{"value":{"entity-type":"item","numeric-id":3543656,"id":"Q3543656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067545$FE536359-E8B3-4CD9-99BA-E3A0EB89EA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067545$3CC91C3E-9764-4CAC-9FB9-553EDC942EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9d05406c8520c743824ba3092f3947dc01da67","datavalue":{"value":{"entity-type":"item","numeric-id":3557085,"id":"Q3557085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067545$569FB396-C5EC-47CF-881E-8BEA82247658","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84e644170331a6a9485b207c047e686cd4d5525","datavalue":{"value":{"entity-type":"item","numeric-id":3826528,"id":"Q3826528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f95243bb7842fe17a431f5ddb332a0a22fd435","datavalue":{"value":{"amount":"+0.8076094388961792","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":"Q3067545$26520917-A52E-404F-A70E-4C6236C2104E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea95e49f05526edb7368d843c6ed27a9c17b632","datavalue":{"value":{"entity-type":"item","numeric-id":4923522,"id":"Q4923522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056af70359912e148f1ac97c74ab97fea7691688","datavalue":{"value":{"amount":"+0.7796832919120789","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":"Q3067545$90DB30F6-CD6F-42DD-9A0C-CAA5AB0E00BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8266f2c8ef040bdae8a8d17dbab7410a4f0f3244","datavalue":{"value":{"entity-type":"item","numeric-id":4923368,"id":"Q4923368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8c665dce2a41f300db98308c133cf0263f0634","datavalue":{"value":{"amount":"+0.7716180682182312","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":"Q3067545$6A34D5E4-289F-4537-8EE3-FC65493E7408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4323893e9e6536fc17789ef77e1b864bcd1178","datavalue":{"value":{"amount":"+0.7664045691490173","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":"Q3067545$94D1108C-5500-45E1-B9FB-4CC26E4CB055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5cf9af7c3753ca49859a1990c2ccf9d498a943","datavalue":{"value":{"entity-type":"item","numeric-id":4928449,"id":"Q4928449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d2dffbe166af963625fc30614af82ab795f876","datavalue":{"value":{"amount":"+0.7594653964042664","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":"Q3067545$3367B5E4-42DD-42B6-A3B9-B27925169D3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3067545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3067545"}}}}}