{"entities":{"Q402131":{"pageid":403898,"ns":120,"title":"Item:Q402131","lastrevid":61623285,"modified":"2026-04-11T00:32:48Z","type":"item","id":"Q402131","labels":{"en":{"language":"en","value":"An algebraic theory of interface automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6334962"}},"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":"Q402131$28F93640-D78E-4510-A9BC-DAB956B01456","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"564ca834e9d97a0592d307eec68fb57415bfd34b","datavalue":{"value":{"text":"An algebraic theory of interface automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q402131$C415A97F-E959-4ECD-9B40-4A47328D4BDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97a47a291e3f7bb06987923e58d295bb2173faf0","datavalue":{"value":"1360.68608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402131$DEBA4F7D-EB68-47F1-9537-BC361821512F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"535e5f91cc2ad05071b5c14b7adc902e93de34a5","datavalue":{"value":{"entity-type":"item","numeric-id":402130,"id":"Q402130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$838DEF0D-799D-4438-92A9-5A0DA80FE381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$571838A7-1720-4B0A-B44B-B2046797B5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$D8F08874-C562-4D6D-BD25-F0E46AC06066","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":"Q402131$81889D36-33F1-4B88-A208-685615BBFCC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"839eced7df0c4a631ff6c9629b85502b0309c881","datavalue":{"value":{"time":"+2014-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q402131$23A01094-EC48-4E3F-81E1-F8846659D500","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402131$E6B32CF6-3695-44CB-BE54-A3A28009B70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402131$B5554E7A-855A-4FD9-BE4E-200ACB02BE83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff63c6f96fe064a07cd34505a45ccc56715949ae","datavalue":{"value":"6334962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402131$3CB3107F-9E47-413F-B7AB-2B869DC482EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1de473017dc4bcf3d5921508adc460d9fe622e60","datavalue":{"value":"component-based design","type":"string"},"datatype":"string"},"type":"statement","id":"Q402131$DD6AF856-6AE0-42BF-83A5-8AA9213DF968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80d68e3c12b442d5c3fd8c97262c92d38404795","datavalue":{"value":"interfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q402131$9C8F1B4C-DB14-4E73-83AF-2391FAEA5245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4914568f4a47d4488b4e0b32faffb9bb206afa58","datavalue":{"value":"specification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q402131$96D80BAB-2561-48BA-91D0-26DC1834DCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q402131$4D9B561D-01D4-4163-B2AA-331A4FB3A4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q402131$5ECE16E0-2E27-4656-8329-CE5E6A0599E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f065e90d0d0167a40cb86aaad91cf27e3c33d6f1","datavalue":{"value":"substitutivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q402131$10403EE7-658F-4BF3-9F92-46747F91FE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q402131$9D433776-42EE-4458-9B22-A29388D66417","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":"Q402131$3E3AA55A-30B5-44F0-8B53-69EF4422B1F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e02b6c1e3b676d5482ebd37c3bdeea9e8e58ab82","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.07.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q402131$5E285393-B2EB-42CC-B2A9-633C4961C828","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0fab667f27bf478ea03c8fd9b7b03402d2b779c","datavalue":{"value":"W2143787859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402131$01FDCB0A-80E4-4320-B975-5577FFF05490","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32998adf8a72dec4fa53d0a050f21591d857daf1","datavalue":{"value":{"entity-type":"item","numeric-id":3584922,"id":"Q3584922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$85788C64-E52F-4371-9613-6BF3A2CDF3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$9727CE3E-50F2-435A-B14E-FF049A881B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8243c948ced45a886acbf41866822f114891f2ed","datavalue":{"value":{"entity-type":"item","numeric-id":2481210,"id":"Q2481210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$4BC2D0D6-9BD5-4F23-B6C5-243E7A86E733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$F4B8EEE1-507A-42C5-9D73-A2C64D915BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c470ea603e08a2f52a7be3c0ad3a7d1fa995e83","datavalue":{"value":{"entity-type":"item","numeric-id":2892725,"id":"Q2892725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$B3C5A5BF-D982-4368-A936-D0CB388FD15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4c8ddd9e2cbf17bdee191373dbe4bac75918ab","datavalue":{"value":{"entity-type":"item","numeric-id":4649387,"id":"Q4649387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$7427DB46-4DA1-4838-844B-D971D1337C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a9b9c38c4de3e79a7eb89f1e9152294e70b8c7","datavalue":{"value":{"entity-type":"item","numeric-id":674195,"id":"Q674195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$09150946-6B43-47E8-9C7E-E6CDAFB5BE18","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":"Q402131$050AEB3A-FD40-47AD-8E10-5B42DFA29E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91d9fa0fc7ea8d22276f49e1196f9dd35135daa","datavalue":{"value":{"entity-type":"item","numeric-id":3359755,"id":"Q3359755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$B57B9698-20EA-445F-8F5E-5145A8767FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec3ceba3bbae0fda9d034128ffa09f0f7d7f9d5c","datavalue":{"value":{"entity-type":"item","numeric-id":758200,"id":"Q758200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$BF8D1DA1-DE6F-4957-937B-FC9DE72DE22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2d15f8f1a84e1338a3fc6fc1ba3ab0e5fd5fbe","datavalue":{"value":{"entity-type":"item","numeric-id":5295513,"id":"Q5295513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$E67CC8DF-F2D4-40CA-B990-7D1092FEE932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$014F43A3-E73D-4C4E-B5F9-EC77524A1A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a534936fd0e514cb6f784f74c0bb78f8cb07d1f","datavalue":{"value":{"entity-type":"item","numeric-id":875513,"id":"Q875513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$76E3FE14-FF29-414C-88F2-C17C24C2AF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283289231ead790315041364c2b7b2fb0fd56492","datavalue":{"value":{"entity-type":"item","numeric-id":988555,"id":"Q988555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$F1767934-9095-420C-8D68-88D6ECADEC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$5D3647FA-760F-46C6-9FC1-2D2407629EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$4EAC004B-F1AA-455D-A8D9-5F7B74D6B2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e01ff6bf6f24178ae74e51d043af44b113286058","datavalue":{"value":{"entity-type":"item","numeric-id":4536603,"id":"Q4536603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$0E6660DA-8786-48F4-B209-CF3DBAD4FDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569ddc537916e27ee02748157df0c231738e3012","datavalue":{"value":{"entity-type":"item","numeric-id":2895779,"id":"Q2895779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$C8095D4F-406E-49B1-836C-ED7D3BC44D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d21283014b2c4f2240a161731a72d172268907","datavalue":{"value":{"entity-type":"item","numeric-id":671616,"id":"Q671616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$106BD660-6FA7-4168-AF35-E93A103DBE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb0c25b2a9eb35a21677ae81a8807ac01107d92","datavalue":{"value":{"entity-type":"item","numeric-id":1376423,"id":"Q1376423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$40FD4921-D1BB-4F68-A8B4-C735242AC358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab4323292090d26e1333323011e1e2db80f9e5e7","datavalue":{"value":{"entity-type":"item","numeric-id":4289325,"id":"Q4289325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402131$B9FCC52B-C84F-40EB-AEC1-312EAADAA5A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d446e5752035267b79a539ff2ecb202053b13f4f","datavalue":{"value":"10.1016/J.TCS.2014.07.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402131$823838FB-2F88-424C-8668-C05A2E92F5D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baed800b2aae2f380a6d000fb723dd109b1c3179","datavalue":{"value":{"entity-type":"item","numeric-id":5491876,"id":"Q5491876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3b7d2c42f6f766be840aecad49ef57708b722a","datavalue":{"value":{"amount":"+0.90671545","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":"Q402131$32F1DB5E-3FBC-47D8-8750-252DD7F67EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1259180bfd94c20cf44c4752dfc6f84b6bd1709","datavalue":{"value":{"entity-type":"item","numeric-id":5537385,"id":"Q5537385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f437d6a797a37a2dcbef3c65c791a7fa61b4adb","datavalue":{"value":{"amount":"+0.90632576","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":"Q402131$6826C4B1-177C-4916-AA9E-26A6A9618A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba08b06ae3cd9d7feb1d9769389f419834de24f","datavalue":{"value":{"entity-type":"item","numeric-id":5659467,"id":"Q5659467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e0f0c488d39d3b51a646b094dd18d0de5aa864a","datavalue":{"value":{"amount":"+0.90380204","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":"Q402131$258D2208-D600-49EF-81C7-ABEB2D73C2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd685ff497a02620e780a89349b60a1374380d84","datavalue":{"value":{"entity-type":"item","numeric-id":2415373,"id":"Q2415373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e191ab44dcdd1c58876fedf357510eab45b7aa1","datavalue":{"value":{"amount":"+0.9007585","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":"Q402131$FB542654-0CCD-4288-89FB-3996F3733D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f89556bf99fd2334c902afdf757954aae546186","datavalue":{"value":{"entity-type":"item","numeric-id":2814126,"id":"Q2814126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e191ab44dcdd1c58876fedf357510eab45b7aa1","datavalue":{"value":{"amount":"+0.9007585","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":"Q402131$DB9DF79A-E5DB-45CA-A3B1-2020DBEAEB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71aa7a3965352b88e20b0b0ebe83810d0b442df","datavalue":{"value":{"entity-type":"item","numeric-id":418779,"id":"Q418779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8d11a17430c7416946e59de4b3da263887458d","datavalue":{"value":{"amount":"+0.89695615","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":"Q402131$326BEFB7-28C0-4132-ACCE-AF4905129A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2197f57f65eb41fa5607de3701544262fc5f7eaa","datavalue":{"value":{"entity-type":"item","numeric-id":548748,"id":"Q548748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0035fb36ab70bc6177d1cdd194ca40e12311e515","datavalue":{"value":{"amount":"+0.896278","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":"Q402131$55B605F7-9783-49EB-8E02-E74CB77CDDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"765e5896c2d1cd4d113258b08f80f60ea41365f9","datavalue":{"value":{"entity-type":"item","numeric-id":2388603,"id":"Q2388603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a3619a36ac6b3e15e75ef4bf650622d8828c2d","datavalue":{"value":{"amount":"+0.89207274","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":"Q402131$387844B9-FAEB-4E78-8BCB-98C5525BCAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d01494735628e5530333c1acafd985b7363ea19c","datavalue":{"value":{"entity-type":"item","numeric-id":4874786,"id":"Q4874786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a294a821d8c96f480d76a9aebc194f2c8fdc7308","datavalue":{"value":{"amount":"+0.88849443","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":"Q402131$CB120093-FD73-481E-8B16-4347505D7186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8bdff533de3ede8d938491db073818da3e9c07","datavalue":{"value":{"entity-type":"item","numeric-id":5172164,"id":"Q5172164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f508fac92d417864c31c4a5ec93e7bd434919f","datavalue":{"value":{"amount":"+0.88843554","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":"Q402131$6F77DD25-8D1C-43DD-82D8-43FA58FC1F30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic theory of interface automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_theory_of_interface_automata"}}}}}