{"entities":{"Q2123053":{"pageid":2133796,"ns":120,"title":"Item:Q2123053","lastrevid":54292514,"modified":"2026-01-26T14:23:13Z","type":"item","id":"Q2123053","labels":{"en":{"language":"en","value":"Behavioural logics for configuration structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7505206"}},"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":"Q2123053$76F60DE1-F348-4EFC-A94F-93AE8AFF52F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c20b43180292a15a78e13a9078ee150c5aec81e4","datavalue":{"value":{"text":"Behavioural logics for configuration structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2123053$D284C04D-5F69-493A-9D7D-E55D3F1D5740","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b059cf85c09d03d4824f0b7764d66742f0c2876","datavalue":{"value":"1483.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123053$97075975-6ECF-4ADE-847A-E3D9128885D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$A6EF1A97-D1A3-449C-A4EA-EA898B71C830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7866d619cead43dff7c5a71f909ca42227edbc38","datavalue":{"value":{"entity-type":"item","numeric-id":660995,"id":"Q660995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$CA2F23FB-3E00-46E9-B168-7F13E2395C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b7ca3834697b9eec4cb675b7abb884c9439cbc8","datavalue":{"value":{"entity-type":"item","numeric-id":1652978,"id":"Q1652978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$2964C51A-5E9B-4E38-A86D-BAE4C61DB361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b48b257a89e9bea64202e94a92f0c6aa7e2abaf","datavalue":{"value":{"entity-type":"item","numeric-id":1675916,"id":"Q1675916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$BBE24985-B396-41DC-9771-16110C281310","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":"Q2123053$61A31B96-80A2-4D0B-B2CF-9428998FA478","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a2f352e7a542b4980d82f437cd18f5554f8da75","datavalue":{"value":{"time":"+2022-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2123053$D13C8E30-7AF3-4EDA-83FF-CADF5CD63AD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123053$E5B6A978-0819-468A-B2D6-16B30D97A8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123053$8A7B9675-13B3-4335-A2D9-20A6A9276E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123053$719E039A-0220-4CB3-9F69-B8397676E592","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9507658cb590ca568f95c987e3343ae106489430","datavalue":{"value":"7505206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123053$E3986984-91BD-4273-B3BD-DF1BBFD769E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1064434c11181964d4d4434a05bc80852e403235","datavalue":{"value":"configuration structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123053$57A1836B-AB13-44E5-9CBF-51CD7C98C197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123053$5445F865-9FC1-4C5F-B740-7F23B4871FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79e31496d11f73c7d8c7a3026ef41cc58d335a8","datavalue":{"value":"behavioural equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123053$9B712077-2F2A-4836-896C-6AA64D6F3618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123053$32234571-B4C7-4D08-91A8-35A300AA9CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51a11af3424aded8577704a1e5c9301cca0c7915","datavalue":{"value":"semantics of true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123053$CCAAEA38-156B-46E1-98B6-9D2F0181A7E2","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":"Q2123053$92F929DB-2747-4F26-90BD-417928CB127F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc033d2a972482632b172673a53f116afc500072","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2022.02.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2123053$1C1A5D92-5BD8-423B-848A-73B5F40A3140","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bae1c3dae58773c9a1ffdafad6b027fe6b1ee855","datavalue":{"value":"W4213006484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123053$C1F12B47-FADA-41FC-A1F8-1760888D508E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e908fdfb0ef307218ca4aef745e68be6b2e503","datavalue":{"value":{"entity-type":"item","numeric-id":5089270,"id":"Q5089270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$F9F5B518-ED29-40EF-B523-D69503986B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd08e7c41a6c2ead3e3812132df00499e980150","datavalue":{"value":{"entity-type":"item","numeric-id":4951112,"id":"Q4951112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$881D18DC-D52C-4594-9F95-771D4A8F3D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51bcb66389af5c9800030e05f1760a3ae6c9169b","datavalue":{"value":{"entity-type":"item","numeric-id":3584927,"id":"Q3584927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$B4330F59-5B5E-445C-9726-737280F87636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507510abae92665ba26cf335b0789436780400a5","datavalue":{"value":{"entity-type":"item","numeric-id":2789065,"id":"Q2789065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$77ACAEAE-F79F-45C7-B974-95D4D73B4678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bc5f7eae7905acb1d84f6c96e6457aafc1474f","datavalue":{"value":{"entity-type":"item","numeric-id":5501929,"id":"Q5501929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$9951F39A-251A-48BD-A224-CC7B7119C5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc59e1a97f709973d7c5b044b91b207ea41b5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2639636,"id":"Q2639636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$743E555E-1CDB-45B7-BB7B-0467F309997B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0402b8322115467c04832060b119cfdfe71fab02","datavalue":{"value":{"entity-type":"item","numeric-id":5756598,"id":"Q5756598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$3DDF9069-AA21-48DC-8794-D8B9F69C48F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0d2e34aa930e925e375883c6bd748955e5f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4733427,"id":"Q4733427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$D74F73A1-797A-4516-8BE1-96D89EF7EABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$F67A6391-0445-4D7B-978E-7F104780AE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$270C5DC9-8AFA-4A2A-8531-2056A04AADE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c657571b74efe9a2840fd6efe5acf4a78cf4d5","datavalue":{"value":{"entity-type":"item","numeric-id":5740354,"id":"Q5740354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$EFB0203D-74FB-4DBA-82AF-471978B9D39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cac7fbe3edf8dd45e61377edf3265a1c6bdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$0421A1B4-2913-4687-87F9-7DD4F5A30D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba736d12b0ddb1288a9f5a0bdddcdbdfa89750d4","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$5253E390-968A-448B-BA4E-2766DCF006E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3916113c855be09ff7c725f2222d49866271f77","datavalue":{"value":{"entity-type":"item","numeric-id":2491631,"id":"Q2491631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$30C94379-90DE-4333-BF59-C20FA965BF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38069c6a0bea035a9b76a94cf920575b5d5c6dd3","datavalue":{"value":{"entity-type":"item","numeric-id":964488,"id":"Q964488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$8EA41D43-1A83-4D13-894F-FA3370F300F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9a9dea218297e050daccb0e20119a5cddf246","datavalue":{"value":{"entity-type":"item","numeric-id":3667958,"id":"Q3667958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$B38F4EC1-1CEB-4B5D-AF62-4E00FC9F54FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123053$9EBC96FF-C832-4E27-A7DE-59D0AD8B0008","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53a07204ede83fb02d48d2d8aeb5855afe43ef94","datavalue":{"value":"10.1016/J.TCS.2022.02.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123053$4665526E-3B79-4EDC-B2AE-0842ED6A1137","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d456e1342961d1e8f9ad4e4dbdc6ec3ef13f7a8","datavalue":{"value":{"entity-type":"item","numeric-id":2789065,"id":"Q2789065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ec2587a7f257323a3bfddb3475b79f4559f67f","datavalue":{"value":{"amount":"+0.7794990539550781","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":"Q2123053$56345DDA-398D-4E98-A39A-1DA417622EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d860e197c732de4e7eb8e529448d049728b94cfe","datavalue":{"value":{"entity-type":"item","numeric-id":4965863,"id":"Q4965863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b771839ab4c1d588bffb168147a074673fb830","datavalue":{"value":{"amount":"+0.7786402702331543","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":"Q2123053$D90B7C22-8CD4-4B57-884D-120F65FB5170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f8071604c3051ea9df0471407f09edf9a475ca","datavalue":{"value":{"entity-type":"item","numeric-id":5055959,"id":"Q5055959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e64d3c60e766ea4c2fdb25a5fde1c298d0cd8a","datavalue":{"value":{"amount":"+0.7750296592712402","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":"Q2123053$2E92C439-9135-4A0B-B4E5-FEE6529BA3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d559db8a8288c75ec1e006b67cb176397910f7d","datavalue":{"value":{"entity-type":"item","numeric-id":843106,"id":"Q843106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c630682abf9585e3a4a2c4e8a8da3c17138980","datavalue":{"value":{"amount":"+0.7578614950180054","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":"Q2123053$704D75A8-47CA-41C9-8F2D-45BB8D5C2730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad35ee0ee1a04f0aa0bd2046f8918bcf96512f57","datavalue":{"value":{"entity-type":"item","numeric-id":2883121,"id":"Q2883121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c02128a49786c50914abcaf676a5b61a438e71","datavalue":{"value":{"amount":"+0.7524577379226685","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":"Q2123053$97A1074B-2A4B-4A33-9879-7405D830643A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2123053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2123053"}}}}}