{"entities":{"Q2948555":{"pageid":2959275,"ns":120,"title":"Item:Q2948555","lastrevid":85394264,"modified":"2026-06-03T07:44:51Z","type":"item","id":"Q2948555","labels":{"en":{"language":"en","value":"A completeness result for finite \\(\\lambda\\)-bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487988"}},"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":"Q2948555$4B3690EC-0C11-4FC2-AABB-F15F135DCD35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28f08225921d35617155230df90d1e8acf8bf2b0","datavalue":{"value":{"text":"A Completeness Result for Finite \u03bb-bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2948555$B6FBD7DE-2054-4929-9870-9BC685EF2BB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b67b8cffabac2350d108a6159883a876081425fc","datavalue":{"value":"1467.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948555$CD0024BE-55AB-4944-9EA2-136272785391","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f005702e9072d286c7c2905f4b1ff22a6f24a26a","datavalue":{"value":"10.1007/978-3-662-46678-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948555$8F12B9BE-054E-4AC0-A4A7-8705033A38A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbfe5e45e03ad733379098cf8c4b28e0761b63b","datavalue":{"value":{"entity-type":"item","numeric-id":2341704,"id":"Q2341704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948555$2005D92A-F56E-4B84-B1E2-BA80BB26AFE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948555$BB93D04C-6224-4FBF-B1B8-BBECCB420759","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9cc25a3f929f7dc4cd6afff1695aa56ef6a0364","datavalue":{"value":{"time":"+2015-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2948555$71FF04F3-EDF7-496A-A3CF-8AA3DD221CE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948555$B533187E-34FF-4693-BDB0-24CAFFE8F2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948555$9F84D018-CAEA-4FE3-B777-94E4F31B2C93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1be8a9d100982611ed61e9192253832774abe647","datavalue":{"value":"6487988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948555$7983FE73-B57B-45BC-8AFA-68EB7A738E83","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":"Q2948555$2C5F804F-5DFD-4AFA-8A74-A906E19714AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4a7a5ab6cfedfa2a8a97d7f0de9a5ba8c38a352","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46678-0_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2948555$4200E299-83CC-4CA7-8D49-509011C82FDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02cfa7a9943e376c37f54a488aa7d149d93b57ee","datavalue":{"value":"W2173513144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948555$B4F880C7-391D-4E23-A3F2-0947BBEEB8D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f806186475bb06dc887be39aac804abaf6b6444","datavalue":{"value":{"entity-type":"item","numeric-id":3224952,"id":"Q3224952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0764e7f3e1e1dd101ffd3b07fcc4937ff70ed24b","datavalue":{"value":{"amount":"+0.7301663160324097","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":"Q2948555$3774DE70-F297-4EF3-BBAA-D32935E7C3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d863c03349388a2bfc4349b007e661f7193be91","datavalue":{"value":{"entity-type":"item","numeric-id":2447758,"id":"Q2447758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7476a5b65cb4808b098a74e61e253231923bde4","datavalue":{"value":{"amount":"+0.7281578779220581","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":"Q2948555$CFEC592D-6427-4621-BC68-E5BA6B1B0013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd86b8984ddcfaab8f583b5118c37df604332ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c557c79d2aa802ed4a89a4ee3f63016620928c","datavalue":{"value":{"amount":"+0.7281043529510498","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":"Q2948555$145B2662-A130-42A7-9358-C89D1937D7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c726c29954bca1020e375d511c4960b27f035533","datavalue":{"value":{"entity-type":"item","numeric-id":5167841,"id":"Q5167841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd66be20e484029794ac8830901debb9b1834e11","datavalue":{"value":{"amount":"+0.7278224229812622","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":"Q2948555$1AA3BEBF-747E-42A6-946F-E232536CDCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1230389dbd2439edd6dd0bda002d319c1e03d36c","datavalue":{"value":{"entity-type":"item","numeric-id":5317186,"id":"Q5317186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d43c577edb7d3afdd5c8dcbac0570059dd93ae","datavalue":{"value":{"amount":"+0.7244675755500793","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":"Q2948555$1A1BD845-4475-4D01-BE56-23A6EA19758D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A completeness result for finite \\(\\lambda\\)-bisimulations","badges":[]}}}}}