{"entities":{"Q6946655":{"pageid":21183507,"ns":120,"title":"Item:Q6946655","lastrevid":75971847,"modified":"2026-04-22T08:55:08Z","type":"item","id":"Q6946655","labels":{"en":{"language":"en","value":"Rigorous software development. An introduction to program verification (to appear)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8076322"}},"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":"Q6946655$FE09E37A-3563-486E-8C36-EE293AFCE79B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"601439db515ad824273f18a5e7989117f4ecedff","datavalue":{"value":{"text":"Rigorous software development. An introduction to program verification (to appear)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6946655$ED57EB71-64A3-46CE-BCB1-3D945BBB4A87","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":"Q6946655$47D3F26E-FD20-4FA3-8CD8-09401AB0F2F2","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":"Q6946655$63DB284D-A4EA-4420-9D4D-BA20B2AF81BD","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":"Q6946655$5B62FA64-242F-44EC-B3A6-83473CFAD33D","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":"Q6946655$879AA1BF-43BA-4689-9501-D76A0D3FA18B","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":"Q6946655$B335C5A7-F17C-48E3-8327-3953D5D30E01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92e52dd11d4a4a87e99ca1dd58ff5812f369c9fa","datavalue":{"value":{"time":"+2025-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6946655$DAF173E5-ADA2-4C2F-AD21-44FFFE49DCAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946655$B819E97A-1A84-4E12-84A4-F3F904C702BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946655$43E98A0B-9B28-45F0-9731-0092FE7CF522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946655$81E19783-3871-4E90-9EE4-D6A06710A96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946655$1B565B7C-B7F9-4179-AA9A-809185B840D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44ec68b47ec4f70649a2589ef482fbffb924b987","datavalue":{"value":"8076322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946655$810E5F1E-91AC-4554-97FF-1FB32B7E5C42","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":"Q6946655$C4B98AD6-905C-4A5A-A245-FF40C723743E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rigorous software development. An introduction to program verification (to appear)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rigorous_software_development._An_introduction_to_program_verification_(to_appear)"}}}}}