{"entities":{"Q1330446":{"pageid":1341196,"ns":120,"title":"Item:Q1330446","lastrevid":67182213,"modified":"2026-04-12T15:52:04Z","type":"item","id":"Q1330446","labels":{"en":{"language":"en","value":"An algebraic construction of predicate transformers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 609578"}},"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":"Q1330446$7D84C6CE-792C-4BD8-A753-C2BA54EC05DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d75107b9bb1c8c98639debd2eb4ba9e1f4478417","datavalue":{"value":{"text":"An algebraic construction of predicate transformers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1330446$7AE37982-BEDB-4C20-B103-8B7C57CC2B56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a44a6e6ea41b8ab5187888c3582b4a686e4bbc1","datavalue":{"value":"0807.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330446$EB69F0FD-FEE8-46EE-8DA2-35764DC914A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84efb16fb341c93bfbd9998db8cef9662af5cbc7","datavalue":{"value":"10.1016/0167-6423(94)90006-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330446$B491BDCC-772E-44EC-9171-B3B8927CC819","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd7da412086b8b15808d88fef0b62eb55ea4ac59","datavalue":{"value":{"entity-type":"item","numeric-id":1330444,"id":"Q1330444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330446$5449A53B-98AF-4A97-BDDF-5E9E11E6CEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b13c2f82ad7b559e1d02bec32fe72e234e814e78","datavalue":{"value":{"entity-type":"item","numeric-id":1330445,"id":"Q1330445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330446$8A61480F-341E-4415-B46E-427AE1E7E1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b3429007c66b8203ecd4096f5e6c5d58d31e79b","datavalue":{"value":{"entity-type":"item","numeric-id":236450,"id":"Q236450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330446$0D1DB848-5FF7-4751-8A1B-A45CA3FB4280","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":"Q1330446$871CB666-5F66-4160-84C8-D9023FA31BCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c374f1f14c21df2f6c69ff33b3bb05ee47d4c53a","datavalue":{"value":{"time":"+1995-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1330446$DD824F6A-AFD2-4BDF-BD3D-4BED3B7085BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a405198e780fc15d2e71bf4f3e36a06ae9a9940e","datavalue":{"value":"The paper deals with the assignments  \\[ C \\mapsto \\text{Map} C, \\quad C \\mapsto \\text{Span} C \\]  for certain preorder-enriched categories [cf. \\textit{A. Carboni}, \\textit{S. Kasangian} and \\textit{R. Street}, ``Bicategories of spans and relations'', J. Pure Appl. Algebra 33, 259-267 (1984; Zbl 0577.18005)] and gives conditions for these operators to be inverse to each other. Several applications as indicated by the title are presented in detail.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330446$3D68CF49-001E-40E7-97A7-A6A92541FD7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330446$7AD20EB6-C2F5-49DB-AD93-D38CEA3739E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330446$4151726D-5293-49F7-97AD-1109F6674487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330446$2CAA60C1-BDA6-4824-B2D1-503AADAB351B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330446$B10F1982-564E-4634-9BFE-C5E639BC6050","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a262dccd7474b7094346ef7d5ed89a60764e52cd","datavalue":{"value":"609578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330446$3ECD1721-74FC-48B0-9FED-C8CAB1116C2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25e3804a77d0e5ab878444b471a1f9f454e2a041","datavalue":{"value":"order-enriched category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330446$EB1DB781-7DD5-4963-9B5F-1E6332AF6832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"602871299fda387e5fe93a711a6b4c2b0f27d2a8","datavalue":{"value":"span","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330446$D2824AF3-2576-4AC0-A358-5E587A6752AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3534ce13a0a2607997f0d545d35641025b09aa48","datavalue":{"value":"map","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330446$B85EB289-0414-426A-9D67-776B326566C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec38c879d678360e5c68770f9562d87512eac82e","datavalue":{"value":"pullover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330446$FAC159EB-5613-4A0C-B084-E3F725BD6252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67bcb9f98d5911ef0cfd0465e15c5bb98b9250","datavalue":{"value":"monotonic predicate transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330446$64EF19BE-B226-4802-B92E-1AAF208C006C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7f78b4cfd7a9c75e2b530969fc99d3d222123e1b","datavalue":{"value":{"entity-type":"item","numeric-id":173922,"id":"Q173922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330446$168C9C54-CB98-4F6F-9A68-B23849C2A48B","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":"Q1330446$50F8A46C-4E95-45FD-AE40-28157961556C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f14f3d90e42f23bd0b6e4e11d844662762f624c8","datavalue":{"value":"https://doi.org/10.1016/0167-6423(94)90006-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1330446$12F5E685-A18B-42CE-A0D3-156C7B0982F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48b475b39ea21bb12abc1948eefd847e0f0637e2","datavalue":{"value":"W2173455755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330446$D2C22F07-659A-40BE-93BF-386CD2F75518","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2817ff336bf0ca6b2ca7d723dbf4393141167836","datavalue":{"value":{"entity-type":"item","numeric-id":4281666,"id":"Q4281666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9660091dc587f0795470a45293fc606a889ba66d","datavalue":{"value":{"amount":"+0.8410154581069946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330446$3FFEEB2B-3228-4828-97FE-BA0B3C8874CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071821da955de9535111d5a5bcf718635f83dca6","datavalue":{"value":{"entity-type":"item","numeric-id":1330667,"id":"Q1330667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9660091dc587f0795470a45293fc606a889ba66d","datavalue":{"value":{"amount":"+0.8410154581069946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330446$C0F15E28-B10A-4A4E-A165-9EDE4D1DDD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed79a8a3a12b6c6ae0aa4c8480186364a76f503","datavalue":{"value":{"entity-type":"item","numeric-id":1093363,"id":"Q1093363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7a9833246b5dbaa12385c988501b885577e562","datavalue":{"value":{"amount":"+0.7822532653808594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330446$C2C8088C-9B9B-47B2-806F-D10B86628A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b67969910583224a3306c0e15d490bca1fb01f3","datavalue":{"value":{"entity-type":"item","numeric-id":3569038,"id":"Q3569038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a427615f1e7a038b2e6cee21dcd24ed86a74472","datavalue":{"value":{"amount":"+0.7592383623123169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330446$C830E7BD-8BDA-4EF2-85E0-0EEEBB76B0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be3b04bb90ac64eb645840d6b517c16aa38d99b","datavalue":{"value":{"entity-type":"item","numeric-id":4725716,"id":"Q4725716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a11648c0c45dab7a7aba83d39533100784e20e","datavalue":{"value":{"amount":"+0.7573673129081726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330446$766A7547-0094-4C5F-82B1-5646AE6B567A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic construction of predicate transformers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_construction_of_predicate_transformers"}}}}}