{"entities":{"Q2892725":{"pageid":2903450,"ns":120,"title":"Item:Q2892725","lastrevid":51497234,"modified":"2026-01-18T12:39:36Z","type":"item","id":"Q2892725","labels":{"en":{"language":"en","value":"A compositional specification theory for component behaviours"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049263"}},"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":"Q2892725$A1DB756A-8A04-48EC-845C-D2E99A028C9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"527b08cc388fa3d282f235fc842b07aa9ff81f00","datavalue":{"value":{"text":"A Compositional Specification Theory for Component Behaviours","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892725$23F52796-08CA-42AC-B0E4-730ACB865043","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39af523afc84aa2a9fb0cc1b78797daead7f383f","datavalue":{"value":"1352.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892725$7C08654C-8811-4A81-AF50-B3F510900469","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2dbf9a0cdf623b3b8a9aa660446a8a2c610046f","datavalue":{"value":"10.1007/978-3-642-28869-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892725$6F6CE94B-159D-4363-973A-2DA7A02341C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892725$29406A1C-5528-4AE1-8067-6D639830050D","rank":"normal"},{"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":"Q2892725$09E409EA-0A20-4F3D-817F-341CB7C6FEBB","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":"Q2892725$D598C364-80F7-402E-962A-C2F6CA04E8A2","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":"Q2892725$23CEB6F1-6B30-439A-AC85-916E9BF94374","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892725$BD934AF3-C889-49AB-8533-4F87B5E074A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892725$6EAE3540-47CC-43B2-B7EC-4E6AD7CDBBEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892725$A8C8E542-9A27-4999-B393-41632997848C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892725$35088CAD-8C22-46C5-9298-FDA2FE3924B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892725$4FF4D2F2-80A9-40CA-9CA2-E47721D2948B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70f7709a57762862cd13c65d187f57cf3c8bde6c","datavalue":{"value":"6049263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892725$9873FFED-4A84-4D44-B73B-30DF3C9D4972","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4914568f4a47d4488b4e0b32faffb9bb206afa58","datavalue":{"value":"specification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892725$7A460B7A-A820-4FEA-88B3-8F126A656396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892725$94DB50A6-F213-4A8A-86E6-BAA67726F998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89637058ec4fb31a987fb3056088b8f52b77eaf9","datavalue":{"value":"components","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892725$EF5EA953-8524-4753-9130-52D13FE92170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c2b7ced654647021de9242bf805c45b29c8712","datavalue":{"value":"I/O automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892725$E70C9B1A-80FD-4E1D-8C55-73EFF8043772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1be68ca3b7d850a566f2d04f341616b9c992b9","datavalue":{"value":"interface automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892725$B83D4540-565B-42EE-BCC2-EF376E020008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33cc9e32ead92270098e4e08bab9f51e590aee4a","datavalue":{"value":"logic LTS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892725$19052970-5BE7-4DF7-B79A-0195BF2F84D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892725$C8A18F96-D3DD-4EDD-B292-A7BC0BC03F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af54e051c4bdba93f3cfe661c0c6a94d44e8d87f","datavalue":{"value":"conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892725$4779D6A2-77A2-4B12-B2A6-36508A79D6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04cdd5fb884b99b76f46dc32107e7543cf1bbfe5","datavalue":{"value":"quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892725$382213C1-6161-4EAF-8CD6-BC76B59301FC","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":"Q2892725$AC3D981C-75E8-41EC-8378-A110F1C35EFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"567c886263f35099b63424f962f5b2e299686e45","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28869-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892725$77E94B9F-9414-4525-AE54-466841249332","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f539e83b902d50478cf0237bd12602de1ee321e","datavalue":{"value":"W2149887749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892725$FBDB59CE-0363-4931-BD16-8F639F44D61F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22af2dc8ddab2f2ce054b7e8f30fc52de22d295c","datavalue":{"value":{"entity-type":"item","numeric-id":402131,"id":"Q402131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e788faf11c990303dfb016de254bc0a85afe82fe","datavalue":{"value":{"amount":"+0.8347538113594055","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":"Q2892725$8ACE7344-7F85-4FED-8D29-226CD6D7089E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce5ed26263b0673efef19f75a5c1d42a4774ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5415578,"id":"Q5415578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5cb6251ba40647c0739ba79025897e408efb0b","datavalue":{"value":{"amount":"+0.8019741773605347","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":"Q2892725$79DDF0F4-B93A-4C9C-AA95-0D60D1B3CE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5bcd3d288a988851d139847ccce4b193b5fdb1c","datavalue":{"value":{"entity-type":"item","numeric-id":4649387,"id":"Q4649387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40272158df95c099dd128a35de385457baac593","datavalue":{"value":{"amount":"+0.7946771383285522","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":"Q2892725$13F261A7-4B94-465D-95B0-43819B47CD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"355460b5c9da6bbbf723a39b3de870329d50f3e5","datavalue":{"value":{"entity-type":"item","numeric-id":4208877,"id":"Q4208877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049ef41fb7017f38c550f4d542c8471a268ca535","datavalue":{"value":{"amount":"+0.781252920627594","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":"Q2892725$148AB0B7-639F-475B-9272-CF8C5812AE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e59883e8abcdf4b2a80288044d5208cebf7af6a","datavalue":{"value":{"entity-type":"item","numeric-id":2999311,"id":"Q2999311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e2ff4dc8354b10dcc949206c4b1efe21e1213e","datavalue":{"value":{"amount":"+0.7786672115325928","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":"Q2892725$07265C1A-605B-4101-B8BE-74A2D006CADB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892725"}}}}}