{"entities":{"Q3400925":{"pageid":3411628,"ns":120,"title":"Item:Q3400925","lastrevid":80408594,"modified":"2026-05-06T16:07:47Z","type":"item","id":"Q3400925","labels":{"en":{"language":"en","value":"Automata based model checking for Reo connectors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5663817"}},"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":"Q3400925$FD5A8427-02A2-4EE0-AD5C-E2A1731D642B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b16d254c606f422283ea8fb183a1aa91367f6ef","datavalue":{"value":{"text":"Automata Based Model Checking for Reo Connectors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3400925$2057B667-0225-411B-8736-DD5ED6E1F474","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d01d1c69e8b5417f516382d770b983ace466a52","datavalue":{"value":"1274.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400925$F9575691-CC4A-4DA3-A835-AE01C552AD3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82574b5ee09b40e93e9373cc7eb6518ac67dcc36","datavalue":{"value":"10.1007/978-3-642-11623-0_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400925$82E11E82-2FB4-4102-A360-277C78BD4192","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400925$C8C26745-E72E-4E4A-8943-6FB6F37CED06","rank":"normal"},{"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":"Q3400925$8016A521-2A13-441F-80F2-140ECF0CE9E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400925$E172F847-B7AB-4919-9F90-E5D86362FA7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-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":"Q3400925$4BCCB17E-ECF4-42C7-90CC-08D1CB1EBD4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400925$42A5353C-F0C6-4915-A073-7766D368A1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400925$C88B6889-078C-4B2E-B06B-18B9DB818AF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faa42c41ea5b5c97b65910af462d1373d590a123","datavalue":{"value":"5663817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400925$2A76D8C4-74DD-4487-8F11-A958801277F7","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":"Q3400925$A0EE7A3E-C990-4216-90EC-C16552B2A07C","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":"Q3400925$DED266C5-CFA0-4439-9EFF-071544314C13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5309d066349c2a913f9d51b537116c7ad514dad3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11623-0_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3400925$F34142A7-11D1-47B3-A154-1C76709AE7CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc20f3d30f94753647c55ca4380613b23c1f699a","datavalue":{"value":"W1495645534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400925$F8AD8DE8-3742-4625-A7AC-F0D59CBE0094","rank":"normal"}],"P1643":[{"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":"b84ec5fc4131c7a9b4830d4eb4978118723ea4d1","datavalue":{"value":{"amount":"+0.8519052267074585","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":"Q3400925$6AA05E7D-758F-49F4-82CB-F6ABB677A5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ef0aec5c4e106848ea2d75d50f1f26ed82936e","datavalue":{"value":{"entity-type":"item","numeric-id":2894576,"id":"Q2894576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3787fa3a1bb26829f49cc3ac83328623ef62226c","datavalue":{"value":{"amount":"+0.8265308737754822","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":"Q3400925$91B94017-D292-47CB-9E9F-BB4BFC845124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19436db8715a91b0c7b88367e87e6de22d629e7a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a082f844d8b01fc0ae39b81c8bab492cfb3560","datavalue":{"value":{"amount":"+0.7933269143104553","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":"Q3400925$1EF693FA-F99B-47F5-9913-EE36F35331B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b1944f9fb5cd0fdd3d5f98304f2018a29eff93","datavalue":{"value":{"entity-type":"item","numeric-id":2810975,"id":"Q2810975"},"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":"Q3400925$62925E02-4C5F-44D4-8B05-DC044743FEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2590457b4043c7e9e101da71e3465af57ce0a0","datavalue":{"value":{"entity-type":"item","numeric-id":5900818,"id":"Q5900818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d365d6af16bb422fa9a5f07ba0f4bde62fd9bc0","datavalue":{"value":{"amount":"+0.7903037667274475","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":"Q3400925$C72D2CE1-F450-4AB9-A999-9EA1323804FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata based model checking for Reo connectors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata_based_model_checking_for_Reo_connectors"}}}}}