{"entities":{"Q844886":{"pageid":846734,"ns":120,"title":"Item:Q844886","lastrevid":64772922,"modified":"2026-04-11T22:07:24Z","type":"item","id":"Q844886","labels":{"en":{"language":"en","value":"Quasi-Boolean encodings and conditionals in algebraic specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666088"}},"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":"Q844886$21821213-F255-4BFC-A164-D9711F3830A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f6cf48898ad704a3d313101acd7f436e9585872","datavalue":{"value":{"text":"Quasi-Boolean encodings and conditionals in algebraic specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q844886$D3DC9621-B773-470E-8A6F-1712492ACB72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ca6e494a3ce52e8cf47fda7de6ee9a368288f51","datavalue":{"value":"1187.68322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844886$AA0602A4-D542-47BF-9212-F496A3E93F55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2289c57fe71d0e69841efc981491fa17b2cd3710","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$EDE7953D-5823-439D-AA18-C4E7C398F326","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$0CCC64FF-1A80-4A96-AD03-92D514286027","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q844886$6236ADBD-0211-4D1D-BC0C-6A737FC7EA49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844886$89333674-4056-4398-8456-84F9C4C3F939","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01606131bf6ea2590c19e70b1a3ba223a255111a","datavalue":{"value":"5666088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844886$000F2A74-376A-490F-B08C-2FE9DFE14618","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q844886$C43DEC35-66F9-4687-9674-0F04987C6193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84cf1541877d6ec6702bb201c5539dab7766eb1c","datavalue":{"value":"institution theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q844886$6803F53C-FA12-42E4-B897-392377AE1F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q844886$3495129D-D580-4FD0-A357-7CC918833742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"118df20405df10095a484a0f13c1394b0e814c6a","datavalue":{"value":"encodings","type":"string"},"datatype":"string"},"type":"statement","id":"Q844886$D1A9EF25-567E-40E8-A835-FB76CE65E41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9663dbe40b75b2eecc9a793ee1ebc204b2274cf","datavalue":{"value":"OBJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q844886$4C536406-F029-4C73-8FBE-9C81E3507AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9774ec536a335bf339af8b08118f8757f918204","datavalue":{"value":"CafeOBJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q844886$F2396215-DC3D-4BD1-8AC6-213287ACE503","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$4B6ED797-46AB-4CB2-B526-0EA36790AB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$E26F2CFA-A5D2-4DE3-9A74-9A5445F03461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$3381C382-B153-49EB-AAD5-83AEEBDB863F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$B0D6CA9A-36D3-4D5C-88D7-B6BF265C35C1","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":"Q844886$3C13B7BF-E708-4A58-AACA-41057614861F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8e13aa64552125d11a939349f7647e061abe6a9","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2009.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q844886$9973BBF1-CFA1-4E4E-99F5-8BC8B10E328D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6818a13896fe323b0516320a96d488bb1247d98b","datavalue":{"value":"W2010121058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844886$1ABDB3D9-50F9-4287-B9F2-41B6DE808F85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$BADB501C-D02F-4C61-B617-A3DE86F4B93A","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":"Q844886$CC85CDC8-7FC5-4634-80F8-8CA169EF0FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$8D2A78A7-DEBC-46D2-AC60-2DDD36662E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$3D534B57-658A-4945-8E11-C8CCED3F046E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e46aebc04c4ba0e79011f44184decc8d5c2923","datavalue":{"value":{"entity-type":"item","numeric-id":4520814,"id":"Q4520814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$7386FD2F-1113-47D2-9C5B-B7618CEAE87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151111f90b57cf604183cb1efbc63c64841eebe7","datavalue":{"value":{"entity-type":"item","numeric-id":1608919,"id":"Q1608919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$CB772EFA-376D-4D90-9730-F1B396806A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6adc7b8235a8084399180e7e4ec50dacc86aeaf","datavalue":{"value":{"entity-type":"item","numeric-id":3975038,"id":"Q3975038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$9538F39E-2C26-450E-B6B9-884A4C88C3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$C1FD40B8-2D6D-4236-AE84-F9CE6F770A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d41888243cfca281ea72041190167a6930872b","datavalue":{"value":{"entity-type":"item","numeric-id":4942101,"id":"Q4942101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$842F5862-BB5C-47AE-B2B0-63C1265F488D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$9CFAE64C-8E9C-4C50-B923-7EC13D6FDB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$179B87B8-98C8-4D2E-A836-5ED7D902C6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b293ae9b2f27e3d3eb442629a606172136571336","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$72106019-A90E-4F0B-B7EA-AC91E3E4E8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efc8113f0e87f554f42d06a30f2756a27c96675","datavalue":{"value":{"entity-type":"item","numeric-id":2369030,"id":"Q2369030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$CE96EDE3-889D-4758-B24F-2D4C235000FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$294F376C-390D-4CE5-A5A1-F8383C66B699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$5CB180B6-B599-4322-AF03-E3A361DBF3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$59289B3C-B39C-440C-9611-E42A117BD0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eedd2defa322689670ffba56a5755fdfcf124e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1853458,"id":"Q1853458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$4C059628-E7DC-4088-B09D-D4B79176630D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$BCB794A9-C119-40B1-BCD9-FF31A50A27B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e33d995719930daceae5b9ecd9a739ea7b34d8","datavalue":{"value":{"entity-type":"item","numeric-id":1085969,"id":"Q1085969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$C908EB0B-32C7-46A4-8C9D-A28451961539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9333699cc6f4fb9c72e8fb4341e54b02f5c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1091132,"id":"Q1091132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844886$5445304D-AEA5-4E0B-AF44-C1BF7EA4A700","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"741bd19d1ce3e75d035be2769947300063bdee16","datavalue":{"value":"10.1016/J.JLAP.2009.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844886$825AB969-9DD0-4E64-A68F-0FCB98496A9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb3d8504cce5d5ba92c685382154f6f0fd0db0e","datavalue":{"value":{"entity-type":"item","numeric-id":4890398,"id":"Q4890398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605a09f52cfb2d3fc78c74562151c1ee23bffd63","datavalue":{"value":{"amount":"+0.7349111437797546","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":"Q844886$34FF9182-0E39-46ED-9A59-0AB0422528CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e29a19c0e9dcdb5c586b64c973ac7868d4c691c","datavalue":{"value":{"entity-type":"item","numeric-id":4503969,"id":"Q4503969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605a09f52cfb2d3fc78c74562151c1ee23bffd63","datavalue":{"value":{"amount":"+0.7349111437797546","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":"Q844886$F35C1027-CB60-4538-A3A8-75173D06FDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e154c221c12cb517c5a4fd8ccfb504df3aa774ca","datavalue":{"value":{"entity-type":"item","numeric-id":4593227,"id":"Q4593227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"addec76e79510633e808f711fcad279aadf64725","datavalue":{"value":{"amount":"+0.725989043712616","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":"Q844886$71CFF73C-8938-4C5B-AB65-DDFF1569AD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b0038ca3ee98317548980447d6302caee10aa0","datavalue":{"value":{"entity-type":"item","numeric-id":3978179,"id":"Q3978179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5486be1bfb11915557d61dc211c986fded358d6a","datavalue":{"value":{"amount":"+0.7150917053222656","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":"Q844886$4BBE84CA-79FC-454C-8603-559F7B5BF5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0708fd134b7a5793cc1699877aba12ba7e6e5e","datavalue":{"value":{"entity-type":"item","numeric-id":3819995,"id":"Q3819995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8b1d85cbd0042ab9f4103061b35d952fac44bc","datavalue":{"value":{"amount":"+0.7107664346694946","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":"Q844886$BD0DD08E-20A0-4C15-BF4E-BF51F269B28D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quasi-Boolean encodings and conditionals in algebraic specification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quasi-Boolean_encodings_and_conditionals_in_algebraic_specification"}}}}}