{"entities":{"Q4963897":{"pageid":6993476,"ns":120,"title":"Item:Q4963897","lastrevid":58379553,"modified":"2026-04-04T23:23:37Z","type":"item","id":"Q4963897","labels":{"en":{"language":"en","value":"Equational characterization of covariant-contravariant simulation and conformance simulation semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7314985"}},"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":"Q4963897$FCDEF1D5-F995-4D8B-8894-BA890E363D3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25cad1472b1aba586e76bc9e7437c21409837c3d","datavalue":{"value":"1455.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963897$13987FBB-E90A-4169-9238-E4639B6D21AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7478430eb26658d7e19e913ffefd51e148e64d","datavalue":{"value":{"entity-type":"item","numeric-id":2403820,"id":"Q2403820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963897$21A6F0C9-94B8-483A-8B25-2D1D60F5594C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf6bf172b5d1200fcf3f7cb099da34bf819de36","datavalue":{"value":{"entity-type":"item","numeric-id":554218,"id":"Q554218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963897$EE57E48B-1FCC-41B0-97B1-86719A0DBA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9071efd1555942383d632edec006ccced82ce24f","datavalue":{"value":{"entity-type":"item","numeric-id":843211,"id":"Q843211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963897$B1DC707A-48D8-44D9-9290-882D7472F08B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1adf4f4ff00d375f9dadfee22b395ad0bd8222ce","datavalue":{"value":{"time":"+2021-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4963897$F086EAB9-54D3-40B9-BE03-3361CE4B995D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"720a85f6eddc2316731583d7d58ccee3ba3aec1c","datavalue":{"value":"https://arxiv.org/abs/1008.2108","type":"string"},"datatype":"url"},"type":"statement","id":"Q4963897$BF093B06-4B9B-4C2D-AAD3-D9A8FC99A204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e7c1b1a29470131b50be197ecb3bbd2ec729c09","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2010.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4963897$0A715B95-849E-48D4-A603-F0180077A93F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963897$76770B96-9892-4727-94AD-4DFD4E3501B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963897$8C41B81B-EBAB-42CE-87EE-0A23A5F23595","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"478ecb713ba13b98871f81f7cbb22790293eeba8","datavalue":{"value":"7314985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963897$DE56A9B1-C1FE-480A-A853-C96704853FC2","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":"Q4963897$F6B0F3F9-6941-42A5-A46F-AFC5BB12FE43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8078a654664f4d4e92c2196221d7d798266854","datavalue":{"value":{"entity-type":"item","numeric-id":4965855,"id":"Q4965855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9908e0a0c3fb11ca782fbe1b0cfda66281073c8c","datavalue":{"value":{"amount":"+0.7586148977279663","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":"Q4963897$C486DA7A-8EBF-41E7-A5CD-13D130B2BC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe65ef4deeb20168838bd4d42ff50061e4f2747","datavalue":{"value":{"entity-type":"item","numeric-id":2871827,"id":"Q2871827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02bd0e0a342ba3ea15eabd2e48ce6a4758f0096d","datavalue":{"value":{"amount":"+0.7550392150878906","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":"Q4963897$55D8F33E-89A6-4990-86D5-F4573C70FDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55ddf384574cf359d56a44c20db824dbc2e752a3","datavalue":{"value":{"entity-type":"item","numeric-id":1012122,"id":"Q1012122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c353d45224d9633109b4b596a2e370eb31728d9","datavalue":{"value":{"amount":"+0.7537354826927185","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":"Q4963897$CED243F8-BB75-4AF5-A9D5-7F19A62E8F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f0d2815bcfe1cd5a5d41fdff9760cfeb738ef0","datavalue":{"value":{"entity-type":"item","numeric-id":2894568,"id":"Q2894568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4c5e3b367115e716519d8583e5477d0e66e1a2","datavalue":{"value":{"amount":"+0.7458197474479675","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":"Q4963897$CF81FFE6-1AE3-4A37-AEBE-E86B0B2EF2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77795473655e32ad0233d53e131bb0134af01ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2453533,"id":"Q2453533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f604223d801538b66bb920ac3ae6d535f590f13c","datavalue":{"value":{"amount":"+0.7429794669151306","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":"Q4963897$C676327D-87BD-4D67-BB2F-B2BC0BAFC782","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4963897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4963897"}}}}}