{"entities":{"Q1960262":{"pageid":1971004,"ns":120,"title":"Item:Q1960262","lastrevid":51102968,"modified":"2026-01-16T16:43:37Z","type":"item","id":"Q1960262","labels":{"en":{"language":"en","value":"Rigorous software development. An introduction to program verification."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5799436"}},"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":"Q1960262$6AAAF938-72FB-415D-9655-DBD19DE5F131","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"566b79491f804a2b0aa647305730ddd2ae4cc683","datavalue":{"value":{"text":"Rigorous software development. An introduction to program verification.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1960262$57DCF72D-4D62-467C-8E4A-ADCC464C9E7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dde3edac809e7d548ec78a58dd893668517f3be","datavalue":{"value":"1206.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960262$A3DC7B5C-AF09-4AB2-AD57-0EC16E076648","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afeaba72a16b73d5b32f4ba6b17d108d39453db9","datavalue":{"value":"10.1007/978-0-85729-018-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960262$CDE2F30A-AB22-48DA-92C4-4B751D5DD4D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc687281410ad150f448b1775c32d6b9ec61b01b","datavalue":{"value":{"entity-type":"item","numeric-id":1960260,"id":"Q1960260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960262$2E04F8CB-FB45-482C-9677-4B25CA99A280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a4d4f10eafc7166d616956f86ea8b4213ac9879","datavalue":{"value":{"entity-type":"item","numeric-id":1960261,"id":"Q1960261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960262$EA3F61CC-6CA7-48DF-A1AE-26450FF5E7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b22589ac4799fa11bdf6a319668e8a088247d277","datavalue":{"value":{"entity-type":"item","numeric-id":465684,"id":"Q465684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960262$34F9A72F-F7E8-4CCF-9A74-BED2CAF8754A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc44cf567d5313a91ff3d79601fb3b8611d7ad4c","datavalue":{"value":{"entity-type":"item","numeric-id":861686,"id":"Q861686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960262$9662F837-5CF5-4C31-B487-F0A70374D516","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f2df447ef05106ab8f26cea9fda71b2b40c740db","datavalue":{"value":{"entity-type":"item","numeric-id":355065,"id":"Q355065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960262$8A0DEF9B-2EDE-4776-A2CB-771445EEAEF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bc825493bb220acb505797bc531e77eaaee5ef2","datavalue":{"value":{"time":"+2010-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1960262$5ED17DA9-DA1D-431A-B1D6-A2FE9017F8A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960262$27966F6B-17D0-4E81-8498-4195E708FBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960262$0237F4C5-C74D-474A-A704-4AE898B8B938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960262$DFDACB46-FEDE-4422-A387-44AE4CE28F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960262$73BC2AF1-CC38-42DC-AB14-B354D3DA55CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22b5373678f157a347993f75e9b64f3f0885f645","datavalue":{"value":"5799436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960262$50CEF353-6A96-439E-8484-723F32FD25BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960262$D2ADC127-C25B-4763-86C2-1C01C89C0492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f442ba6e031132a1423a62d9bc2442efc77a8036","datavalue":{"value":"logic-based methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960262$1B57AF98-0D46-4091-A159-0B22BB15F3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bb82c17f2b292292637aba0dce48e245ab0c79a","datavalue":{"value":"formal methods for software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960262$BC6B85DE-732A-4E6A-90EB-CCE2E98A6BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960262$C072A5BA-97D1-4B27-8871-40BA30BA8D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ff5913fb0d4c6f5737ee7d5aeaf3cc02fb1b39e","datavalue":{"value":"verification of C programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960262$B07F2BAF-EAA5-4B9A-BE5D-3E08D9426D54","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dee6d695234cdfbc4a272f03f51845f9fcd03368","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960262$A964287B-B1D0-430B-A7DA-3D304BC65281","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":"Q1960262$AB9DC2BB-9149-4963-86AA-017AA1C68018","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe730bd788b0843b64559255e40ada494e6f19d8","datavalue":{"value":"https://doi.org/10.1007/978-0-85729-018-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1960262$C6FB395E-57E0-4672-A162-B45F7CAF24F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36852a49a10281d034869c885ecdbadcfd2ae150","datavalue":{"value":"W2506756687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960262$AA479070-16F9-4733-8793-B231EC3C8D59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd6d00c7b8a5d4081cfbfee8571f03304a3f7ac","datavalue":{"value":{"entity-type":"item","numeric-id":4210110,"id":"Q4210110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6917d39a94ba1a3ab68378a11c013e3b84abfc26","datavalue":{"value":{"amount":"+0.7681469917297363","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":"Q1960262$01E4915F-78AD-41DA-B56C-A5AAA7766802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"233aa3e771e118f541d580d95f35673111f498ef","datavalue":{"value":{"entity-type":"item","numeric-id":3426556,"id":"Q3426556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"384c656717ec99e98a5d8dfb7c47cfc14afdc3c4","datavalue":{"value":{"amount":"+0.7676436901092529","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":"Q1960262$32EF4F12-0E9F-43A5-9535-CCA3D207DC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f910e5d01835760396bec66fa55d67356d2c2f48","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb14916777a93ba40a6fa738693c5ba5f027ed3","datavalue":{"value":{"amount":"+0.766855001449585","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":"Q1960262$EB7A378C-46B9-4302-B4BA-19DEC1232F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51455d403e873eceee0b12bd906bf6b494716f7","datavalue":{"value":{"entity-type":"item","numeric-id":5503618,"id":"Q5503618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c981b5efc435069958706feb913a2c5fa594c8","datavalue":{"value":{"amount":"+0.7596869468688965","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":"Q1960262$ED6D4F01-6070-4217-B57A-2DEED703937C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3be90c2c781e8cd816e3b975ffc71a066fd608","datavalue":{"value":{"entity-type":"item","numeric-id":4301154,"id":"Q4301154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6620064cf59497ed371f7541d4908aaa8d9ed20","datavalue":{"value":{"amount":"+0.7563105821609497","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":"Q1960262$9C014D58-C76C-42B1-9612-8B5C9B6EA2B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1960262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1960262"}}}}}