{"entities":{"Q2291820":{"pageid":2302563,"ns":120,"title":"Item:Q2291820","lastrevid":71778516,"modified":"2026-04-14T00:29:00Z","type":"item","id":"Q2291820","labels":{"en":{"language":"en","value":"A linear-time-branching-time spectrum for behavioral specification theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7161319"}},"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":"Q2291820$447B3E7D-37EF-4E2F-B2D0-A4C24EE1904B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e983d8adb21a5cd8cb56df32fcd3978d2b11109","datavalue":{"value":{"text":"A linear-time-branching-time spectrum for behavioral specification theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2291820$D1168BF6-5136-419F-8138-351367636F48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f6c4d84bae286ab22df0219b7dc3e5ffa11d908","datavalue":{"value":"1433.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291820$2B29A3AE-DF07-4EC4-8DCF-A2A8C902AE01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$727B929A-9A3F-4FD7-A8CD-8BB129870BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$094A7E3B-CB6A-4CA6-A3CB-16240F8F9F0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$695C958D-FFF9-43AC-9835-2709FB998C93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db01f1f293a86902f326559cf8c2d6c6f3d0ad08","datavalue":{"value":{"time":"+2020-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2291820$24245A12-13FD-4238-AE5E-A5336573970F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ee11cdb08a5648225353511ace18b561e789e2a","datavalue":{"value":"https://arxiv.org/abs/1604.06503","type":"string"},"datatype":"url"},"type":"statement","id":"Q2291820$DC0E8081-810C-4418-9C9A-1F4956E05372","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291820$615588FD-3816-40C8-84C2-AE6F923A0471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291820$F1F4FC4D-C44A-40B3-A336-91EE2D435845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291820$8455811C-7C5B-4D09-B2C8-B34AC4622B49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a00dd970eea7a70a9859049f5448f9627b8e36ef","datavalue":{"value":"7161319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291820$271B392B-5567-4D50-BB6E-DA5F654BC816","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4914568f4a47d4488b4e0b32faffb9bb206afa58","datavalue":{"value":"specification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291820$71B5DB58-A2AD-474C-9483-FA6C0C14D621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d86b6e5d75858487711925522148e9b06cabef","datavalue":{"value":"linear-time-branching-time spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291820$AB2E8786-3A86-4B07-8432-15E1195B9C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63caacb69967b05e274333633933b9e5677ba95","datavalue":{"value":"disjunctive modal transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291820$3DF0AA02-A79D-419E-B7FE-EA3ECBB49C37","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":"Q2291820$2E567E25-5711-4511-A8D8-E2C09C244C9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6846b44b6c6fae89699f166515b61bf32163265b","datavalue":{"value":"W3021917299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291820$051495FF-F08E-4C58-8B74-01AA8F5D3EE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce57e751d5c6d4d58776fe387445388619728fc","datavalue":{"value":{"entity-type":"item","numeric-id":598202,"id":"Q598202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$237E047B-1D70-48E0-AC48-E6BF484E5971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$6E2B2C66-B1AA-40B8-A8E4-16F0CF1D67AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f70262b2de3784ad85111ea4ec26a1867cb6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3396636,"id":"Q3396636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$2EFA761A-EDA8-4146-A063-3EB307201415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d71cbac5a56d52fe946a4d6f9d7c274fe4c880","datavalue":{"value":{"entity-type":"item","numeric-id":2248057,"id":"Q2248057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$7A169A38-892F-4E15-9944-C6B887C59313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338cb28dd1c3642a4941ca756896c1df7498392e","datavalue":{"value":{"entity-type":"item","numeric-id":2909731,"id":"Q2909731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$12141B01-C9D2-4B2F-8D87-4CEF36B9785F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03086d42c9b86e2ad473ee8c3dc642b1e5b52ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3172917,"id":"Q3172917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$D1BE8A2F-9D7E-48D6-9015-1E9D7E273367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de6702ef2786d3f23033008a62b6e461ea0cfce","datavalue":{"value":{"entity-type":"item","numeric-id":2842098,"id":"Q2842098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$20F49B48-01D3-42CC-B1B7-ED77B647AE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d491a0dccfff32ee75b6abd03dfae8cac4a7064","datavalue":{"value":{"entity-type":"item","numeric-id":1951603,"id":"Q1951603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$682015AA-BE64-4740-A3C3-1FC1CCD08A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875736f390fbee8f5115e55c84e89462043693ee","datavalue":{"value":{"entity-type":"item","numeric-id":685358,"id":"Q685358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$CB6590DA-B2FD-478A-A941-EEC22C68399C","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":"Q2291820$0A155844-B41D-4EB9-B5CB-E6E8E872DF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95721909f72b6072bab8dc9587a15eb91bf137c","datavalue":{"value":{"entity-type":"item","numeric-id":2915108,"id":"Q2915108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$5602CE63-1119-49EC-87DA-D019DBFBF243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84d633e2db86b793eb7098962c958f09f2d009","datavalue":{"value":{"entity-type":"item","numeric-id":404008,"id":"Q404008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$B191D8C8-EFDE-4BF3-985C-4D81C1E068D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9625de7b884f4d59f435c8abb0140d4a07ae34f3","datavalue":{"value":{"entity-type":"item","numeric-id":2453109,"id":"Q2453109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$8549781C-14B6-4572-90B4-46A908A43120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e36fc6ffa54aea484e9f3d5fa5da01fa36a1e12d","datavalue":{"value":{"entity-type":"item","numeric-id":2971124,"id":"Q2971124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$3624DFD8-5400-41E7-86B9-5C093F38A68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"122c5b85f6456a1e30176df03c8819cda670dd10","datavalue":{"value":{"entity-type":"item","numeric-id":2938159,"id":"Q2938159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$C3E7F89F-CFD5-47EC-BE96-769985D61332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$278E5E49-3411-44A5-9332-9DE8231B3DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$94C8FF84-DAC2-4717-8DD2-416774E67135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$6F227EA1-1455-47E0-A4E3-147F6904ADA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b1b225889f83bfada58658525bacbd896b00e3","datavalue":{"value":{"entity-type":"item","numeric-id":1088404,"id":"Q1088404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$2BF96E28-2B3D-454A-BDEB-63F53103A942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1166c2c780e84fac7578b928060fa8bdd72e28","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$30B47F4E-F9E8-4F7C-B843-1C86FFAFCBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$05CE73A7-C2E0-4A05-839F-6B77BE58C661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$53014A71-CF74-4199-BFC2-F3F9C55899FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$42CFC655-201E-42A5-B7EB-32C8929D1DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$6FCD2438-49C7-428D-9B94-EC59D271508E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45f552829e448fdb1f5d0c5585c08bd5972555","datavalue":{"value":{"entity-type":"item","numeric-id":3694687,"id":"Q3694687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$997929BE-9396-41BE-A907-2EAE1636613A","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":"Q2291820$E1002DF4-C985-45DA-9D41-2C59410CD30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$4285A5BB-C446-4B9C-87E8-562DFEDAB56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb7eaed2dce05c7bd60ae3bc139a1c1a385f146","datavalue":{"value":{"entity-type":"item","numeric-id":1101233,"id":"Q1101233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$4FCC463E-EC84-455E-ABFA-E0C685D3B537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96b691fd3418c23318e386f97f9be78e6fadf04","datavalue":{"value":{"entity-type":"item","numeric-id":396979,"id":"Q396979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291820$A9F0B6DA-693F-4C8C-87C8-73FB99462328","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff81cade77c678992f0d1b940e6f2c304426980a","datavalue":{"value":"10.1016/J.JLAMP.2019.100499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291820$1349826E-BE4C-41D2-9BEA-25AA7BA49C88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c009490458f9998d8ae1808470aa295498b5462","datavalue":{"value":{"entity-type":"item","numeric-id":2971124,"id":"Q2971124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab5e02abd19593903ea24019f1bb8c48f0cc422","datavalue":{"value":{"amount":"+0.99617600440979","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":"Q2291820$F7717C26-7330-4AD5-9927-FE5411B55922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a4ed90bc9a04f0ad37cba545b1373b583ced04","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c87ceaf6ee628c6e2e99445de8c4efdb022cfcd","datavalue":{"value":{"amount":"+0.7547073364257812","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":"Q2291820$ED889762-EA94-453A-8AA2-3305F5854D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d48f520fbf8364263093c588137a60c57412aa","datavalue":{"value":{"entity-type":"item","numeric-id":2044187,"id":"Q2044187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e604415a7f999012af9c9eca5b6427e4b9d198","datavalue":{"value":{"amount":"+0.7529393434524536","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":"Q2291820$9A922F47-8B2E-402D-AC97-35F42827DDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35382cc3114928c742c53a8067acc3f3b06fab3f","datavalue":{"value":{"entity-type":"item","numeric-id":3510781,"id":"Q3510781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b3ea2d04af551ea9160018a83408cd04819ffbe","datavalue":{"value":{"amount":"+0.7454458475112915","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":"Q2291820$E510FC04-4A07-47E9-922F-CAE4EC6868B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ff2248fba333d3f0d0cfb5cb0251c26c3657ac9","datavalue":{"value":{"entity-type":"item","numeric-id":2838240,"id":"Q2838240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9979e792cb992d0d08963c44b8cec31fcbd37175","datavalue":{"value":{"amount":"+0.7415529489517212","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":"Q2291820$1E998046-7517-4D28-9FE1-6C3E928C42C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A linear-time-branching-time spectrum for behavioral specification theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_linear-time-branching-time_spectrum_for_behavioral_specification_theories"}}}}}