{"entities":{"Q1059405":{"pageid":1061253,"ns":120,"title":"Item:Q1059405","lastrevid":66161760,"modified":"2026-04-12T07:57:47Z","type":"item","id":"Q1059405","labels":{"en":{"language":"en","value":"Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3903992"}},"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":"Q1059405$AA616B47-DC02-4C89-9FA5-4B6282EF0604","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43fd46adb67b2f558b3e12e057ecdf9067f3a6b0","datavalue":{"value":{"text":"Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1059405$D57673C8-F4EF-41FF-814C-2E219D4CE835","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60541b55bf345267a62dc1f4e668b23ac4944fa7","datavalue":{"value":"0566.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059405$DFF53444-0418-478D-9975-6BB3EA2010C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0629e79cf4702e5d9810d558ed8128e6df8c35a4","datavalue":{"value":"10.1016/0304-3975(84)90036-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059405$F3983D02-2065-4112-A009-71295C20853F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$C471E524-15DC-4AD7-B8C4-60A0BEF479E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1059405$15833F62-D323-42BC-81B0-CB02DF0D733B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059405$9380351E-7441-4B3B-BB35-1E5FB14A6963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059405$F5672242-7735-4696-BB7E-B5978831787B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1920ab6185b95371b9fa4a99879f31424295fa24","datavalue":{"value":"3903992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059405$3CD0A6B3-3675-442F-84E6-D4DBF23B8D85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059405$87A10474-E694-4E46-B942-0846A5EBA282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059405$52BA79AF-0FB5-4A8C-B88D-D2861381FE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60854c6f014815d3d4006ea2cc783aeec0c26804","datavalue":{"value":"colimits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059405$2AD7948B-2B50-4B67-B2EE-D177C74A9BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"643dd70d945ebf3dc279fef6a7098c7b2711a6a1","datavalue":{"value":"comma categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059405$E68A3C50-5568-4DB6-9891-97082DDE5B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ff4f35019ea5af4928a33c22c6ddc5c25c8edd","datavalue":{"value":"two- dimensional categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059405$8C791253-1DE3-4701-A040-96CD725623CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307a0aa7720fc50c5c38aa102a2bc7f75cac371d","datavalue":{"value":"program specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059405$9610FD92-879D-4623-8A73-F2B54FEFCAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0fd35da9b65233eca4708b7e318b4f2a158c498","datavalue":{"value":"CLEAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059405$4A323001-C5EE-4648-B976-C32416BACAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a30c23aea548b006b6b6ef6528b0dbe1d776f73","datavalue":{"value":"free theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059405$9FD4153A-C06D-43C7-86F5-E4C5721F0E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d4464c6c77aa75133cf75a8f41a549d4be82db","datavalue":{"value":"calculus of operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059405$D614632E-B008-42C9-A104-B7E524492FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d95e973ca0a047561b6188492e73dc1ff9841985","datavalue":{"value":"signed theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059405$E52DBD6E-7B17-4373-87C2-9FF6ECDBA48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa66deb3527c0a0637449684c83aa069d1614be3","datavalue":{"value":"abstract theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059405$C9FF0167-50C4-425B-87B5-B4E798E14147","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$1ACFA99F-8BC2-434B-843B-2502BE955F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf8e0a1d6097cb2f9e59b0a8db1af8f459f9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1183596,"id":"Q1183596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$6496761C-0A2F-40EF-938E-6048284FCD67","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":"Q1059405$8084B121-05D0-4B30-AAF3-5BF5D55B6925","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"869c2081c172482d42a8236e0546938f7a3c75d5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90036-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1059405$314A8255-2763-4FEB-B356-B0025C03A7D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"837714f3690cdc651ec0cc35fe4ac96f4d656fdc","datavalue":{"value":"W2060842554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059405$76B91FC2-B782-4692-988A-DB9BE0FD70A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe4374b915f33ccabe7bb9f6d8d42cc28e82909","datavalue":{"value":{"entity-type":"item","numeric-id":4063610,"id":"Q4063610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$93DA8ADF-3409-4929-99AF-F1CE4DD88879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5dcaf87e1f6745acda14dd55addff15f8a3933","datavalue":{"value":{"entity-type":"item","numeric-id":4134935,"id":"Q4134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$1587C7AC-5104-4ADE-9A04-53F0BFB1BAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43b1ff740b751b5ce4b667da10ede6a25effedc","datavalue":{"value":{"entity-type":"item","numeric-id":5545978,"id":"Q5545978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$3446FB74-6BCF-4320-901A-14FFA3001C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$6A5E691D-12C5-4DAD-8EE9-028796C9B52B","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":"Q1059405$4084ADD4-B090-4761-8DBE-4C2010B3DFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$CA15F754-82D8-44FD-B932-0D1DA09EB6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3ba7f60550b1dad5c8a73f2486d91b8689bd40f","datavalue":{"value":{"entity-type":"item","numeric-id":3698294,"id":"Q3698294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$E5424B75-FF77-406D-A9DD-FE9B01A9B363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9e6ab8c3f278d5e541e365a39676f074f0722b","datavalue":{"value":{"entity-type":"item","numeric-id":4188716,"id":"Q4188716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$9CE07038-964A-4A23-BC8D-A19A791F96F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7271a43a9b61da56e09afc244aa4046805d7f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":4160385,"id":"Q4160385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$98FDCE65-29F4-4AE5-976B-1011AD3EA5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$3DEC1824-62CF-4CF6-9476-A457666ADFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a1ec2e9dab4526cde6d0a87ea84f37a2ca45a0b","datavalue":{"value":{"entity-type":"item","numeric-id":4143228,"id":"Q4143228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$775F460A-5EDC-4CEF-8868-A4BC72412DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$EF1E7755-377F-4CBB-8FAF-AA867A152382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$37B0E179-065E-4DD7-B6D3-95B1C0E433EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$C7FAADE0-2624-4F2C-A302-AFCA54DBE66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87bddde29bfca28d16e9dc4550d316d312b44fe","datavalue":{"value":{"entity-type":"item","numeric-id":3249210,"id":"Q3249210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$F2020993-AE0C-473C-A643-D9B06363D7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$9617DE7E-E769-41CD-865E-86A01B660D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$40C20E7E-9586-483E-8F9C-73B1EAA81F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$2CAC7390-F5A4-41B5-8C52-9048FD5574CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a0643d71d7244d1061eef4fd50591d26775ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3950708,"id":"Q3950708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$6FD6BF1C-07F0-47A4-BDD2-E4F252DBD19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ce73af83d9e584a526f246c29b1d0145d1e612","datavalue":{"value":{"entity-type":"item","numeric-id":4145866,"id":"Q4145866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$366513DE-A311-42F8-BF6F-85473FD9FB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a678810f5430b042b89b67bc6a87c3b600e210","datavalue":{"value":{"entity-type":"item","numeric-id":5679005,"id":"Q5679005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$F155D1FE-5E79-4433-9F53-C17B49AC9908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b50bda4f6cbc2cc3d211f73a2cce8b2c16c83b2","datavalue":{"value":{"entity-type":"item","numeric-id":3959407,"id":"Q3959407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059405$024E70BC-09F0-4BC9-8350-F2C984DF3B8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0480547411b8beb959f8cb0f61301aaeac56ba6","datavalue":{"value":{"entity-type":"item","numeric-id":802882,"id":"Q802882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d664b4cabaf1180a66931926b92ffac962fd4c7","datavalue":{"value":{"amount":"+0.83519274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1059405$38B8DFFD-C134-4882-8AA6-F5A3BFBCD0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ca28641704223a524a5e85c8e0ceffa7778692","datavalue":{"value":{"entity-type":"item","numeric-id":4040030,"id":"Q4040030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc97eb9d81daeeb62865ee6844e9a4535afaae0","datavalue":{"value":{"amount":"+0.832886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1059405$3ECE8AAC-6592-4684-8298-5A8356C22B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03eb646ac2cbda9f719a9039a2351a13f060650","datavalue":{"value":{"entity-type":"item","numeric-id":791329,"id":"Q791329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f807ead5889941ec5d9172a7ca64d5656bda56a7","datavalue":{"value":{"amount":"+0.8213699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1059405$2F6B520B-2908-4CFA-B4A5-89B7048C9162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa5b886b3942d36a73baa6fe871ee19a71e5407","datavalue":{"value":{"entity-type":"item","numeric-id":1085142,"id":"Q1085142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9316ded488dfc12a45ebc17e74b2b38906a33e","datavalue":{"value":{"amount":"+0.8207497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1059405$717397D0-70F6-44CD-9458-41B340163A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90c6575c9e7b16f65caf5c141d3e59bae7ff0b2","datavalue":{"value":{"entity-type":"item","numeric-id":1801304,"id":"Q1801304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056d1e7f02089fc789f6de742f21436aa84603fe","datavalue":{"value":{"amount":"+0.8175607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1059405$85BA5192-D428-423B-B04F-12173A511F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5acb3daf4c21262fa9fc7d4fc08a52aff1f7777e","datavalue":{"value":{"entity-type":"item","numeric-id":1383220,"id":"Q1383220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a697e5b7a1b10a22cac23e267df3dd2c2c1dbe5","datavalue":{"value":{"amount":"+0.8160064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1059405$EDC67DA9-28E9-4CB7-9420-4B953D85EC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010222e3b8eccf1b546ba0c56331ff9b719422e4","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b83dd89f3b745f8991948934fa437a14aa8ce6","datavalue":{"value":{"amount":"+0.81590074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1059405$E73DAFAC-863F-4996-9192-D73E49B6231D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500e374f40eaa3635dd741e27b4926ae767a5941","datavalue":{"value":{"entity-type":"item","numeric-id":3623551,"id":"Q3623551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a4c7ae08b2bc4965b58765b340ad6a373c6796","datavalue":{"value":{"amount":"+0.8154577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1059405$FEB39A30-F9C0-40A0-BAEC-7C82ABB1BB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6823695dd36e05f9c9872633755b3bcd846009cb","datavalue":{"value":{"entity-type":"item","numeric-id":3707398,"id":"Q3707398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa66b803a2ec89ba74c11bff11b456a4ac0d690","datavalue":{"value":{"amount":"+0.81442595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1059405$742AB485-9777-43F7-A31F-B75FB546F8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb062757db77fca43499745083ec41145cf3c87","datavalue":{"value":{"entity-type":"item","numeric-id":5951279,"id":"Q5951279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853d262cfb9c38350804e5dd02dd9ed653913b16","datavalue":{"value":{"amount":"+0.81393546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1059405$1A192A9F-0D60-4015-A20A-FA65902EC9EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_fundamental_algebraic_tools_for_the_semantics_of_computation:_II._Signed_and_abstract_theories"}}}}}