{"entities":{"Q1274445":{"pageid":1285195,"ns":120,"title":"Item:Q1274445","lastrevid":68430456,"modified":"2026-04-12T23:39:41Z","type":"item","id":"Q1274445","labels":{"en":{"language":"en","value":"Operational and denotational semantics for the box algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238413"}},"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":"Q1274445$A2968D7B-7233-4824-8737-DB3549CC4A92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df406357eb0ab77b5a91c77d1f259d4bced07d49","datavalue":{"value":{"text":"Operational and denotational semantics for the box algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1274445$8A0F30AC-6509-48EB-ADE4-BB6128F6BF82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28d76b2f49001d5bea2ab86a3cb4dc5de9e9eafd","datavalue":{"value":"0912.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274445$F8075330-F037-4343-848F-520F618E19B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"854bcaf77025df531da23e1da0213a3ca719ce9b","datavalue":{"value":"10.1016/S0304-3975(97)00180-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274445$B0B2968E-9B94-4F27-9C6A-D145A63BDA6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$4CC79052-AF28-4559-8D09-E460DD73B39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$77932580-7117-4790-86C7-FF87E66CA979","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":"Q1274445$FA162FAB-1CE7-4AC1-9852-B769FD7B3246","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a478bab7af2e688c035f2ebdc0c22a9c2c58e2e","datavalue":{"value":{"time":"+1999-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1274445$8364842F-47F6-4597-AD93-8E505FC79302","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274445$6AFE87AE-A1B0-4D72-9094-0C3D9835C47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274445$64BA952C-7548-4236-97AE-B62A87053144","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4518f6526ceaffc9f212282927e7d6876cece17d","datavalue":{"value":"1238413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274445$CA0B5336-1FDB-4093-B559-5BD74CC33ECF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274445$AAED21D2-ABF9-4CD9-BA7A-253EBA730C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274445$77A5EDDA-F7C0-457B-B528-F0CCFBA35A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274445$B121F615-9859-4510-B0CC-4828453BCEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274445$844F1219-44B1-4F83-AC49-FF415327BED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274445$7FC44B9F-30F5-4C1A-BA2A-59AB95AA5507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274445$F07484D3-5AC3-42C5-9DEA-5CD4A42E3B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1274445$F1451E8D-2475-4B67-B6EA-53CA02E117AF","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":"Q1274445$19E5925C-8E54-4B9D-BBEC-F7EF145D87C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$25A1F23B-92DF-4DA4-8D5E-10445BF1255B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5d5022a03ef90b60bd9d94e10d019f66d2ead8","datavalue":{"value":{"entity-type":"item","numeric-id":1119024,"id":"Q1119024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$6864513C-2F2A-445B-9592-49816C3F2BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b224f89efa67b445394681e95718585ed1d8f376","datavalue":{"value":{"entity-type":"item","numeric-id":4281515,"id":"Q4281515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$45D6413F-F61F-4F80-B51A-E3FFC6744B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155a362f54f8a24c55b19836ddd09640acb45446","datavalue":{"value":{"entity-type":"item","numeric-id":4040147,"id":"Q4040147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$08D7497B-3CFD-4C19-9FDE-333169F67D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64634ff88fa1ce3c7234483f50393609b46ec3f3","datavalue":{"value":{"entity-type":"item","numeric-id":5096357,"id":"Q5096357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$266D8F23-CEA4-49C6-9D04-F62BEA800BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91915046585923e46b0bebf4d01ac2dea46cc9e5","datavalue":{"value":{"entity-type":"item","numeric-id":4645215,"id":"Q4645215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$8F165A08-C5D6-4ED2-85B5-7C845915DF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$19C43B0E-D7DA-4DB1-8937-4B24EFF413D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9e971b028837fea5239b953a8e93a0d8a1323c","datavalue":{"value":{"entity-type":"item","numeric-id":1894677,"id":"Q1894677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$F3634C48-301E-4BC8-B93C-298BCA159B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f67c1e63f57083d3ae4a372ffffc556fc42611","datavalue":{"value":{"entity-type":"item","numeric-id":3795192,"id":"Q3795192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$2FF094A1-F1BC-49C8-8076-AA4757DB5FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$BE1AFABA-5BB0-4E80-B473-A09BA101AB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$BA22569F-A032-4BB7-92AD-A0821E600984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bee1d172ba4629f3ded263d55eb28a6429b1800","datavalue":{"value":{"entity-type":"item","numeric-id":685384,"id":"Q685384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$C82F7B97-2217-464E-A45A-84B0CE3FB7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d7d004307987ac0e4f10208f4a0764737b4930","datavalue":{"value":{"entity-type":"item","numeric-id":3780449,"id":"Q3780449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$F7B190B1-E765-4328-9B59-29626818DD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c93aa020cf5800686368016dc4e9788d9ccc306","datavalue":{"value":{"entity-type":"item","numeric-id":4348471,"id":"Q4348471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$987E6D9F-2F7E-41BF-B83A-814793322969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe71f98bad7517a6fd81d661f1765de326c39d4","datavalue":{"value":{"entity-type":"item","numeric-id":4134954,"id":"Q4134954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$7F1018E9-B814-44B5-A3FB-73522092D382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$FE0A3D78-D23C-4CCD-888C-E2014594E3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$6710E901-DA14-4E6E-9128-7BA27C83BC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a00cb2fe82ff8f03a9038d269192da73736cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4733431,"id":"Q4733431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$5E0D7694-6AD8-4B4E-B196-DAF1889C17DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$C3F72E19-41FC-4735-A5CA-6B366D8EC8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$0DC80175-B16A-4F71-96CC-8FD9AF7331B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368880da66f2cee1a9756309e60d0751982ecbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1187659,"id":"Q1187659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1274445$8FDE83EC-46FB-4119-9204-BA46BE497A5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e23ff6fdf3a570195fd6daf328b61d99c20a7d7","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00180-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1274445$A14611ED-8F57-4D31-996C-874608C7439A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94ded46dfb80aee9f228e359d470c45ab96893cb","datavalue":{"value":"W2036836043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1274445$C2058093-CF20-444A-9D9A-BF92A3D58ECE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78521d751e23187d06a653cac06f94c0cb764982","datavalue":{"value":{"entity-type":"item","numeric-id":1209325,"id":"Q1209325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a342266e125717ce61b06e8ff9f9f8629e72eb6","datavalue":{"value":{"amount":"+0.8742762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1274445$1E080B2D-F363-488D-8F2B-A2D9B00FBF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e436d1017ac1089354b170f809060d95ccd0548","datavalue":{"value":{"entity-type":"item","numeric-id":639646,"id":"Q639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc0215f0bd2ea9e4ef02cf4f3467da129d91155c","datavalue":{"value":{"amount":"+0.8669616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1274445$DD8DB912-D1E8-454D-AC8C-BDE0635586FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad6f6f50c4e67d29380c4534c6dd10fbc9ba201","datavalue":{"value":{"entity-type":"item","numeric-id":6075169,"id":"Q6075169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6165d85259e5c6733356d6b134690ed28711340","datavalue":{"value":{"amount":"+0.8625884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1274445$B2024E11-84E2-431C-9E21-B4D8362227B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a338038bb7c0163a09a97e703e6519269acb92","datavalue":{"value":{"entity-type":"item","numeric-id":4203830,"id":"Q4203830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218e297dd7eeeab30ca6d51b6f11d2a25e32d420","datavalue":{"value":{"amount":"+0.86100936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1274445$7DD737FB-1840-491E-ACCC-F9A7D959688D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfa9f7f82cf57d39babf914126acbb938721a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4917064,"id":"Q4917064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a475d1615e4127437b3fc212694d4ade5e2f0208","datavalue":{"value":{"amount":"+0.8598267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1274445$89D1D34B-28A2-4C42-80B4-29E100224FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bdf349ed7d4a7746387b0bd782820ad90dc2100","datavalue":{"value":{"entity-type":"item","numeric-id":2043812,"id":"Q2043812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8530b290bac3f9271fa89b64fb5bb34c3dfb8d","datavalue":{"value":{"amount":"+0.85697526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1274445$BE8D1770-FA15-406C-AAE4-F4757373AD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c11b192664443ca81b19b223595c953f40e6d4a","datavalue":{"value":{"entity-type":"item","numeric-id":5096357,"id":"Q5096357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595256f0adcc01c9584dcbd601cac003c1678ddd","datavalue":{"value":{"amount":"+0.8551478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1274445$19EE5819-C53D-4F2F-8183-9878F5CF3AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128b3f8db1bf46c9964dacc99396474dea05345e","datavalue":{"value":{"entity-type":"item","numeric-id":2843732,"id":"Q2843732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca39f2f5348a760d243c17ed6ca126a9e5a11709","datavalue":{"value":{"amount":"+0.8541527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1274445$1C21560B-92BB-4EC6-AC46-9EEF06F6E5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a46bb2b8f73343bd9cb6ed10463ea0f250277677","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0411b667cb68f1cde823f95950f204facd39111b","datavalue":{"value":{"amount":"+0.85357636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1274445$E07B3482-3E19-4E19-8FF4-B325EC1115E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94795ea1e75d93eeff20f0e081ef92cd6816d528","datavalue":{"value":{"entity-type":"item","numeric-id":3686024,"id":"Q3686024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56766c36534f9d0f004470dc2c4d213f2b1c493f","datavalue":{"value":{"amount":"+0.8534174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1274445$1231B02A-4927-45E7-9035-BDB1859CE089","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Operational and denotational semantics for the box algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Operational_and_denotational_semantics_for_the_box_algebra"}}}}}