{"entities":{"Q820125":{"pageid":821973,"ns":120,"title":"Item:Q820125","lastrevid":49813633,"modified":"2026-01-10T23:55:39Z","type":"item","id":"Q820125","labels":{"en":{"language":"en","value":"A language for configuring multi-level specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5017460"}},"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":"Q820125$6DB2237B-9FC4-4844-8DB4-63733EDB4BC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fcd8c42008fe5d87301acf8f136c39d37ca4d79","datavalue":{"value":{"text":"A language for configuring multi-level specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q820125$E73B7F3D-DA20-4D6F-A91B-B55D612AA656","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1ceed34a8157b074db1d91363b8205813138c72","datavalue":{"value":"1086.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820125$6C2DF863-B9E2-4485-A406-C33DDE045CFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc39e815acbc5b297737cc9036ae86cb324983cf","datavalue":{"value":{"entity-type":"item","numeric-id":216268,"id":"Q216268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$7415FA4E-EEEF-4E30-BB24-5774978596D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"999724ac22c153380a8d9daa80709c19c8049d2c","datavalue":{"value":{"entity-type":"item","numeric-id":216267,"id":"Q216267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$CB8D40D6-5DBF-461A-BD17-AABA2EF3B858","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":"Q820125$00D481EC-95EB-4D33-B041-E79461ED5939","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7b5cf394bcdbe8afe258f05ea5234af0f11a462","datavalue":{"value":{"time":"+2006-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q820125$FA2A2986-0569-4B14-8501-2DF627325F1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"578c044c55e414c20ee608b96716caa1dee44cba","datavalue":{"value":"http://pure-oai.bham.ac.uk/ws/files/2919627/Vickers_TCS_2006.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q820125$93B6F836-52BB-4553-B3A6-AD42B7FE92CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820125$88404152-4FA2-418A-A021-8BB061E9B878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820125$32E5116C-DADC-43C3-978A-DA4F0B42C8E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"260bb20e67a70a099294510baff6c7b4bfd049f0","datavalue":{"value":"5017460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820125$EDDF09CF-CD0B-4A1C-B890-FBB5F67CB568","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q820125$43D14E95-8B7F-46F6-BCEA-4B355795E5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q820125$37CFA6D1-F033-44EF-BA27-AF01E8CF3F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q820125$E864E0C9-CE59-4926-BE6E-70D652A4DBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f373a69cf688b0e7ebcc8ddb236e7cc91ffbd55d","datavalue":{"value":"configuration","type":"string"},"datatype":"string"},"type":"statement","id":"Q820125$F6D27BC0-A9D5-4B8E-A427-5EE0374D614D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q820125$AE5EC3F6-6940-4C4F-8534-5D266893517C","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":"Q820125$DED6E3C0-F678-4DC2-A05F-B47A1A6B71C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8259001a469feb9cf274560ecd82ac4c5d5200d","datavalue":{"value":"W2016018732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820125$83700101-71F8-40B2-920F-8524852319B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a520c198dc287c1598fec08a9c73e5e988ca13bc","datavalue":{"value":{"entity-type":"item","numeric-id":699927,"id":"Q699927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$8FB0EE11-C175-4356-A333-AB57E18601C0","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":"Q820125$7F508166-50F6-4C4B-A231-A35F3BABC40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$6B79AFDA-BAA0-4317-B584-2BC3BFAE1C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a52976dd8825cec3098ff913fcb9b35e318f3e","datavalue":{"value":{"entity-type":"item","numeric-id":1884906,"id":"Q1884906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$BD2AF2A4-D9AA-4F10-BB9C-EE6DD285F7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$31580DDE-9A26-4E26-B73D-3208D23E4880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810521b66dcaf77930b207eb0e5ca579b224f2bf","datavalue":{"value":{"entity-type":"item","numeric-id":3995131,"id":"Q3995131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$AD0DFC20-3258-43C0-B17D-A7C34B2BB481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca897a8c41bcaa8d142a48f17d1f2b052c9612d2","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$092B3CC5-1BEC-46C5-929D-BEF19E469CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c7c586fbe3d1f4bbc77b6e2e675844ece4d73c","datavalue":{"value":{"entity-type":"item","numeric-id":3343424,"id":"Q3343424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$89F98108-2E3D-4904-95E0-9A25FF8C89CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37590c042bcdc0cab054e5caa2b0580e09a9808d","datavalue":{"value":{"entity-type":"item","numeric-id":1583247,"id":"Q1583247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$B3337F3B-16F0-4C6E-935E-E9A21922207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fb92aa97215cd52dfc07da2e9bd2fd28ab427e","datavalue":{"value":{"entity-type":"item","numeric-id":1090100,"id":"Q1090100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$D093A866-C4D2-4282-90D0-3E7BE3637D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f941fc6871a7b609621a97210e94b3d899f14f7","datavalue":{"value":{"entity-type":"item","numeric-id":1853014,"id":"Q1853014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$32421B0C-3DB6-4868-AA07-C1DCE30232B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a835b6b81c9a433789022f3e5fd4995ec2a51b","datavalue":{"value":{"entity-type":"item","numeric-id":4870821,"id":"Q4870821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$5AAA41E3-0ABE-4FA8-B28E-0875F680D7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2015383a8586d45905a9fdc8a6b91bcd699c601","datavalue":{"value":{"entity-type":"item","numeric-id":5949547,"id":"Q5949547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820125$5EC68AB8-0D14-492D-BE9E-98A08FC4B1E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18e98c37a34c87a12ccb4cac35023d3bd401f4bf","datavalue":{"value":"10.1016/J.TCS.2005.09.065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820125$A726339A-101A-4B1A-AE96-62E9366659F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92df8ddab11c611f92383afa1773253d90646fa5","datavalue":{"value":{"entity-type":"item","numeric-id":5312980,"id":"Q5312980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d4947181e488dbe429375729da3598f36229bfe","datavalue":{"value":{"amount":"+0.9998740553855896","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":"Q820125$12C94E8E-CA29-4B17-8BF0-1544E4D0EE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bbe0d16cfac20c4323c9d3244ab653f599ca8cb","datavalue":{"value":{"entity-type":"item","numeric-id":5949547,"id":"Q5949547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead71c9caa382aad4ecdfef90a3a5259e2896dd5","datavalue":{"value":{"amount":"+0.8374597430229187","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":"Q820125$B51A62D0-C84C-4DFA-B1FF-9AAEA05516A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f07e08358d53cf5095a6efae35c56f24f5eccc6","datavalue":{"value":{"entity-type":"item","numeric-id":4732088,"id":"Q4732088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead71c9caa382aad4ecdfef90a3a5259e2896dd5","datavalue":{"value":{"amount":"+0.8374597430229187","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":"Q820125$95126ECE-6588-47A0-8E23-23D1A5D6483D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d8e24e890578ca64a3bae88d4496843ac86ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4510453,"id":"Q4510453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2edca9f26dc59a63d098aa29b29cc6c211a9bc","datavalue":{"value":{"amount":"+0.7456130385398865","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":"Q820125$6A84163C-4265-4EB9-A40A-1B24194B68A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf14af93d79c40c3d13f80b6a08096b71f421d6","datavalue":{"value":{"entity-type":"item","numeric-id":4512408,"id":"Q4512408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2edca9f26dc59a63d098aa29b29cc6c211a9bc","datavalue":{"value":{"amount":"+0.7456130385398865","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":"Q820125$14C9B823-7F79-40A0-93F6-09C9FDB06210","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:820125","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:820125"}}}}}