{"entities":{"Q2844810":{"pageid":2855530,"ns":120,"title":"Item:Q2844810","lastrevid":51802721,"modified":"2026-01-20T03:08:52Z","type":"item","id":"Q2844810","labels":{"en":{"language":"en","value":"A hybrid encoding of Howe's method for establishing congruence of bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199473"}},"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":"Q2844810$B446A23E-BCF7-4EA4-8B15-616FC55D6E0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6da7b12cfffb3e8cb4ad3ecd17f18851972f2801","datavalue":{"value":"1270.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844810$D8AC8A5F-45FB-43A3-BF2D-53842253D31E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8135914452c3b1bd839ce74f3161ea4765c65f58","datavalue":{"value":{"entity-type":"item","numeric-id":287276,"id":"Q287276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844810$EC92C226-E023-4CEA-B45A-20A682D34938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09dd3c96e1e6b9d594d4b38ca2de4ecc7417fe21","datavalue":{"value":{"entity-type":"item","numeric-id":671984,"id":"Q671984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844810$D45A6B25-89BD-445C-B7A9-6DF3FB8BDA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a40fb8ae99741e91d6a63c85400bf5c0ece51d8","datavalue":{"value":{"entity-type":"item","numeric-id":265796,"id":"Q265796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844810$33857D83-223D-45E4-803F-A5F406DAB788","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844810$9F740944-E76F-48E8-8797-25A7AC46C749","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69ed2bbea4e18aa678ca695034e6a1334a9f4768","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104805061","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844810$89B9831E-56F5-4ABF-9980-36317F310EFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844810$C7C1F6D8-5AB8-4BE1-B5AF-F1CA9EAA389B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844810$9EC8E632-5082-4AAA-94D4-87FFB8B4DF44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd0108d02d91b2a7daf9da4a4862bfcc1eaed771","datavalue":{"value":"6199473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844810$FB6B3159-1D26-4AEC-A69A-22BB159A7E09","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844810$96892D03-73A0-417F-9877-8AE1AF371582","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":"Q2844810$C91638FC-45F0-4B12-BC01-70DFE528F23D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45f760eb71f974b678a3fef41b7f429e2ce78bcc","datavalue":{"value":{"text":"A hybrid encoding of Howe's method for establishing congruence of bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844810$441F1F9D-C260-4DA5-A186-0E4E1AEB5E17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38aa120b25c6a2afd536e54ca4c3bec74fcc152a","datavalue":{"value":{"entity-type":"item","numeric-id":5236557,"id":"Q5236557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16dede1c85efc7b50185fbb3e9dc85666951ca4e","datavalue":{"value":{"amount":"+0.7827931642532349","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":"Q2844810$966A00C9-93F6-4677-BB1F-53201A1E9A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47167d4bb944e79729d3ca171d41ed04cd2ec74","datavalue":{"value":{"entity-type":"item","numeric-id":438569,"id":"Q438569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18d333061830fa499e4455be2db1d79df02449b","datavalue":{"value":{"amount":"+0.7806602716445923","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":"Q2844810$3EE85236-42D4-45AB-9ED5-F8630599AB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2a6ec1f489d756f6b308bccbd87a5b30a3aae9","datavalue":{"value":{"entity-type":"item","numeric-id":4484329,"id":"Q4484329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2a71421677511ddce1a6001aaf9330335d5708","datavalue":{"value":{"amount":"+0.7507744431495667","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":"Q2844810$49C8972E-FABE-4C6A-BFE1-B65190EB215D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2e9d76a9489690629d791b0be06cfcb057605c","datavalue":{"value":{"entity-type":"item","numeric-id":3008233,"id":"Q3008233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb081327f821020b826aafebf1ca8e32b67d04a","datavalue":{"value":{"amount":"+0.7473021745681763","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":"Q2844810$771FD416-FC41-41B2-BA5F-B2B4AE32C917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70286fac7be6acb12f06a88f182bfec6859f4591","datavalue":{"value":{"entity-type":"item","numeric-id":2863895,"id":"Q2863895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471754d7a0dd77281ea6944c3f64cd67e58eb8d4","datavalue":{"value":{"amount":"+0.7404382228851318","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":"Q2844810$DEA84BCB-303B-4B19-9CA2-59A657051069","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2844810","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2844810"}}}}}