{"entities":{"Q1138902":{"pageid":1149651,"ns":120,"title":"Item:Q1138902","lastrevid":66220557,"modified":"2026-04-12T08:21:19Z","type":"item","id":"Q1138902","labels":{"en":{"language":"en","value":"Correctness of the compiling process based on axiomatic semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3673504"}},"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":"Q1138902$B9B2D877-F096-4E8F-98CB-D8E2782CBF9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c082876af6beceba9fb6f01ad56b74b4fd3a6f76","datavalue":{"value":{"text":"Correctness of the compiling process based on axiomatic semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1138902$72B12449-997F-4ECA-A96A-0DE1A398F1F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f3e4263e6d2a54bb5f4627934fa835f9c0f097b","datavalue":{"value":"0432.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1138902$F110DB34-B3A9-4510-878F-2A261EAA0626","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c1324857782ba9bf92bf9d83e5379bfe2e58264","datavalue":{"value":"10.1007/BF00289061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1138902$BDC27A3C-49DB-4CD7-8F14-A185217E8F1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2475a9f15ca7be094556a0e7acf72a0f0e483d","datavalue":{"value":{"entity-type":"item","numeric-id":1138901,"id":"Q1138901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1138902$D124EE3C-A38C-4765-AE4A-94D09C666046","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":"Q1138902$8DD98E0B-1B5E-4582-A8F8-57177543D49A","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":"Q1138902$E5061843-3AE9-4AA7-A861-F037B1E36738","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1138902$18173AA0-5299-48BB-8CC2-02F97E35D8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1138902$5A1932AE-C921-40C5-8F48-E572483CEB19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e4d6c6f889058e5c3099e6c91b94ca8b0de1a3c","datavalue":{"value":"3673504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1138902$411F28F7-F545-4586-8CB8-C2CF16DBF491","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1138902$E3EA9036-AA44-4AE6-B378-10C891485E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1138902$A746FD97-F895-42E1-8045-8D45B0BA69FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1138902$7EE0F38C-C679-4E34-808F-4111670C848B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cce30b425518e533df7d51956dcca1b8e1507b6","datavalue":{"value":"verification rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1138902$BCD6DAA8-0191-46CD-B345-F4EAA00BDC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e87a4c8cc04b34f6164ab8a5f260b0263afb730","datavalue":{"value":"block structured programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1138902$64B03630-EFD5-490A-B476-41CE650B9BEB","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":"Q1138902$194F27E8-1B29-48BA-B79F-EA3080A661DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6b8722969e1efc6580b1a109ea0b984b78b88d","datavalue":{"value":{"entity-type":"item","numeric-id":4109274,"id":"Q4109274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1138902$763DE61C-C233-4A63-B390-9782641BD1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1138902$0983FCC4-5078-415D-8F71-280B9879462A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5285d79fb0a54034a765cc040755038d6ec0aeb","datavalue":{"value":{"entity-type":"item","numeric-id":2560721,"id":"Q2560721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1138902$6D0A1558-BD0A-4E2B-9BB7-0DC012F05164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638eb3a308c544ec7a423ab31468bc6929fab040","datavalue":{"value":{"entity-type":"item","numeric-id":4055144,"id":"Q4055144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1138902$6CC51304-04FC-4CBB-BB69-020640A73AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efda5b219e03cc9aff461dce389dc2b017b36ffa","datavalue":{"value":{"entity-type":"item","numeric-id":4131617,"id":"Q4131617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1138902$F96D5773-236E-4ED8-B2C7-789BADAE9907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842f71e6b1ce86df9c77df6a6bc0e68b033a0f97","datavalue":{"value":{"entity-type":"item","numeric-id":5674962,"id":"Q5674962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1138902$BF575067-595E-43B1-AA35-B1743E2A6FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebfd203c9b34af4acaca2fda4dfba24e6443146c","datavalue":{"value":{"entity-type":"item","numeric-id":4133101,"id":"Q4133101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1138902$FCFEAF51-ADC4-4DE0-A780-283E9BCF5EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006f116f11bb26f196a69ffd8274b32c303697a","datavalue":{"value":{"entity-type":"item","numeric-id":4105233,"id":"Q4105233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1138902$706DBBCB-883C-4872-9D8D-876EE653F5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e3ecd961503ea6dc7d98032d951740c8a4a4cc","datavalue":{"value":{"entity-type":"item","numeric-id":5653569,"id":"Q5653569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1138902$9EC688FF-4836-4F9F-B88E-919BDFF5C222","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correctness of the compiling process based on axiomatic semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correctness_of_the_compiling_process_based_on_axiomatic_semantics"}}}}}