{"entities":{"Q2847411":{"pageid":2858131,"ns":120,"title":"Item:Q2847411","lastrevid":83763074,"modified":"2026-05-07T10:53:14Z","type":"item","id":"Q2847411","labels":{"en":{"language":"en","value":"Completeness results for undecidable bisimilarity problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6207125"}},"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":"Q2847411$B7CD5B2A-6AC9-4551-B832-8C47C40EF731","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4178d192471e716d108ee47d139a2b6d3985808","datavalue":{"value":"1271.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847411$E23820B2-D31A-404E-8EE2-E2E57A84B3B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e8c017497806797f217f1d658e3d224a2498206","datavalue":{"value":{"time":"+2013-09-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":"Q2847411$ED77FAED-CAFD-42F2-9C6F-C4C02706FD55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d6c61098e2f8dce8b3f28b7fecf9e2318809a42","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104050522","type":"string"},"datatype":"url"},"type":"statement","id":"Q2847411$9ECC5F3C-0850-4A72-BACA-534ADEE0330D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847411$76EF1F60-F771-4E6E-BFAF-12BADE8A2BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847411$A7DE1751-899B-4670-9CA8-6960025E35CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9208127e6fc5f2586e409069553b026ba69cdce5","datavalue":{"value":"6207125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847411$037884EC-64D0-42A4-A65C-7AB9939BDCBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847411$E235E5A2-DFF5-4ABC-A27F-B758F238B32F","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":"Q2847411$FF152EED-8C70-4AED-A7B4-31A43B764A99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b56863173538c73a6578d1ed4842176e530a726","datavalue":{"value":{"text":"Completeness results for undecidable bisimilarity problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847411$38F15A3C-D54E-4CCA-AA8F-1D733C37D25E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e139a5dab215f09ceb027b350550c5fad365c4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4673429,"id":"Q4673429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f66ae47afc72396c983199ad1bcab3326d36ddc","datavalue":{"value":{"amount":"+0.8503715395927429","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":"Q2847411$EB64B150-B5DD-47BF-90F0-AA7DD56D6363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dff55a737df6c82e9466a23bd42a62ee671b99d","datavalue":{"value":{"entity-type":"item","numeric-id":4484512,"id":"Q4484512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0540013c6afb92a0d6b1caf36901f1dd26d2ce4f","datavalue":{"value":{"amount":"+0.8483847975730896","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":"Q2847411$E0A4DBEA-885D-49EA-9756-3C47814CB996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7efdb8340a02bab85ed8e28e0582078f601292","datavalue":{"value":{"entity-type":"item","numeric-id":4536443,"id":"Q4536443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8f03cb14fe2df4267e113a252ae59d0967706c","datavalue":{"value":{"amount":"+0.8385036587715149","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":"Q2847411$7E97B97D-F6D1-4D73-B3C3-0A4CE98D817C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc224367185c7e2f0bb6d7917b4953a02609c4d7","datavalue":{"value":{"entity-type":"item","numeric-id":5096742,"id":"Q5096742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c35890b96bc9f7105e17820b45da24e8c6dc6d","datavalue":{"value":{"amount":"+0.8369351029396057","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":"Q2847411$4E16B21F-D100-4C2F-8698-88497825CA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66d01a423ca05009f4cb2738ab23bffde9156e9","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37e4baf757aec85934a5e28c5ef56e449e15e44","datavalue":{"value":{"amount":"+0.8352510929107666","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":"Q2847411$1EC673E4-49CC-4CD7-B9F4-4E8E9C71C120","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness results for undecidable bisimilarity problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_results_for_undecidable_bisimilarity_problems"}}}}}