{"entities":{"Q1977078":{"pageid":1987820,"ns":120,"title":"Item:Q1977078","lastrevid":46914165,"modified":"2025-12-25T20:31:48Z","type":"item","id":"Q1977078","labels":{"en":{"language":"en","value":"A complete algebraic characterization of behavioral subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444002"}},"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":"Q1977078$12140D22-D270-4459-814C-FD5BE5D2A408","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ed4ef6c2ec260557e01a28e03accad78857c6da","datavalue":{"value":{"text":"A complete algebraic characterization of behavioral subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1977078$C737963A-674F-46E9-91F4-F9E70500F9DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"623e18e9834160b1622832f27ead264764671018","datavalue":{"value":"0951.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977078$4DF46031-5961-4F55-872A-56A19320BC10","rank":"normal"}],"P16":[{"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":"Q1977078$BAE657A3-3007-4D5B-AC33-E9909941845F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a53629355a87f6eb2c4dceb6664166a14249140a","datavalue":{"value":{"entity-type":"item","numeric-id":673382,"id":"Q673382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977078$235689B6-1AAD-4B8E-9892-92887323E2B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977078$11F294EC-6F7C-4C3C-A558-3E37255FBEC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7543152ecddaf21ed728b3008f8361c72e57a31","datavalue":{"value":{"time":"+2000-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1977078$08BAE563-FD0D-4087-B758-23EB8E048396","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5722c1419be00a4836b80755f4d9d2956bf4a2af","datavalue":{"value":"https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1111&context=cs_techreports","type":"string"},"datatype":"url"},"type":"statement","id":"Q1977078$203AD398-8B8F-4479-8F5A-3352FD133EA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977078$DA2EB8AC-5284-4031-A714-0E7BE9E28373","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"334bab662248f05ad1d4683d17157c34f8e4ed58","datavalue":{"value":"1444002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977078$7618D2A5-DC51-4394-BF83-3E68367AB566","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd55c262c7f7ad6ee2c7c747d073b3e40e77cd74","datavalue":{"value":"behavioral subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977078$6ED5C63C-ADF1-4BB3-A06C-F0506D236817","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":"Q1977078$D7C26698-3C5A-4927-BA60-086E71B64C31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d94a9aacf54419bb6eaaf4f5575d313c5cd2eb36","datavalue":{"value":"W2004756043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977078$16463964-A488-47EF-B377-57D44B090CF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d1e3915072fc1dc11d8ac2bb4ac7cac2f1303e6","datavalue":{"value":"10.1007/S002360050168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977078$4411FC10-B3B7-4CF0-BBE2-C7F58ED09EC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c61c373a9696c60b71a51490c03f0c86bc550a6","datavalue":{"value":{"entity-type":"item","numeric-id":1391868,"id":"Q1391868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270811b4b44ef1e731180ca91add519afc84c27a","datavalue":{"value":{"amount":"+0.7613241672515869","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":"Q1977078$6FE26F3B-255F-496B-B399-3ECD80ABE88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea098b2fec87256fb0b488c5206ff1172a176161","datavalue":{"value":{"entity-type":"item","numeric-id":418153,"id":"Q418153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baeec56f33be7956977e77f03e66f08c4ea5c996","datavalue":{"value":{"amount":"+0.7408902049064636","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":"Q1977078$62BE8E8B-B54E-4581-8EB2-5174AD0252AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630157a0aca7e78b33e25a6abf24643000d379a1","datavalue":{"value":{"entity-type":"item","numeric-id":1906038,"id":"Q1906038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73aeecb46ededdf06c91af38887bab5b315030cb","datavalue":{"value":{"amount":"+0.7356138825416565","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":"Q1977078$396BA509-38C2-4381-8C41-5585DC0B84A3","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":"513b6a7a75c8b2f05461a7a96a0b4d03721efd59","datavalue":{"value":{"amount":"+0.734394371509552","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":"Q1977078$9FEE4E88-211A-4D10-B2E3-A191568CC119","rank":"normal"},{"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":"65a450c5b359f1d7c72f207fddcf868acef71911","datavalue":{"value":{"amount":"+0.7342373728752136","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":"Q1977078$9F8D81F4-F218-4F3D-BD89-154E1396F6AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1977078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1977078"}}}}}