{"entities":{"Q1242447":{"pageid":1253197,"ns":120,"title":"Item:Q1242447","lastrevid":69972672,"modified":"2026-04-13T11:35:03Z","type":"item","id":"Q1242447","labels":{"en":{"language":"en","value":"Proving programs correct through refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3573228"}},"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":"Q1242447$F965FFF3-03E5-42A7-A367-756F64A8E0E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b47d23ea030556f29596144412f2a32b3bdc56a3","datavalue":{"value":{"text":"Proving programs correct through refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1242447$67CC91A9-B3BA-45D6-A2D6-B6AC47B1AE16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a9b6286ab07a0b10ec8dae9e1d45bcfca1fb60b","datavalue":{"value":"0367.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242447$86EFAC9B-B39D-49AA-9838-A263031D5C08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45f008193f5a13168ce4d8eb6123c607561f9fe6","datavalue":{"value":"10.1007/BF00289073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242447$4E1194C4-5895-4C1E-8CF3-D8C3EEDBB4BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fee1af7c75b0ea3dfa0b43ca6bf6d00eb6b2ceac","datavalue":{"value":{"entity-type":"item","numeric-id":1242446,"id":"Q1242446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242447$F1F3D9A9-FD05-40A2-91E8-75B9C71F23DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242447$32950838-1A4C-4B41-A92B-FEFA4BE1DA91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q1242447$E38546BA-C595-4FE7-8EC1-9019385F048B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242447$6D7CDE35-9FB4-4961-95FE-84DBB6539F82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bc7ed187e6869aa3efa7bab9c363b8edbeaf94e","datavalue":{"value":"3573228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242447$4F25A8A3-13C7-4C84-AF0E-9DCDD8E0409B","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":"Q1242447$A253CC8F-C3AA-40D9-95DA-B6E05CB169FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdd4039390b89be98f162a7f08c84d89b026937","datavalue":{"value":{"entity-type":"item","numeric-id":5684216,"id":"Q5684216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242447$35ABE6C6-D01B-4964-8747-50B46A1D27CA","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":"Q1242447$273109E0-59BF-4DFC-B342-DFC87BE1BECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242447$847670BD-D0C8-4A34-93B8-5F5D7B6EEB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242447$49B98309-51D8-44D9-B4A1-E409105F95D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638eb3a308c544ec7a423ab31468bc6929fab040","datavalue":{"value":{"entity-type":"item","numeric-id":4055144,"id":"Q4055144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242447$AA94D61B-3EB6-4953-8BFB-64D569247DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa75c4f9413b9bada839a20074f60cae666ce7df","datavalue":{"value":{"entity-type":"item","numeric-id":4766572,"id":"Q4766572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242447$147039C7-F962-425E-A7A3-8E1D1E2C6153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2e83e8d2a85326fb9a891c06371f98765ab68a7","datavalue":{"value":{"entity-type":"item","numeric-id":4130971,"id":"Q4130971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242447$6AFD5885-C4FE-4420-9FA9-3B7D4898E8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bf110ef857931dbc1dce6bb544e1f620107b525","datavalue":{"value":{"entity-type":"item","numeric-id":4134943,"id":"Q4134943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242447$A52B79E8-7F9D-4633-9D1F-D221E80C745D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1242447$4081B2BE-7B3B-43AD-8BD4-397AD82CDB4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving programs correct through refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_programs_correct_through_refinement"}}}}}