{"entities":{"Q2875082":{"pageid":2885802,"ns":120,"title":"Item:Q2875082","lastrevid":52065104,"modified":"2026-01-20T21:04:02Z","type":"item","id":"Q2875082","labels":{"en":{"language":"en","value":"Behavioral interface specification languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6329984"}},"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":"Q2875082$C058F576-BE59-47E6-BCD2-660BE8BD8C26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e9362db16768d7cc497cc6b926b51e27561285c","datavalue":{"value":{"text":"Behavioral interface specification languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2875082$4E356323-7B8D-4313-A829-00AB85D0FC74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e098672c95290ba568509b50b03a46ce225b2ac0","datavalue":{"value":"1293.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875082$3402C0FE-882E-4F6F-BEA3-883D10F02BB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"375a0fae2b5cb9c7bf3876f00b9baacdc98e6bb8","datavalue":{"value":"10.1145/2187671.2187678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875082$15803727-A4D7-4EDE-AB5C-F841E82CE78E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3446e7dbb7240ad90687dceaaac250247886da36","datavalue":{"value":{"entity-type":"item","numeric-id":236462,"id":"Q236462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$9126112A-DBE3-451B-8524-F8FC5CE397D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aafa68fdbd9aab7de8f372c41bc63d703b38518","datavalue":{"value":{"entity-type":"item","numeric-id":811373,"id":"Q811373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$FA52232D-CE42-4564-A9B1-9C7A3334E03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e0c2c58ff8fd4ec1edd435e868f3bbbace9fa5","datavalue":{"value":{"entity-type":"item","numeric-id":633284,"id":"Q633284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$E6C57BDE-E45D-4DDB-9CA9-25380B168A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a35f7bcc35ecef12900b8d681e0c43da878793d","datavalue":{"value":{"entity-type":"item","numeric-id":240898,"id":"Q240898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$BEB18157-EA47-42B0-94DD-6750AC549927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd33ff146caa74aefde0dc36311b64aaa0675018","datavalue":{"value":{"entity-type":"item","numeric-id":2151271,"id":"Q2151271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$4D03F499-260F-4743-ACE1-871D079CA016","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"648f066d7111f855f920a4df12eb5365632ac7c3","datavalue":{"value":{"entity-type":"item","numeric-id":59986,"id":"Q59986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$2F3BCBF6-781E-4451-8AAB-17DEF67F62B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f80e145b44ef7aa11a9e241ede63c58486ab29d7","datavalue":{"value":{"time":"+2014-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2875082$1A9388A7-3BDD-408A-A6AE-D71D1BA35BB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875082$FE4D6CF2-CC46-4752-A105-53FB69972918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875082$F556FEDC-A2F0-4B98-AC78-B270E8799402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875082$CB157ACA-C54C-4AD0-9379-365E7E1AFFCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66227eae2babac1a21695c849fdf15fae5b59157","datavalue":{"value":"6329984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875082$336CC769-9481-4B92-AB3C-2334BDFD644F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5811262c53f35a0e9d18aac29f87d17c45ac2c96","datavalue":{"value":"Spec\\#","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875082$AF35C7C1-EDB2-457F-ABC4-10F1B9F272CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211c0a282ed1c362ea9e705108f2140d599deb1b","datavalue":{"value":"assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875082$44D64EF0-9CEA-4696-A8B1-9E90664A98E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd55c262c7f7ad6ee2c7c747d073b3e40e77cd74","datavalue":{"value":"behavioral subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875082$9BFAE6AF-BEE7-41E9-AB3F-1E686FD22AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be4dde536a3997ac9c5c6af20180c459225bc0da","datavalue":{"value":"frame conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875082$1098355B-3331-4A9B-B32B-D7F6671E61A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e1ade5a7215bcb60363baefec8e3d7f88b5c44","datavalue":{"value":"interface specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875082$D2D27A75-E65E-4827-AF8B-4DBD925E5227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f08fe6c16b3c26a1a0a83daf5a7e3891341f78","datavalue":{"value":"invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875082$02FFC093-8DBC-41C2-AF7E-4060ED7928D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8ce56ee8b42110050dbf827609bd4d689ad8ef","datavalue":{"value":"postcondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875082$40B293CD-1697-45D4-8B9F-FD5A19178E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec2a5c0aedb726fa0342984da34f2afe9161b9bd","datavalue":{"value":"precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875082$FE14D1F0-3C21-4C04-88B8-8E7DD8E71C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875082$AEB50175-FF4D-4E24-8DFA-CB4619B47611","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$B34D8AC1-61EF-4599-8C0B-A4CF6CBFF962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$13ACC015-ED60-42D1-B0C8-A36A4F95EAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dee6d695234cdfbc4a272f03f51845f9fcd03368","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$03377285-9D4E-4398-870F-1B26AF01DA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$56142812-B0CB-4E9A-82B6-5209CE6520C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$416F5587-EBAE-4009-B084-4D0962C34CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d618f2518558acd5a4de20ebf1f4d24983053a90","datavalue":{"value":{"entity-type":"item","numeric-id":21728,"id":"Q21728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$AE7D6748-5A70-4F29-A7AE-C0212E2C7BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f665509128710de7021946860dd85d2ff76d96f","datavalue":{"value":{"entity-type":"item","numeric-id":21729,"id":"Q21729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$82424BCB-47A2-494D-9178-F214F908AD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$A3BFA4D6-D127-4775-AFDA-8058246C2A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$ADBC224B-CEDF-476D-BDAF-271561D12C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$A36CF267-C834-4038-AEAA-E04E62B7DD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$E17778BC-E5BF-4CB2-B04A-1F79EDFC6ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$AD8BC99A-3493-4C0C-9E9D-DA892CA2493E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$928D881C-BF0E-4961-B2B7-2D69A5F8C993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$ECD173AA-6931-45A0-9016-15D167F46FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$CA6F68CB-C40E-444E-AE3A-25CB9713E241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$3D919951-3FF7-4C8B-ADE0-0F478F1372AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$EAA29DF0-F03E-4A5E-8D31-10A611BED0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875082$FDD3C484-D224-4E68-9231-989C50D1AEF8","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":"Q2875082$C712096F-AC3B-44F3-8433-2DF175AB5ED1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"278e4a34baf21a0e01545368b533984b8ee3110f","datavalue":{"value":"https://doi.org/10.1145/2187671.2187678","type":"string"},"datatype":"url"},"type":"statement","id":"Q2875082$EB82973F-DEE4-4D09-820C-F5C8BF1BF739","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34915ff876595145a493ed4f17c90362e4032f63","datavalue":{"value":"W2095907349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875082$4C6FD8D7-0A70-4EF5-A68C-03C769D23A80","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"476db460c0c418e137721a7121e556722ef2bf3c","datavalue":{"value":"Q131117441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875082$97D6B1D8-897B-44F5-8387-98932BF3BF21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef36cfaacc1b41408c367f6d94ff3a50d139e21b","datavalue":{"value":{"entity-type":"item","numeric-id":3763570,"id":"Q3763570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7435cdf472c0ee4ee72c288037debd4aa7903bf","datavalue":{"value":{"amount":"+0.7017877101898193","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":"Q2875082$6AEF98D2-2764-4053-89DF-4DD6CF64F310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0414bdc923cc7bd398cb4c0961c0dc9ed04212d","datavalue":{"value":{"entity-type":"item","numeric-id":5178894,"id":"Q5178894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09bd1975840e16eb372223da2db647ddefce0635","datavalue":{"value":{"amount":"+0.6927345991134644","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":"Q2875082$D2E4234F-CCAA-49F4-BE1A-8DB70C74EBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abff30b1df24a3c195e114a27a91779987c7e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4790351,"id":"Q4790351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2139226b86598750dfc8f114d5d7008f799edb9","datavalue":{"value":{"amount":"+0.6894873976707458","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":"Q2875082$7A2C99E4-A142-4A22-985D-B2EAF590590C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"754e8bf727a97683f4711e4a0a516167312f2a82","datavalue":{"value":{"entity-type":"item","numeric-id":1271854,"id":"Q1271854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3596335bcf37854369a647a382b2ed42a638ecf","datavalue":{"value":{"amount":"+0.6894636154174805","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":"Q2875082$0520B172-5765-4203-8EB9-5DF2F2A114FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d2f86eca62e9117c9be39ba04f08ed51c8caa8","datavalue":{"value":{"entity-type":"item","numeric-id":2180531,"id":"Q2180531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3596335bcf37854369a647a382b2ed42a638ecf","datavalue":{"value":{"amount":"+0.6894636154174805","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":"Q2875082$FD6D824A-941C-4B06-9B66-12FC70144025","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2875082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2875082"}}}}}