{"entities":{"Q3871897":{"pageid":5901802,"ns":120,"title":"Item:Q3871897","lastrevid":54582245,"modified":"2026-01-28T21:54:42Z","type":"item","id":"Q3871897","labels":{"en":{"language":"en","value":"Synthesis and Structural Analysis of Abstract Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3675286"}},"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":"Q3871897$06EC3883-B4C4-489E-9FBE-3857EAB03461","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9217c15c92283b7e490e866d8ce56fa87c87c11a","datavalue":{"value":{"text":"Synthesis and Structural Analysis of Abstract Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3871897$BCE6F032-C690-4040-978E-D386D05E6719","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88f7fdfa2e17f11e7df6ef5d40bee468f2eda7d3","datavalue":{"value":"0433.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3871897$D50FDE0D-6FAF-43E9-8389-CE1B68783256","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d331bef3704d5b1609a3c808649176ed1f6ad560","datavalue":{"value":{"entity-type":"item","numeric-id":3871896,"id":"Q3871896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3871897$CEFFE8EE-54FA-4A4A-A605-8C2FB0C5A08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bd3f9c6b130002649fc17cd74733f2ce74dfeaf","datavalue":{"value":{"entity-type":"item","numeric-id":2265793,"id":"Q2265793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3871897$FE78A365-CD8E-481F-B6C5-80FD17BBF322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78642ed7a308941f2f62825c0a1d3b0da80a2753","datavalue":{"value":{"entity-type":"item","numeric-id":1391892,"id":"Q1391892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3871897$2DFB9655-5956-4C87-9FEC-9CA51FBCD24A","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":"Q3871897$684E42C1-9EBE-4C6D-87D3-71221C76E07C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3871897$038AEF59-5756-4A05-AF4A-ADB581786D31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3871897$C8D782CF-B119-4091-8128-D478773E031F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3871897$69B91AD2-4139-491C-9326-C9C151F34C0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"590e98c2335bccd31be9e1d7e62dbebb9c59c6fb","datavalue":{"value":"3675286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3871897$69A96229-A448-478B-B0FC-707E78CE8331","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54a759fea7de5e5b966da64ae166994ac115fac1","datavalue":{"value":"structural analysis of abstract programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871897$EEC0892C-8801-4EF9-9D49-B125E482428D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871897$83B728B7-721D-4712-8167-2AC33A50DB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bad1f6d15c6fa43a3793f9e8214ef203517a0d1","datavalue":{"value":"control structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871897$2BEF79F0-4277-416A-A668-A8A4326BF3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1b85e74f39c79371baa2672a5875be44df94da2","datavalue":{"value":"restructuring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871897$F05E9BB4-A363-4B86-88A3-4D167E936F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd465a03f78bbc76168832ae3d6bfbeff5387fa5","datavalue":{"value":"Quicksort","type":"string"},"datatype":"string"},"type":"statement","id":"Q3871897$80FE1702-EC2D-49CF-B1BA-EAC3B6F19CCF","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":"Q3871897$B2E42A5D-CE92-4827-A58B-69029C05C2D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a71de6d57761eaab9db3b3dce939a38ff54f91f7","datavalue":{"value":"https://doi.org/10.1093/comjnl/23.3.243","type":"string"},"datatype":"url"},"type":"statement","id":"Q3871897$87987960-A98C-4A16-8D37-F2A751252C9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"775a08bb1fd9845452a7a879ec0a1273e681cb1b","datavalue":{"value":"W2103301877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3871897$7FC47AB7-88E9-49A5-A474-54232D070E6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c31ed5ca7a0819038b42e440a541575cc4c999d9","datavalue":{"value":"10.1093/COMJNL/23.3.243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3871897$11BACF38-F351-4DC1-8E2F-24311902945B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3871897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3871897"}}}}}