{"entities":{"Q5549412":{"pageid":7578972,"ns":120,"title":"Item:Q5549412","lastrevid":39612916,"modified":"2024-12-30T16:09:40Z","type":"item","id":"Q5549412","labels":{"en":{"language":"en","value":"Proving Properties of Programs by Structural Induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3263664"}},"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":"Q5549412$090FFDDC-2AD3-4C7E-9850-CC3C1684A1D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a00f205c57d040140a37354c7ae632ed0a5f840","datavalue":{"value":{"text":"Proving Properties of Programs by Structural Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5549412$E5750CB2-4C5A-46EF-B7FD-2A8F9D274238","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca2c21432b91bd5d190d8df12996026654fb2f25","datavalue":{"value":"0164.46202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5549412$16B6EAC0-A9C4-49F7-BDA9-F08A814FBF58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5549412$D0303586-4E77-4B24-9E6B-BB98BFAF0AD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ebb271ba779bdc18e731b88d6d6d8739d7e37f","datavalue":{"value":{"time":"+1969-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":"Q5549412$651AACAB-CEA8-485F-B17C-110AAB908D69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8df14a72d59475d536b50702bbb722d4551d5dbc","datavalue":{"value":"https://semanticscholar.org/paper/b3fe91923c1356a8c6dee2c725dd11fcbfeae903","type":"string"},"datatype":"url"},"type":"statement","id":"Q5549412$26CFD0F6-C616-4B4C-B497-480DF4CFD93A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cff0259b55501f68f892c6c77580276d9f19beb","datavalue":{"value":"3263664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5549412$52DCC626-805C-496A-ACD4-5D45E3D923B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63f4b05707b550cfb67a57522ffdf0a6ea1fb73","datavalue":{"value":"numerical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5549412$192172A0-1277-47BA-96CD-B2B9A616A559","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf8e0a1d6097cb2f9e59b0a8db1af8f459f9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1183596,"id":"Q1183596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5549412$D1436F0B-BB7D-402B-843F-78CE679C6A9E","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":"Q5549412$0291E086-B732-48B5-AFA3-6EF83E3C3B22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8504dca30350dc54a5327782b33a9dab4fd2c1c","datavalue":{"value":"W2159709550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5549412$9C5780F5-9BBC-4F08-882B-847676F3BD7B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"83e3d50501f9df17f9ea0afa9c3f815f251fb7c0","datavalue":{"value":"Q56168941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5549412$D0775B19-8188-430D-848B-6B34DD3B1D55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea6027bfddb5c91cac0721e3f6b2bb7a8f6e57cb","datavalue":{"value":"10.1093/COMJNL/12.1.41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5549412$A5931169-D73B-4701-898B-1D76F38D78D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5549412","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5549412"}}}}}