{"entities":{"Q1225928":{"pageid":1236677,"ns":120,"title":"Item:Q1225928","lastrevid":66383547,"modified":"2026-04-12T09:43:05Z","type":"item","id":"Q1225928","labels":{"en":{"language":"en","value":"Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3511569"}},"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":"Q1225928$2C3661DA-7588-4698-BC78-BE87869BADCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d4d2e91cc93897cceb2f0fb69f945964c107e40","datavalue":{"value":{"text":"Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1225928$1218CF1D-BB78-40CD-B028-00D5E1EB1231","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcc75d405e5664306c3e11141fdf911799b7abc8","datavalue":{"value":"0326.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1225928$49062C11-4CC1-4676-B2FF-27EDC3E035D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5eadae004d1e5652b1ab9079e72a55c2c9f7ea2a","datavalue":{"value":"10.1007/BF00288660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1225928$5D9AABF6-BAA9-49BC-BBFE-291A6A020B78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27c6d7c8fbd24905486cab75e7ac6d40f5402778","datavalue":{"value":{"entity-type":"item","numeric-id":1152948,"id":"Q1152948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1225928$CF51FDE3-B696-4BED-B49D-DE584B157C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1225928$7FEA19FA-911B-4949-BF6E-7AD09E54E5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf6ed44237c8a846b39f80fa5d14c2c303f7cd80","datavalue":{"value":{"entity-type":"item","numeric-id":676843,"id":"Q676843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1225928$7EF58420-A252-43CE-B093-6518AF5CA58D","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":"Q1225928$7EAF4DD1-9743-4C89-9373-377ABB60E45E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1225928$5604E941-71DF-4FDC-AC5F-44A540355DE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1225928$7A1068A2-863C-48C4-87E6-F6B8FC38D7C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4967470e4edfc232297dd662770b0bc3d41efbfb","datavalue":{"value":"3511569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1225928$3214B42A-95A9-4CFA-85CE-646DEC2E5914","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":"Q1225928$1341336E-7119-4272-A33D-D042CE844A80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb6ff5311a74b34184b2722f45306b1bbefaa27","datavalue":{"value":{"entity-type":"item","numeric-id":2550288,"id":"Q2550288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1225928$C10EFB6D-95AC-45FA-BBED-6439030C342C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1225928$C56E50A8-B3ED-45DD-9381-2933D1555051","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9c67cfe719342e8203d56b33fcb42d0d6147f25","datavalue":{"value":"https://doi.org/10.1007/bf00288660","type":"string"},"datatype":"url"},"type":"statement","id":"Q1225928$84181340-7A68-4185-A882-9C756370ED07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c755b4fd30033e73c61e5ce5ff12979b09be1f7c","datavalue":{"value":"W2023441400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1225928$4E8CD357-2F81-48D4-9F56-E5EA126F95DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Remarks_on_%27Program_proving:_Jumps_and_functions%27_by_M._Clint_and_C.A.R._Hoare"}}}}}