{"entities":{"Q2810975":{"pageid":2821713,"ns":120,"title":"Item:Q2810975","lastrevid":52548059,"modified":"2026-01-22T22:43:25Z","type":"item","id":"Q2810975","labels":{"en":{"language":"en","value":"Compositional failure-based equivalence of constraint automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589711"}},"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":"Q2810975$F600F2EB-FD4E-4E8D-A285-918379C03AD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5c604c39f4162523e8f8d60b0172379df3e74f2","datavalue":{"value":"1339.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810975$7C054B4F-AA64-448D-9CA9-C61884CAD3A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e095d5a0ac7f341866f731b8ac95c682bab1eaa5","datavalue":{"value":{"entity-type":"item","numeric-id":504331,"id":"Q504331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$9EAC6042-35C5-465C-987E-7DF90721CC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cad69ab3ba9aac6a1b46027bca527d9afd64673","datavalue":{"value":{"entity-type":"item","numeric-id":549193,"id":"Q549193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$5DD84352-F739-48CA-9A71-460F0579CF97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$4D447C5A-5498-41E5-8D73-32100ACB69E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d066e43a0d378deda532184f86b234184fe2275a","datavalue":{"value":{"time":"+2016-06-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":"Q2810975$DDD99C4D-7FCF-4347-920B-DF97758FE587","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810975$CE1702BE-A05E-45AD-AFC2-7276525A3C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810975$83A17F6C-8FE3-4159-AA3C-48E7D56DCC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810975$B6E477E4-D5C0-4B87-95ED-3D8719A2F6B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1d4608826a1dd4bed29e5855ce46c0e30638ab4","datavalue":{"value":"6589711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810975$39ADA921-9FB7-4241-A144-2BC7B4120C1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0aa662b2b7ee896a11f94703cabb105ae5fd891","datavalue":{"value":"constraint automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810975$FD80637F-70CE-4923-A667-DF39E0771C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e3b19310bcbb5649cb6c9893628912543c42ca","datavalue":{"value":"failure-based equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810975$2ECD7F5D-9DB9-4971-B1B6-F4806D2AEB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abbd5d1d4b1a52d2cda35855ca30d9420f2b8426","datavalue":{"value":"component-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810975$B4E17B7A-9588-461B-BB19-B378D7A9CDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0338aa39ed54048575ed4f5e18b34ff593614c","datavalue":{"value":"compositional model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810975$17618D7E-DE02-41FE-A354-8687D9315FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d39e68764ab5128bc9063e26d919348847f2226","datavalue":{"value":"equivalence-based reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810975$54E99842-5D86-40C9-B5FC-3AE27F55ADA6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"da0d2b2bbae9cf0dd615c0d47aef81a006591fcf","datavalue":{"value":"Q57835395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810975$E2E10DB9-BDFC-428C-A59E-83ED67365C2E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$0C0B3C2F-6DBA-4539-8E94-EE0F29543205","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":"Q2810975$FA8BC04B-CE69-4120-8495-FB6672D9AD2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"121e3149c22e75e927dccd3801863f270771412c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.08.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810975$F0A99D5D-89B0-4FD8-A83A-23D2F38BE7AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f43f1940f58bea3eafd9b7ec5d987f57711544f","datavalue":{"value":"W2023255277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810975$36E1861A-050E-499A-A03B-95093BF9845D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5ddc6c0766496c445e307e5e9c51907b2d428a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$A5F7CF24-940C-40AE-BDAD-D9D44B57B831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a65c33cb005617e97f0e29bd4909f3571c3824","datavalue":{"value":{"entity-type":"item","numeric-id":1776573,"id":"Q1776573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$82EF6FB6-DABF-46F5-B6BE-3FCD6346F5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8549a440c2a763711910dbc676e4066bb0ed6c7d","datavalue":{"value":{"entity-type":"item","numeric-id":4738171,"id":"Q4738171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$79CC313B-779E-4539-AB54-9FBEDA80052D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316a7f52d1a85eea1cb2fa0afaf4cb5ab7a50ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$5C9E598E-8451-41A7-A3CA-C7D8010D08C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$8990D235-794C-46CA-8F4B-4B5A0AC6DCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a582208fcd11f765e61b0b568f3408400094182","datavalue":{"value":{"entity-type":"item","numeric-id":4037383,"id":"Q4037383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$97D9D180-CCAE-4242-A215-8620F18D8DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$0D33582C-23CA-4408-A476-37C52D668AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$3E1454EE-2E9A-4B91-B51A-046BA40202EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$66F175B9-48FF-43F4-A79C-E6637B4CB827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$CE9AB2D9-2DFB-4778-829B-B390034B5B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8a395965b4a89157441c6e6d74ef9d13de849c","datavalue":{"value":{"entity-type":"item","numeric-id":1903079,"id":"Q1903079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810975$156659FA-FE2C-47BC-AD65-CB6BA89B2FD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29a59525afed496df55171b861b2b0eda3eeed68","datavalue":{"value":"10.1016/J.ENTCS.2009.08.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810975$2FA88BCE-FDF0-440E-8C5F-265EADF4DFBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"973c279dd33ed9e1b5e6654d929790b8a926b391","datavalue":{"value":{"text":"Compositional failure-based equivalence of constraint automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810975$583E6387-B2C3-43CF-BEC5-DAB22E43CB5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f77f87f10771cebe950466e8bf7e9240fd9d0e0","datavalue":{"value":{"entity-type":"item","numeric-id":3056378,"id":"Q3056378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"241244efccd3eaa9856259fd9f109995321f75ec","datavalue":{"value":{"amount":"+0.918521285057068","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":"Q2810975$341AD300-F704-44D3-8567-62431D0644D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12de385c49a24ccb3a19493a688a54dd777522ff","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08fc1c0f464c0ca510e9e553cf213b5b58110533","datavalue":{"value":{"amount":"+0.8828032612800598","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":"Q2810975$8B741E6F-0EB0-4EA8-8CF1-FD3E9BB7892A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241e544c76b9fb626dd5d931c6087249aabff738","datavalue":{"value":{"entity-type":"item","numeric-id":3508545,"id":"Q3508545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9df49bcbb988ce4ee076bf157e9e0b5cd1e136b","datavalue":{"value":{"amount":"+0.7933586835861206","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":"Q2810975$853EA87B-FB03-496A-A4D1-7D3A7F0D023D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852ad7ae2c4d6f7c5e0fcc54b3eab08c1293a8ec","datavalue":{"value":{"entity-type":"item","numeric-id":3400925,"id":"Q3400925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e97d856bd2a00f14da993a0d7e06998db3cbc9","datavalue":{"value":{"amount":"+0.7914812564849854","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":"Q2810975$5B46B0B6-23D1-4816-B514-A99EAB36A7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f362391d23c34082bfbc7a63e9719f5e3522fec","datavalue":{"value":{"entity-type":"item","numeric-id":5505600,"id":"Q5505600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfab2c91ccedee2d3d50f0ba5b23f4b47d687a2a","datavalue":{"value":{"amount":"+0.7882765531539917","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":"Q2810975$610F3DED-A843-4878-82FD-72DB1422CC71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2810975","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2810975"}}}}}