{"entities":{"Q1156476":{"pageid":1167225,"ns":120,"title":"Item:Q1156476","lastrevid":42916707,"modified":"2025-07-16T00:22:50Z","type":"item","id":"Q1156476","labels":{"en":{"language":"en","value":"A simple relation between relational and predicate transformer semantics for nondeterministic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735101"}},"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":"Q1156476$B67B03D5-FDCD-4A72-A122-ADD1AE578EB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3f5f537f5fadd9d1f1602378b12a4ef6ddf4b7a","datavalue":{"value":{"text":"A simple relation between relational and predicate transformer semantics for nondeterministic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1156476$A24A080E-1F6B-4962-B466-077CC902E4FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f35232272d90d05d2f7a4be997fadf712eb8c6c","datavalue":{"value":"0468.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156476$DC389B68-3510-4EFD-8CB4-6DACE8C30D9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a034d8c6b4401135d330609ed68ba490d2d96a35","datavalue":{"value":"10.1016/0020-0190(80)90048-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156476$565B8A41-5B12-4D0F-8FA8-F1A15978654E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6be0758ab24e32065513e953f1c6c34b492ac29","datavalue":{"value":{"entity-type":"item","numeric-id":671405,"id":"Q671405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156476$3EE27E3A-ECDD-4C39-95DE-9384A6E563E0","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":"Q1156476$80F1A45B-475C-4551-92FF-F0045BD0D007","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":"Q1156476$EB203BBD-8ED3-4F81-8DB9-306E245A3F70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156476$D7BC68B2-B6D0-4F5D-80A9-7507D3DEE564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156476$5F0237B9-F98F-47CC-BD60-4A2BB853E1F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ef03323ffa48e2fabb73c17bad91ede5a4dbe94","datavalue":{"value":"3735101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156476$4A164B99-33F6-4460-936C-7B0E8BBDA1B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e381b994a9c0ce3eb69287257f5288ebf06f2b7","datavalue":{"value":"nondeterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156476$F5A248A3-C066-41AC-A970-9F87EF325CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156476$7EB53F26-3C73-41F1-A138-1926A66D5C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f11205ddc68e722cd2520e50121e7f1457b1482","datavalue":{"value":"predicate transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156476$960DD32A-64E5-486B-85B7-FC95FE4991F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156476$1544790E-78EC-457A-AAD7-2B8BB5449E8C","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":"Q1156476$E126AB97-4EF2-46F8-9366-FB04BFB7CE30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36bc814dad4cf41bc969790ba52fba00756495cc","datavalue":{"value":"https://doi.org/10.1016/0020-0190(80)90048-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1156476$22A70B0C-1F1C-4F4F-A004-0E97835B2817","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8684788cb4144b2f778ea481509168d1ad459e37","datavalue":{"value":"W2077049952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156476$E6E7D47E-9060-4BE4-A57F-7A5E2C4CA4C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156476$F7018F0F-EEED-4ADD-834E-2D3D8C4828B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156476$71DBEA0E-C7A9-4D64-B18D-6F4114E9F636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d94c85e0c1abe18a681843ab773f8f881ef0a56","datavalue":{"value":{"entity-type":"item","numeric-id":1235968,"id":"Q1235968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156476$EF74B128-F285-4AD5-B881-D3843CF50DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156476$548301A5-3146-4B40-A982-420C806BE3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3ca9fc3aae0e682a4fb157c408b25328a8cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2561836,"id":"Q2561836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156476$0095935B-1889-4AA2-87D2-02FAA844DFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b316551aa6a960f004f8b277b61de6cd926db3","datavalue":{"value":{"entity-type":"item","numeric-id":3938526,"id":"Q3938526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156476$60051C17-9429-43D4-B14E-CC1B3F11B68A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1156476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1156476"}}}}}