{"entities":{"Q3508514":{"pageid":5538418,"ns":120,"title":"Item:Q3508514","lastrevid":50395376,"modified":"2026-01-13T23:19:45Z","type":"item","id":"Q3508514","labels":{"en":{"language":"en","value":"Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5294862"}},"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":"Q3508514$ADF55C04-5197-4CCE-9C62-3AD2C437A0A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75109069179fec0f61423bc746ef8377ec4c2276","datavalue":{"value":{"text":"Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3508514$2A1FF4F6-C718-456E-B3D9-330AAF36A209","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04ff10ee04480c0818c288a3cd323f648fa6ef59","datavalue":{"value":"1141.68345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508514$FC7CB51C-0FBA-4F4A-AEB2-4D6E5F278EE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fb650dbf6a2f3f3179fc5d45f57a6c169b2bfaf","datavalue":{"value":"10.1007/978-3-540-75698-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508514$FF3DCD8B-9F6B-4FB5-9CE2-2BFE1127E1BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d186ffae7a6a5bc1e70effbb97832821f316fd4d","datavalue":{"value":{"entity-type":"item","numeric-id":3508513,"id":"Q3508513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508514$82D1925B-A2BB-4D94-97D6-51AB7B13498F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69c11bcfd22e80040e7720a9e7cb89fb42b602be","datavalue":{"value":{"entity-type":"item","numeric-id":605694,"id":"Q605694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508514$D5DF6244-A837-47BD-A98A-B90AC23A6DFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3508514$7469C291-0B4D-4E4A-A018-AE9F584BAED3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3508514$2222D6C5-9FC3-4D4E-8312-5B77D923E967","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508514$17B17869-EA65-4EF7-BFC8-3548F2CEFCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508514$2364ECBE-6AAB-4E68-A199-A598451F2E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508514$51164554-CE21-4A3F-A06F-C8F42B4782E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0a8b28a2edc388341fa6691a42b848a6729db15","datavalue":{"value":"5294862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508514$1ECDE329-9EB5-4599-BB26-254109A8B53D","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":"Q3508514$985EE242-3524-4784-A8A9-9E49415B7742","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d98f9bf8c2cbf65b44a1d18af038b63168c1b1f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75698-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3508514$CE89A6FF-46EE-4117-B949-CF418164F0E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dab6627eb1143a506365e4bbca468bc4adb9856","datavalue":{"value":"W4236927140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3508514$E409C5CD-6E92-477B-B772-1D32FC3966F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae679b0623748f1151d347642ddd404f3666e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2921918,"id":"Q2921918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25d1d356b5ead90e29c65dab1c389c850406dec","datavalue":{"value":{"amount":"+0.7019854187965393","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":"Q3508514$C0760D97-FA62-43E3-8DED-9F0A77C60425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a24b096edc47174b254a0e06d2c66e8e3a2eb48","datavalue":{"value":{"entity-type":"item","numeric-id":4989033,"id":"Q4989033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489d004b0db8f6272bf649b3f4fe7e233b10bad2","datavalue":{"value":{"amount":"+0.6891983151435852","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":"Q3508514$BF3431DE-2B4C-42C0-B38B-BEF1B152BB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b26bf4f5d69d17c3f3d0cdbc9e15c39c90b88360","datavalue":{"value":{"entity-type":"item","numeric-id":5184418,"id":"Q5184418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b821377af2990de45b4292821405bbf6c108e2da","datavalue":{"value":{"amount":"+0.684801459312439","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":"Q3508514$A0975812-DCE4-4A76-ACA1-50D2FACD5762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94fc301e1eeb87622dd53415eee92f75f0a1fa1","datavalue":{"value":{"entity-type":"item","numeric-id":4738132,"id":"Q4738132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a38ef995640b7f3a2caa878aeb97e666a74d14","datavalue":{"value":{"amount":"+0.6833767890930176","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":"Q3508514$90A47D48-DC45-427F-BAD4-ECB20A250AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887a076b6d4f896f1fe32c094367ffbbeaec0d56","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a1136a9b6d36190cc72c334c385f829d166bc0","datavalue":{"value":{"amount":"+0.6782657504081726","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":"Q3508514$9AEB1BEA-E756-43F4-B549-014FDD98998C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3508514","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3508514"}}}}}