{"entities":{"Q1893538":{"pageid":1904280,"ns":120,"title":"Item:Q1893538","lastrevid":71707245,"modified":"2026-04-14T00:01:28Z","type":"item","id":"Q1893538","labels":{"en":{"language":"en","value":"Predicate transformers for reasoning about concurrent computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 770313"}},"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":"Q1893538$6F3C017E-385E-4984-AF92-CC1A623AB54F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e69406d5b026bcaf54ead315b084391619cb15e2","datavalue":{"value":{"text":"Predicate transformers for reasoning about concurrent computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893538$7487DFAA-036D-4953-9B64-AD45F57B9B68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ee2ddbf25bce8ea4f9a9b2322d913fab36215da","datavalue":{"value":"0939.68645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893538$37653237-5519-4B34-A592-08C571FDA2A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14828132f129ea37eb42ffe1a6cb2011d7634477","datavalue":{"value":"10.1016/0167-6423(94)00033-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893538$93BFC7F1-8CCC-4DE0-A654-4F97310A30E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"613df68fa62667b65d3e5e1997bd8d1766de280b","datavalue":{"value":{"entity-type":"item","numeric-id":239148,"id":"Q239148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893538$DA9533F7-DCBA-4AF7-BE3F-84A25466B2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f026f4210344de1e950f088c725b08979f750e14","datavalue":{"value":{"entity-type":"item","numeric-id":751847,"id":"Q751847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893538$E44FEE15-BABF-44EE-8F8B-F5B103B40F85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893538$19726DDC-C1EF-4504-82E7-C5EF74DC49E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1842a3f5b95639134ef164094a1ef4cfb436a79","datavalue":{"value":{"time":"+1995-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893538$F3C9AA08-E83C-4658-9827-8C3BA31B4C6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893538$EA08DD6D-0CF9-4F3D-B0AB-794CFABC08F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893538$2018DA4F-9AB3-4581-BD7F-32BC06570C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893538$B7845DA7-F480-46FB-95D7-7A3C20865B87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e33af15eec1db8d7ad09fe54ac53b56086f549b3","datavalue":{"value":"770313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893538$24C6A3EA-A8D8-45DC-8400-2A7FBAA3DDFA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67720db460794d76d6e59ab2d221c3e383431bf5","datavalue":{"value":{"entity-type":"item","numeric-id":16618,"id":"Q16618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893538$CCD46B28-0D2D-42D9-8980-66E3FC9DD1A7","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":"Q1893538$88AA11D5-6D02-4C73-96C1-FA23BB968280","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate transformers for reasoning about concurrent computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Predicate_transformers_for_reasoning_about_concurrent_computation"}}}}}