{"entities":{"Q7361636":{"pageid":31520447,"ns":120,"title":"Item:Q7361636","lastrevid":105367844,"modified":"2026-10-07T13:37:17Z","type":"item","id":"Q7361636","labels":{"en":{"language":"en","value":"Algebra of Monotonic Boolean Transformers"}},"descriptions":{"en":{"language":"en","value":"AFP entry MonoBoolTranAlgebra"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35e08fbec2d1b48e91f8bd5564a69d35282f23c3","datavalue":{"value":"https://isa-afp.org/entries/MonoBoolTranAlgebra.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361636$C178271F-4C74-4386-B9EE-51C6E550FECC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e0f911d6f8277fb245d8e09b637e9a88b18bd10","datavalue":{"value":{"time":"+2011-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361636$6BD4E7DD-5DA0-4F9E-A757-A3C8C5C12639","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"e58535bbff9a4f8205212cab6c53fba3387933bb","datavalue":{"value":"Viorel Preoteasa","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361636$6B498B04-3597-468D-AEB6-FAA4A4F2DF53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6def819718b94ed982dfd5bf0b12c5fc406d4847","datavalue":{"value":{"text":"Algebra of Monotonic Boolean Transformers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361636$3214CA32-A379-4C92-B8C9-10A94E21C1FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"85ad3ea4ed3927e7bb01a8990b79a136b67cd0e1","datavalue":{"value":"Algebras of imperative programming languages have been successful in reasoning about programs. In general an algebra of programs is an algebraic structure with programs as elements and with program compositions (sequential composition, choice, skip) as algebra operations. Various versions of these algebras were introduced to model partial correctness, total correctness, refinement, demonic choice, and other aspects. We formalize here an algebra which can be used to model total correctness, refinement, demonic and angelic choice. The basic model of this algebra are monotonic Boolean transformers (monotonic functions from a Boolean algebra to itself).","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361636$208FC6D6-F977-43A5-91D6-086CD1B5F8BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$C32B231E-C70F-4226-8501-586477190C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$77F46805-B6FA-4B8C-96E5-66737D9DA260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c657890d3e4e594c9603629a24d3f25e9e327278","datavalue":{"value":{"entity-type":"item","numeric-id":3860820,"id":"Q3860820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$C8A61FD3-B19B-44EC-87A7-4506727846B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e707d4bae687b7a2d018b22ef15d22342b7b2c5","datavalue":{"value":{"entity-type":"item","numeric-id":1155605,"id":"Q1155605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$DC3BAC68-F999-4670-8248-3C6EA9B170F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2976aa90eeca3f6092c5fdf4fa1ff69fee0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1157144,"id":"Q1157144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$6292F1B7-3251-4A6E-AF79-FBBA7F00EC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d99c5a0e13ee889036714bc5394088e5f34dd18","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$FF431763-8874-450A-8830-9839223CFA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c283b72630fa748ec17f1ef3791310c374f00d01","datavalue":{"value":{"entity-type":"item","numeric-id":2576574,"id":"Q2576574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$D8DA30DA-9680-4AAA-9871-8ABB126B3D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f96f1b5184988ef14c3a8dd82b1d2786ba8272","datavalue":{"value":{"entity-type":"item","numeric-id":913495,"id":"Q913495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$025B8327-B2FF-491E-9FA5-A8AC452BB834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cae0b454d483b28d3315c63096dc9824543d40a","datavalue":{"value":{"entity-type":"item","numeric-id":706509,"id":"Q706509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$7B48919D-F962-4A8C-A375-0425AD48F813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$3A72305C-38F0-4A38-88B5-7B32D22DF203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e0964a69cdeeb98c62b167ed923916c4e674a8","datavalue":{"value":{"entity-type":"item","numeric-id":1306570,"id":"Q1306570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$FD1EE3C0-BF6F-499D-B8CC-F5338695B7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ffd403e24d1010da4c87211ba27f91cf64973d","datavalue":{"value":{"entity-type":"item","numeric-id":3878739,"id":"Q3878739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$5DC2B775-5CDA-4C94-8445-DDE195D24269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1176d6dc531102187fc93e4f8db95105eea855","datavalue":{"value":{"entity-type":"item","numeric-id":5944217,"id":"Q5944217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$333D6EA2-593A-41E2-BC17-69E75E5EAB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46c998d502727365cc53cafc586112f6c2f5388","datavalue":{"value":{"entity-type":"item","numeric-id":4222959,"id":"Q4222959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$C05F7700-FEA8-4026-896D-CEDA351303DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fb6d7f3f1cccd15ce00adc4bf2837f4b5b022d","datavalue":{"value":{"entity-type":"item","numeric-id":3947094,"id":"Q3947094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$4709D850-D78E-4F00-A7C3-6020BFC4E864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70dcb9ac3639ef0c5401bdc49751e4a2e1ef90b8","datavalue":{"value":{"entity-type":"item","numeric-id":1822921,"id":"Q1822921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$23A5A22C-7CA1-4F10-A3F6-14CFA831FE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d2e6fd26eb18539c5f0512d34bc03ce1c27649","datavalue":{"value":{"entity-type":"item","numeric-id":1104730,"id":"Q1104730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$796C7798-94B8-4361-ABD7-193EEC9AE16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b2b9be7e9ec2b06ba7626446ee03e791045925","datavalue":{"value":{"entity-type":"item","numeric-id":2732173,"id":"Q2732173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$4DC16603-01FE-4144-B39D-DDFDA8A02178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288e9539ed7661e715c4eb9511317e6936f53231","datavalue":{"value":{"entity-type":"item","numeric-id":2721096,"id":"Q2721096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$1E35709B-7CE0-49B3-96C8-E487CB6E3245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df2553495bc38f714aaa2197b34e11b69c06ef","datavalue":{"value":{"entity-type":"item","numeric-id":5674963,"id":"Q5674963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$2B78F9A7-67EB-47CF-BACD-7BA0AA83C76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0d73359790fe5afed5798ab5a760da3e7973c","datavalue":{"value":{"entity-type":"item","numeric-id":1283882,"id":"Q1283882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$7A30BA8D-EF12-42EF-A739-0BA2EA611E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d810ca512b6f14449f91854d88cb7111d9390f","datavalue":{"value":{"entity-type":"item","numeric-id":4370252,"id":"Q4370252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$ED9600CF-6FE0-4E96-89B3-000E5C70FB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1eb4f5c3274c7c63d84f3889b1d8811b71d5e83","datavalue":{"value":{"entity-type":"item","numeric-id":4412510,"id":"Q4412510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$1E059A81-FF8F-4480-8108-0168BF25D054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$3B85E9DE-D1F3-4194-B1C1-192B9B29813F","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":"Q7361636$827F997E-D342-405F-98F3-02B1127E2115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab1e2b1d00559219dbb7e95ff196f5547ed0556","datavalue":{"value":{"entity-type":"item","numeric-id":549676,"id":"Q549676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$658085B6-CEAD-4C56-AA67-4520D3C618D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb2a6a154950a8c292017ec031422ff8d0bb2ba","datavalue":{"value":{"entity-type":"item","numeric-id":1413082,"id":"Q1413082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$B1605AC1-2124-4207-ABE8-9D4682DE1531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$1A274F6E-DFFA-4439-83CE-12B559C32F2A","rank":"normal"},{"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":"Q7361636$42A88108-7A96-4E1C-8CC3-4115F276D891","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":"Q7361636$EB1321F1-9022-491B-9A51-D20B0E530335","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":"Q7361636$C8B7A5FD-63D4-4E4F-A849-C9B65316BD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$D777696B-C0D7-4448-97CD-029EE1F23269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b7e8541b8bf7dc514993aa6ba095a6f824bbca","datavalue":{"value":{"entity-type":"item","numeric-id":3922131,"id":"Q3922131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$45E38D63-841D-4306-8BDE-4E967A0C9DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9973d9908452a3ee7ccb08e8305df24fb8baa40","datavalue":{"value":{"entity-type":"item","numeric-id":3940822,"id":"Q3940822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$5137E2EB-22F7-479C-811F-5E6DAAB03D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3efe535bcb7591cc1698fe531f5ec491ca6b4da","datavalue":{"value":{"entity-type":"item","numeric-id":4511599,"id":"Q4511599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$9F7D7410-8333-49A6-AC07-B6E6A0437887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f2cf102ac22fcb156f211037b9bf3102d0e5031","datavalue":{"value":{"entity-type":"item","numeric-id":1251058,"id":"Q1251058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$8585AFB5-0F0B-41B8-AE55-6029EC312D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18aeadd9a555abca1a74d83a45b5992b82a9255a","datavalue":{"value":{"entity-type":"item","numeric-id":1578396,"id":"Q1578396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$01644AE7-B5E6-4332-AC50-4E349B644190","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":"Q7361636$E2E7DF3E-3777-461F-9182-023306379FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$D54AA9E0-3189-4807-A4B7-4FFD57836465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$AE1A4274-CF9F-487C-8247-87E2265C2464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$21B05F48-A716-4D09-B623-28B9B8AD521D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e08fbee52ade58ed107b3c10b7e1c4fe8d6b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1266505,"id":"Q1266505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$B0984DCD-5642-4431-8F10-578FCF12F803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d65b76dca9dd8bdaebc14729e427671c191430","datavalue":{"value":{"entity-type":"item","numeric-id":1887136,"id":"Q1887136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$37C490A1-7545-4142-A244-B39700543F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1289cc5354000e784ef8e86795440569cd400e94","datavalue":{"value":{"entity-type":"item","numeric-id":3836190,"id":"Q3836190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$51226446-170B-478A-8134-9E978AA3CE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28430ed9b4f7a26aeb0f032922db74966365595","datavalue":{"value":{"entity-type":"item","numeric-id":1843170,"id":"Q1843170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$83E33588-A155-444F-B68A-DD4DD4B36A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$65908B31-47AA-4E71-9895-071D73113387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985f9d20828abe33dd544faea2d39ec57ebe7fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3783260,"id":"Q3783260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$12DD27C5-C44E-49D3-B4C1-08BB6DBD79F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690a2cf3538761a016ee7f2e7f9e1e7cdbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$942BD56E-7B76-48A8-A635-062E841D7592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$656908EA-C00A-4567-95FB-BDAA11B04B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$90C3B0CC-524F-4CC1-B029-9B1A1B8EAC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03108486ad76dd03a09a8cc212bd13b5b04c547c","datavalue":{"value":{"entity-type":"item","numeric-id":3899469,"id":"Q3899469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$934086CA-DC65-4980-9F64-7EA46E6AC496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3e8d33ae9d602d2f1eaec1be89220e3de18658","datavalue":{"value":{"entity-type":"item","numeric-id":870278,"id":"Q870278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$B17F8980-8E44-473C-940F-48A922C09860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15af30663ff4a9d67f0ae5e190b118364d360f42","datavalue":{"value":{"entity-type":"item","numeric-id":1104731,"id":"Q1104731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$800047CF-2213-4FBB-B426-48260F8504BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8c8d124a78b7bc05b7543e4a39424af55fffb","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$1D986087-8BCE-4129-B5B3-3F362D489104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff91fdd17b290644b8158a8f8c228dd3a8f285d","datavalue":{"value":{"entity-type":"item","numeric-id":2268474,"id":"Q2268474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$DB7F9719-74AD-41FC-A023-0F406A906A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c3f13394696a79934f158748aed0ccfed1c632","datavalue":{"value":{"entity-type":"item","numeric-id":4436978,"id":"Q4436978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$82F8343C-37B6-4E3A-9182-8C8A90D34758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"835a104c973ec409cdd8c36de454c1ea8dd89ffa","datavalue":{"value":{"entity-type":"item","numeric-id":685621,"id":"Q685621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$04BABB69-30E5-421D-84E3-9AB531FA110C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30331b0843d8fad412757315603331be3191b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4711615,"id":"Q4711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$89B63CAA-7A4A-460D-B8FE-23D5242D32B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"828d8a6508cb5136b9fc44f1936b3d1c96aaa534","datavalue":{"value":{"entity-type":"item","numeric-id":1113659,"id":"Q1113659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$36602ED6-BF98-4DA5-AB44-2EE5F02C007C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$85924AF1-E5CA-4C82-ABD4-A6F39C106510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$132E22E3-8F46-4FBA-BAF9-4B546ACB9B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"122ab9d189cab2239accdf2ab3f97f2e57304f0c","datavalue":{"value":{"entity-type":"item","numeric-id":3038594,"id":"Q3038594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$665790C4-EF99-4400-AD6E-7014A69805FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$B102C2A0-6680-4145-9473-3505A933DCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fe4f7bbdf41a15f375fda905d86bb957912ea","datavalue":{"value":{"entity-type":"item","numeric-id":4247084,"id":"Q4247084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$75F2C249-700E-4478-A942-E4FC791D89E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c8bfe407ad0e36f6a16d0c6880d02a1d337f3e","datavalue":{"value":{"entity-type":"item","numeric-id":1607103,"id":"Q1607103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$4AA3E565-E283-4ED8-915D-E0DFACEA6216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$194E4ADE-C396-4511-B680-B2A2B001503C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135af0129bd5600ceebf0463cd399deed754d959","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$6800A4D3-24C3-4908-A004-79415B4AA187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6449fa32317f64e0e88162e1e76272b77ced27","datavalue":{"value":{"entity-type":"item","numeric-id":1272764,"id":"Q1272764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$DA809FF4-F1FA-4C35-9142-E06D9E79F946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$4F5F06C3-D825-4DD1-BA15-04B00997C04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$224BDD7B-67C8-41C4-BAA7-03FD06719663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e98101d00e3af5ccb56426d2ed5e1057fc0130b","datavalue":{"value":{"entity-type":"item","numeric-id":4501670,"id":"Q4501670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$0BFF4C36-6B43-4894-81E3-357B82CB4B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f5a1bf73ad7c6b6dc9013f79221f2ece1c6125","datavalue":{"value":{"entity-type":"item","numeric-id":1838825,"id":"Q1838825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$24474FE2-E542-48D3-B77B-88C440C2DA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371f8bec28162a098dee99195a54267929c6082d","datavalue":{"value":{"entity-type":"item","numeric-id":3012541,"id":"Q3012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$B202C01D-3385-4B52-879B-FEC0541AB598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d67f54629b43bb24548148f2bbc3f7e8e15eed","datavalue":{"value":{"entity-type":"item","numeric-id":732009,"id":"Q732009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$52D62C6E-94C5-42CC-884B-D22D6738CDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35593f56c469c37182022e5dfe9dfc791c8656c","datavalue":{"value":{"entity-type":"item","numeric-id":3098056,"id":"Q3098056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$0CC2CC51-11DD-4711-8387-1D55552A6178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894b153525483d659921aae617ccecc6f7826fb5","datavalue":{"value":{"entity-type":"item","numeric-id":2994494,"id":"Q2994494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$045B23F2-99AC-4D5E-B197-01367E6E782C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$BC13170C-0F32-44A0-A226-7C14146CA2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba024d1a6b0ca9a583a48fb26b370e679ebdb55","datavalue":{"value":{"entity-type":"item","numeric-id":2756785,"id":"Q2756785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$3ED4A066-47E6-41C2-84EB-03449B98F50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$81C029A4-B9A6-4AB4-B659-051F5FD541B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b80c2691123fae44f25217af70bbfa5da3a4035c","datavalue":{"value":{"entity-type":"item","numeric-id":4178462,"id":"Q4178462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$95AB1B28-A862-4CF8-BB16-F824E85A0BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$FE76B2D3-1971-4D47-BD0B-E2CD8B0B2105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1c3fa2453c158ab62a094f5481e2295dbbd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5528168,"id":"Q5528168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$CA092465-4069-4E45-8BE0-8AFAEE6F78BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7dee35badbafdef12cf49d8facb897d47ee0c2","datavalue":{"value":{"entity-type":"item","numeric-id":923890,"id":"Q923890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$E4436DDE-772E-4585-B0A4-D92D23B53647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1976c5d1389a5adb5bc82573f14ac938bec433","datavalue":{"value":{"entity-type":"item","numeric-id":5944219,"id":"Q5944219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$7BEE566A-27BA-43E2-A29C-A67FF946B373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3c6bcf72a5de1d80e0720cf0adb2c2733f7faea","datavalue":{"value":{"entity-type":"item","numeric-id":4945210,"id":"Q4945210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$4B24B99A-59AB-428A-B86B-064CD0F2DBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$D11FBE70-522D-4CAE-B5F1-018A7FA28CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62007f0a0e892a4c68e70726ff2369a9fb478399","datavalue":{"value":{"entity-type":"item","numeric-id":4178454,"id":"Q4178454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$91A601AA-C727-4764-9457-802FEAE24E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd1ee8ddef8c3617a21c4911ab4abb48a578a69","datavalue":{"value":{"entity-type":"item","numeric-id":4808696,"id":"Q4808696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$F17954BC-BE93-4F25-BE4C-14C2EF188340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$061DD3AF-8874-456C-B0B8-B46C82357E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fca8c6bae599173b38636aaeee9a044e8d5419f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$0B141CCC-AD5B-4800-A796-B5C15659E9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$B9CFF600-F5CB-4E10-86ED-E53F54EB7BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$63D70329-BCEA-4F18-BD52-958684E8F56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76be8b7525a713071e38a8fc2a89a0425945231","datavalue":{"value":{"entity-type":"item","numeric-id":4484349,"id":"Q4484349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$86292189-02DE-459B-9D98-C522584BBA35","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$A5287BC3-05FD-43B9-AAB4-0BF63E8E15F9","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"aa4063b6762439611785d47c082c0b40208f0442","datavalue":{"value":{"entity-type":"item","numeric-id":7361523,"id":"Q7361523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$FD0879A5-90C8-422C-89E1-35DA6214F332","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"aa8f6bd5a2b4440f838b34acf103bdf45fee4f56","datavalue":{"value":{"entity-type":"item","numeric-id":7360797,"id":"Q7360797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$AB3D6E27-D5F9-4A01-A3D9-102AD413C7BB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361636$32501293-DBA3-417D-9612-237920228CC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebra of Monotonic Boolean Transformers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebra_of_Monotonic_Boolean_Transformers"}}}}}