{"entities":{"Q5606282":{"pageid":7635842,"ns":120,"title":"Item:Q5606282","lastrevid":92736896,"modified":"2026-06-05T02:34:45Z","type":"item","id":"Q5606282","labels":{"en":{"language":"en","value":"Proving programs correct: Some techniques and examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3327832"}},"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":"Q5606282$0A9E86B6-0FC8-41AD-AE75-5044F060E019","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67bef68fe2e34fcf8b509d0fe49dcf4e23a0b2de","datavalue":{"value":{"text":"Proving programs correct: Some techniques and examples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5606282$556DDE4D-8049-4411-B1E4-D890BC45ABA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee9cc8fe4c44dc92446342a3cf83c119ad8684d5","datavalue":{"value":"0206.17601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5606282$94C330F5-E8EE-4F6F-9F7F-99A8340033C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"225e706b45738849f165668577b30ea3f87c2739","datavalue":{"value":"10.1007/BF01936865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5606282$9B1EBEB6-D54C-4136-9B66-39EC2DA26FDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5606282$1A807B4A-68DB-4963-B778-37E48874CB24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-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":"Q5606282$F27DD90B-3E26-4AA7-976A-9C6FCCACF3A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5606282$77674FD2-874E-40D0-96A2-43DF6EF25532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5606282$D383027A-CB19-4F0E-BF8F-01A2080CF7D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e99496e20327eb71b5599f762d47865ab909f813","datavalue":{"value":"3327832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5606282$5BD35E5F-EE12-4C45-AB5A-EE71DE8D9C46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a202ea570d5d1ae1a67823294f62c2b4eed2e045","datavalue":{"value":{"entity-type":"item","numeric-id":1843169,"id":"Q1843169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5606282$BFF1CB45-73C1-43E6-B47C-2800713B11DA","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":"Q5606282$BE813B8C-7D36-4BD4-85E3-15EB057A3E5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f815bf2ad909de0fa6e89988501157b6f777d2","datavalue":{"value":{"entity-type":"item","numeric-id":5554728,"id":"Q5554728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5606282$A1390357-2B10-4E70-8460-5EE4D00D0477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed32be8eebfa939344026e8c9cb301f260248e08","datavalue":{"value":{"entity-type":"item","numeric-id":5548674,"id":"Q5548674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5606282$21851A63-5404-4637-8AB3-DC5CA333CB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5606282$D51C95EA-4E57-4B88-8A55-ED4E8A19226A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5606282$ED94EFAE-00D1-47AD-B58F-B6E17747916B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1428c9a5a31636248fc81852945e32ffa3323d8","datavalue":{"value":{"entity-type":"item","numeric-id":5574395,"id":"Q5574395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5606282$CC7F2BEF-2516-4135-89C4-986F5010F5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43c22dca251af7d77dfb6e244149e6f4a8562e2","datavalue":{"value":{"entity-type":"item","numeric-id":5563105,"id":"Q5563105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5606282$F1192945-D861-4543-8620-E6373586C978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2fca6e297536c600ab77d2e3bcc38cd14cc3bb0","datavalue":{"value":{"entity-type":"item","numeric-id":5626146,"id":"Q5626146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5606282$F23FFECC-1B05-4171-971B-B334675B4A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3edbe1c11a52b15f1eabababd088bc63223becbe","datavalue":{"value":{"entity-type":"item","numeric-id":5618899,"id":"Q5618899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5606282$00684A2F-E762-4383-A5FC-240FAD022B7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving programs correct: Some techniques and examples","badges":[]}}}}}