{"entities":{"Q672503":{"pageid":674352,"ns":120,"title":"Item:Q672503","lastrevid":63710454,"modified":"2026-04-11T15:01:24Z","type":"item","id":"Q672503","labels":{"en":{"language":"en","value":"Easy verification of behavioural subtyping in common cases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985034"}},"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":"Q672503$E8EE6558-CBA9-462C-A370-60EABFA81E56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad38148eeccd818e0c4da56c6bd66c0c584df736","datavalue":{"value":{"text":"Easy verification of behavioural subtyping in common cases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672503$04B79C54-7AFA-484A-8E4F-49476F4126BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9134fb476014cba6b31c194ec28a889d3feca119","datavalue":{"value":"0875.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672503$3604C5BF-DFA1-4562-B40C-3A415C3A6405","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dc2dff8d0f36cb2f74835989adb91cf36c661c4","datavalue":{"value":"10.1016/0020-0190(95)00064-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672503$F6E6DA92-7561-4077-B9D3-BD8AC9B5AB02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48e839f6d68d62b4d9421cfc8d3cd8cad1b3dc7c","datavalue":{"value":{"entity-type":"item","numeric-id":672502,"id":"Q672502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672503$5A68944F-A181-47CE-AAB1-12633334AC1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672503$F652720C-1108-4D8F-99F4-FFDB818A60DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-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":"Q672503$1D90F3E9-2B85-47E2-8E9F-E6B7ABF67898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672503$A4DE54A6-5AE4-4F47-87E3-25C0917C98BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672503$EFE1A974-B249-4D08-A7C1-8815505D362D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0c213105599c875a5731fd623668dc03019e0e1","datavalue":{"value":"985034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672503$EFB1519A-C1AA-4DEB-AB80-43C2F3ADF8CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0991441c70d8fa144c6ed3ae0c8cdc9b88690cdb","datavalue":{"value":"Program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q672503$B4400C3F-D8B9-4355-B34B-CA29A2964EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae53b53d17717319e621a0dd3ffb5abbf97171d2","datavalue":{"value":"Formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q672503$8E500DC1-63E3-4907-9E37-D91CF5FAE52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accba342e342b2da758969ed736b9beaa7599a2e","datavalue":{"value":"Software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q672503$6C6BD74C-CC60-4A65-94B6-A9F88CE58B67","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":"Q672503$1346FF5A-A5CE-4D54-9946-C58EDEB97F27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95a1aafca8348252a247e6e509a903223880e585","datavalue":{"value":"https://doi.org/10.1016/0020-0190(95)00064-j","type":"string"},"datatype":"url"},"type":"statement","id":"Q672503$A8A7C59D-E1A8-4A8E-8065-6C9D63A26DD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"506a57745e1da7fd07794d164a121317ad87e99b","datavalue":{"value":"W1982267329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672503$D94DC802-FD41-453F-8407-D41E45E1B6F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62fae1dafe27438eabec0a7abb914a8bf3005912","datavalue":{"value":{"entity-type":"item","numeric-id":4790346,"id":"Q4790346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f9c2c1360b2b58f3b62961b0082b8333996217c","datavalue":{"value":{"amount":"+0.7206231951713562","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":"Q672503$81BD3016-EA73-403E-A984-265767C4EE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a61770a4e2b54a494870ecb561ecc50f64c739","datavalue":{"value":{"entity-type":"item","numeric-id":2767195,"id":"Q2767195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b02c95c2c50a444e21cf981682cebd010bf2a3","datavalue":{"value":{"amount":"+0.6645667552947998","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":"Q672503$CB3B213A-CE18-42E6-8C72-90E01213BCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e593da18cc1765601209084d2f295bf89ccf6f9c","datavalue":{"value":{"entity-type":"item","numeric-id":4654728,"id":"Q4654728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b09e2796a17fc0eb75b433186bd5f11c5c13908","datavalue":{"value":{"amount":"+0.6565855741500854","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":"Q672503$518FBA66-4AAC-4D3C-AACF-68A06BBEA2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c38bd5c74666039c8e82b4468253344fb0e949","datavalue":{"value":{"entity-type":"item","numeric-id":2906947,"id":"Q2906947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe30fe1f8a9495ff4cd4986677c19612f0e34d2","datavalue":{"value":{"amount":"+0.6469226479530334","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":"Q672503$46E1543B-9383-45CF-941B-F81064820F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb764154ebfc816055d6179daa8a0739fdfcffa","datavalue":{"value":{"entity-type":"item","numeric-id":1426939,"id":"Q1426939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7582a83bb9c060cebfaf59605e08e52014c3c44a","datavalue":{"value":{"amount":"+0.6443615555763245","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":"Q672503$0D7FFAB0-E5C0-4A4E-AFA0-CF4DDBFE988A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Easy verification of behavioural subtyping in common cases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Easy_verification_of_behavioural_subtyping_in_common_cases"}}}}}