{"entities":{"Q1162804":{"pageid":1173553,"ns":120,"title":"Item:Q1162804","lastrevid":42925214,"modified":"2025-07-16T02:17:14Z","type":"item","id":"Q1162804","labels":{"en":{"language":"en","value":"Control discipline necessity: Making the language as general as the implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3757674"}},"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":"Q1162804$FC283A94-9302-4D08-A452-6B40C868A8E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b482a529e653fb68f32f72f1206954a4607e4602","datavalue":{"value":{"text":"Control discipline necessity: Making the language as general as the implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1162804$E60E8217-D822-4BDA-A269-EA0985916671","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0919536e2373464cabec92db1a9a921d1811c157","datavalue":{"value":"0482.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162804$862F6E4F-3FAC-4D8A-AF37-3A4370F0347B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa7424ff6fc767f85e969874ddc8eb57f331a024","datavalue":{"value":"10.1007/BF01944475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162804$67F0A558-1F9D-4F1E-9479-5CD8A91D6092","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60e730add7659c3d4aba1d5f65ed9a41131782cd","datavalue":{"value":{"entity-type":"item","numeric-id":1113679,"id":"Q1113679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162804$5EF1BB72-F19A-4B30-9AFE-F7F4E4442F10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162804$77C96671-7635-4A59-BDC0-BF165C89A556","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1162804$6A36BC25-C6C7-4875-915F-C7DB70BE2553","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162804$72030337-8427-435A-B97A-58B78CE85E40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fed83fead5af01b6b52bff36e1b6c6dcd720fe9","datavalue":{"value":"3757674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162804$0AC64072-6AAA-4EAE-9A3C-BAE44E086279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accbac15c7a7a3d1f541e25585dccab673554708","datavalue":{"value":"22, 169-182 (1982)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162804$B3F2C875-1125-4278-BFCD-20550318509F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceb3b43e6ab4f4b228d5ae9d494ba51fd3ab60a4","datavalue":{"value":"formal verification of control structure implementation techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162804$8DDE6D11-6572-4444-8589-6B12B14CA6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"335c42622d76dc12d9a4e3a84a56d1a6588ae378","datavalue":{"value":"control semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162804$589DE3FA-41FC-4C61-83E5-EB74A42CE745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1162804$1EBA4238-8A5A-456F-BB7F-07BD48D2D759","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97a4b6d3c8d40b2dcd33f0a7a9a105bc3e94ffed","datavalue":{"value":{"entity-type":"item","numeric-id":13907,"id":"Q13907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162804$6967F700-C25E-4C5A-84D0-16F0B022FB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162804$0E77CE71-42B0-4ABE-8E50-B4276CF7C174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5de41cb066f6315975ff165b5ea0132d3a43d75","datavalue":{"value":{"entity-type":"item","numeric-id":33141,"id":"Q33141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162804$621F0842-3AD5-4929-9D97-3A99EBC966A6","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":"Q1162804$52B7FE27-C070-4AA6-B873-7F1DF24E93A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f624e703c1cf879dd907eee79eb8566494974d2e","datavalue":{"value":{"entity-type":"item","numeric-id":3922130,"id":"Q3922130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162804$706BF1C2-1303-42E3-9B06-F15E4C530648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16dca5a111bb1b40bf47c5a02f8daad32f03b313","datavalue":{"value":{"entity-type":"item","numeric-id":1145491,"id":"Q1145491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162804$1D802DEE-BD85-4EE7-9C0D-46AFC09591EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399559a37be87c83d2c168d608b3479b11d5681f","datavalue":{"value":{"entity-type":"item","numeric-id":5653547,"id":"Q5653547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162804$31FF5D40-5836-448B-BF2C-2346EEF65915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e7c8a7832f8413c48ea3d5830890f3be8614d0","datavalue":{"value":{"entity-type":"item","numeric-id":5630553,"id":"Q5630553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1162804$0665854B-45F9-4CC7-9E7E-0DA105E01F22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a35e05fd62ebe6ecc4c62113c6220c94f78c12ad","datavalue":{"value":"https://doi.org/10.1007/bf01944475","type":"string"},"datatype":"url"},"type":"statement","id":"Q1162804$55B7C4F3-CA69-46CA-9821-895CAAE500AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce5e20a14f04273443624b53d605a06ed3804d84","datavalue":{"value":"W2023447450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1162804$E1368070-F60B-471D-A253-6AC836AD8B52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1162804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1162804"}}}}}