{"entities":{"Q3048204":{"pageid":3058920,"ns":120,"title":"Item:Q3048204","lastrevid":45329149,"modified":"2025-12-05T15:36:16Z","type":"item","id":"Q3048204","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3642675"}},"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":"Q3048204$88961B7A-5EEE-4CAE-B2BF-F5C04F91206A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85830de5bc7d7d5666267f6697f7b4b04d1949d6","datavalue":{"value":"0413.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048204$16252B3E-5DF7-4723-8F62-317BAAA53849","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3048204$567BF4EA-847E-45F5-BC11-F20570509CC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048204$05D79CE5-9F04-46E1-9BE4-D0434F995C49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22f99dc1443cff3925f39b7954cb34afc2798f8d","datavalue":{"value":"3642675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3048204$C750945C-E01F-4A3C-8D09-3E4742139D3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048204$9673B832-9006-488E-B52D-ADA727B728C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ab3bbfb2da1f12603ea8d8ad04e7e07663631d","datavalue":{"value":"partial correctness theories of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048204$6EE8EE4F-D693-4674-A3EA-0B1001B5ADDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9240a10bbd45b50e661b14520f74799342c57a07","datavalue":{"value":"Hoare-like theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3048204$DFD0DBEA-D403-442D-AC35-A7413917730A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b70e9e77e4f1b064cc378d54dc586dac5f1d3270","datavalue":{"value":{"entity-type":"item","numeric-id":1109753,"id":"Q1109753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3048204$3BFEA485-F16D-40CA-A430-431E3D977054","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":"Q3048204$B20A3037-A748-432E-BC1C-A48ED342EC08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3048204","badges":[]}}}}}