{"entities":{"Q6109547":{"pageid":13243854,"ns":120,"title":"Item:Q6109547","lastrevid":98893139,"modified":"2026-06-05T18:44:28Z","type":"item","id":"Q6109547","labels":{"en":{"language":"en","value":"Parameterized programming for compositional system specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719884"}},"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":"Q6109547$A8EC4CDA-43B8-4E29-81F4-9EAB052324E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7a0443235fd04a1e70b7be2b634a3a8513b77e5","datavalue":{"value":{"text":"Parameterized programming for compositional system specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6109547$C0D79614-DDC0-4D21-A8CB-032535A31527","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43579e7a1b2bfa17ccf80d48c9fbd936f02384d5","datavalue":{"value":"1517.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109547$E35D07E0-4355-4DE1-88B9-54A6E5F2B3FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a2332c852c8060ac3fe39b4509b65602f08f4b4","datavalue":{"value":"10.1007/978-3-319-99840-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109547$D3BCDB37-F531-48EB-887F-E7CD7498FFF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d50e4ae74c4e03e7085ea8b0f513478341a75b0","datavalue":{"value":{"entity-type":"item","numeric-id":1990505,"id":"Q1990505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109547$339BAE86-8191-4959-B57E-379D3D2E89B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d22396de3566f8539794488d7dec5aa12d5cd7","datavalue":{"value":{"entity-type":"item","numeric-id":816214,"id":"Q816214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109547$B6D441AB-F84C-4FB1-9936-5FFACD46E702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf075aaec86a3ce2575469311f0a5edc1faa7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":816215,"id":"Q816215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109547$35AD2AD7-8F26-4FC7-8584-883A115F3A41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109547$CE9E25DC-E3ED-492B-A435-2E9E390D32F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6109547$ACF46472-8D9E-44F8-B7EF-D53CD0F184B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109547$9AE20282-2BBF-4517-B9F5-8C7AFC3CA9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109547$F91754BE-68F3-4724-A55C-92D7A918A300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109547$C150AB8A-54E7-4089-B046-0C9897179ACA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"398c3473e6efa3cf51394ff73e4d5f9539837a06","datavalue":{"value":"7719884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109547$FA790E09-53ED-4C58-9FC9-2CDD6FEB62B7","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":"Q6109547$3552D9C1-AAF8-47F9-A52D-B2A1641BABE0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0056cda205d6362e52db42d4a084169be3aa63be","datavalue":{"value":"Q123905810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109547$B710DFF7-D787-4A1C-8B14-388E53120B9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bec93bbcbebce16153467543efccdb75bf8b66e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99840-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q6109547$5680DCCB-B772-4A9E-919D-127483BFEB0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3778f576e8277c25c80bf88b9440788ac6b67af2","datavalue":{"value":"W2890370072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109547$A2D5C5C2-6D18-430A-86AD-3BB1B243C34B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94916afeb49efdc1a5c456698f1caa00f86edfc9","datavalue":{"value":{"entity-type":"item","numeric-id":5108529,"id":"Q5108529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139dc26b66a0c5a15fac8e6fdeb2995d8ecdff26","datavalue":{"value":{"amount":"+0.7978406548500061","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":"Q6109547$A6EFCA8F-8DE6-4834-8856-1F07E61D56C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0eb6eac79decf19441c43d22f7d7f31912c323","datavalue":{"value":{"entity-type":"item","numeric-id":2185882,"id":"Q2185882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38852d319b087ee33587c11f3ad4d811d6dc8c78","datavalue":{"value":{"amount":"+0.7619690895080566","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":"Q6109547$BC767E08-ADC2-4A3C-969E-0FB7DF5B5061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd1ef40a1613bffb59dbc7a2d130026c42fea38f","datavalue":{"value":{"entity-type":"item","numeric-id":1323357,"id":"Q1323357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86657d8af82f621e0e8a934080f43eea6568947d","datavalue":{"value":{"amount":"+0.7554943561553955","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":"Q6109547$1B9118DC-7AA5-423A-B3C4-B12DFCFE477E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2b39343588611291d3345fedeaa40732cf64f5","datavalue":{"value":{"entity-type":"item","numeric-id":4856663,"id":"Q4856663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc5ecd6b0fdec9380b83315902750e8cabaade8","datavalue":{"value":{"amount":"+0.7498341798782349","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":"Q6109547$1BEFEBD5-EDDE-4C46-A5CF-5A5644E55EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc56cd04668553593aa95392b08298459d8a078","datavalue":{"value":{"entity-type":"item","numeric-id":2713371,"id":"Q2713371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0163cf2491fe2106f779a3c8d2e184ebf649ef7b","datavalue":{"value":{"amount":"+0.7493007183074951","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":"Q6109547$A3A01146-5D65-48BC-BE6F-79EF0AF6EC48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized programming for compositional system specification","badges":[]}}}}}