{"entities":{"Q801657":{"pageid":803505,"ns":120,"title":"Item:Q801657","lastrevid":64442307,"modified":"2026-04-11T19:53:44Z","type":"item","id":"Q801657","labels":{"en":{"language":"en","value":"On verification of programs with goto statements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880069"}},"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":"Q801657$D0D107AE-636C-48BB-95C9-035D51E9F210","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08f1188c57c3bc0f61aee86a042b3f5088ed07f7","datavalue":{"value":{"text":"On verification of programs with goto statements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801657$216977AE-AC96-440A-A538-AEF3C4685D9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b48516b527a2acfd0eabe1c99acb2bc1c1dc1163","datavalue":{"value":"0552.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801657$EE496BCF-267B-4E09-8414-1CF9866D9BD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b58a4f4649c7740ad8455a244dc38a1974f5752a","datavalue":{"value":"10.1016/0020-0190(84)90115-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801657$1ABC88AE-2580-4FC7-9871-F9E86A016C29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801657$6DD051A4-636C-4267-84BA-C61606294C88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801657$FD8BF932-6F2C-470B-9DFC-BC0749FBA7E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q801657$7B0DFB8C-A6A3-4B08-887F-F424605A6661","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801657$A6AC38D0-6B69-4981-805D-1EDCA441D070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801657$155C5439-859A-49D6-8522-2FEEFB391A5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbaf1dcab1f99b33dc1649c5d8f4b1496de0dfc0","datavalue":{"value":"3880069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801657$287D4B61-C0AA-440C-BAD5-0EB6C0A580A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5206a2359ec2a279c7084b042456f0e836656036","datavalue":{"value":"verification of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q801657$88372134-B733-4076-A395-C3A3C4E7FC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f382e209fb3f20a3a6f7649cbbcfd8c2bdfc67fc","datavalue":{"value":"goto statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q801657$ADBC77E3-BBEC-4B9D-AE4F-2A4CB2B0B9FD","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":"Q801657$B4AC77B2-FF0B-47E4-8E67-063E6B56545D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4291ad30441a970ad9bb71917c8d690c72772fb","datavalue":{"value":"https://doi.org/10.1016/0020-0190(84)90115-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q801657$7916219D-009B-4A3E-91F6-F53687E86D3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"baff46121fbb9afdbea9112147347c152176df6b","datavalue":{"value":"W2019474761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801657$172085F9-0E97-4099-A40D-B3F6AFEA6388","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f87a41a66ee230b488d7068e4513e9bad9d5a8c","datavalue":{"value":{"entity-type":"item","numeric-id":3853101,"id":"Q3853101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801657$BB640A45-D807-4516-A206-0E9B1A19319E","rank":"normal"},{"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":"Q801657$591FFC26-C0B6-430F-8753-4A32D100B594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423ecb44ccefd2a3d1e6736f0bdd2925c8e12d07","datavalue":{"value":{"entity-type":"item","numeric-id":3875311,"id":"Q3875311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801657$DC294CF4-ECA1-4C11-91B0-4B3D79DC0CE2","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":"Q801657$0D13CA9B-3EAB-4AE8-88C7-67BD8115411E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afe3c4598d59bc55bbd67da44c6d14bb08f1015","datavalue":{"value":{"entity-type":"item","numeric-id":4136516,"id":"Q4136516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801657$2A5D07AF-83C0-4AB4-9F3A-DEB3E8DEB1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481d78a79f18ce6dadeb3fc5099daa3eedefeb4d","datavalue":{"value":{"entity-type":"item","numeric-id":3959405,"id":"Q3959405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801657$79483583-584D-40A3-AEAA-1BD9A6936479","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On verification of programs with goto statements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_verification_of_programs_with_goto_statements"}}}}}