{"entities":{"Q2883121":{"pageid":2893846,"ns":120,"title":"Item:Q2883121","lastrevid":51464291,"modified":"2026-01-18T09:06:26Z","type":"item","id":"Q2883121","labels":{"en":{"language":"en","value":"A hierarchy of reverse bisimulations on stable configuration structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033368"}},"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":"Q2883121$AA91227D-4167-4A58-9DB0-335A357F2D4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e854c1247ced5996c239a43c732f755585656615","datavalue":{"value":{"text":"A hierarchy of reverse bisimulations on stable configuration structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883121$C547A0F0-E4E2-4EAE-88F6-F9FC3CF2707D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5485aa5756b4e69b22862c9a52debead01a0034","datavalue":{"value":"1238.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883121$AF35B073-0298-41D3-ADE8-B79AE7DBE3BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33f81aff6be5f2d8af93f190e83617801535f950","datavalue":{"value":"10.1017/S0960129511000429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883121$98AD0514-AC5A-44CD-8CB9-6ED252FCB9E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6fda1c66696713c34e11fc5479ccc804542d33f","datavalue":{"value":{"entity-type":"item","numeric-id":580960,"id":"Q580960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883121$6E923320-47CA-4863-8E77-4C48C181E8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fbddf08e8bb755ad124129fba5bb3db28e89060","datavalue":{"value":{"entity-type":"item","numeric-id":890615,"id":"Q890615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883121$BFD2F5EC-E346-4211-97C0-C897E3CDE183","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883121$CCEEA759-3079-4BE4-AC7A-DD3EE033A8DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883121$4A0E879A-0F35-4F3D-BB29-2BA344FA8D4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d99d429361ab14bd57fee304c11bbea279f94da","datavalue":{"value":"6033368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883121$B0575547-17BB-49C1-AA1D-EAF36CD43D68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b6eba27465bd4b6cd2e51b6017f7d8482148dbc","datavalue":{"value":"interleaving bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883121$9D4DE039-4B51-4D9B-96A9-4A151F2B21F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed27b2c21784d44224ccd7b95218b73981702d2","datavalue":{"value":"step bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883121$90DD2D3E-4DA4-46B3-A93C-8593ABBC0CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91dca4427c1919456a43061eb6b7aec11cf8b514","datavalue":{"value":"pomset bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883121$B34EDB73-A016-4F32-8050-8AE6D209819D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eed5aea85b2cc382b7e3c33df3bea6b27959130","datavalue":{"value":"hereditary history-preserving bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883121$8C5D0410-167C-439D-A4D4-A62C783E8B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0f14147d655e5ef0785bf4fca561e57e0c8dd96","datavalue":{"value":"reverse steps","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883121$5783FAA5-8B9A-4E30-BDF7-160A70F37F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f572838007b9c55efedeeb43bcf112b1639a8f95","datavalue":{"value":"power of bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883121$08F9FC66-B552-4F17-8DCB-CD93E632E47E","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":"Q2883121$18F5E303-6CC5-4ECC-B294-4C74A208640C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883121$407C8B8F-D22B-4201-8A0D-E2322E07220A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97937b6fbcb19180a54e27203f6c8574e53be171","datavalue":{"value":{"entity-type":"item","numeric-id":2871832,"id":"Q2871832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883121$A665FC2C-236C-4B59-8C98-C9865EF6CB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a89304773bc457e5fef3c469cc695eb89fc11d","datavalue":{"value":{"entity-type":"item","numeric-id":1401953,"id":"Q1401953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883121$DA92AAFE-EA9B-4864-9ADB-9B886E10AB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883121$FE67C341-A4CC-4B5B-98B5-C6C42FF74368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626bae08d1246f88200a39df86af055041dcba21","datavalue":{"value":{"entity-type":"item","numeric-id":1370654,"id":"Q1370654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883121$E851B7B0-E6F0-41E8-A500-5C62B3FF9E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91069a67a9490c74e5b38ffe5c0b0e8296d28ea","datavalue":{"value":{"entity-type":"item","numeric-id":1029093,"id":"Q1029093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883121$1853BD45-2118-45C0-A96C-9490DB3E2962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba736d12b0ddb1288a9f5a0bdddcdbdfa89750d4","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883121$7F48AC55-4DAC-401F-9CB6-EA480BCA3621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883121$782BD0C8-4CFA-4537-9FA9-DD1EB892D86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f62633a63536bdf4fd8946a7c1c2ba332f1a93","datavalue":{"value":{"entity-type":"item","numeric-id":2643334,"id":"Q2643334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883121$FC9FC126-FC0F-4436-8FB6-5AD69C71C158","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec159f1e880362cf671a113c6496de63141fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":6768254,"id":"Q6768254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883121$EF76D0A7-56A8-4C7B-9036-1432831DA876","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580bfbe6e82768dd1269db7b0cd871c73a88bdd9","datavalue":{"value":{"entity-type":"item","numeric-id":5150131,"id":"Q5150131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7025cb87e2957bd985c5faba793e65782ea3f2","datavalue":{"value":{"amount":"+0.9626756310462952","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":"Q2883121$A02C8203-6518-4962-941E-72EDF5B7736A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488a8a1656d708bc137431094fbc818498ebaaa","datavalue":{"value":{"entity-type":"item","numeric-id":5216153,"id":"Q5216153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44fa865127c1e5cf4b9b8cca4cb21d06fdafdb1e","datavalue":{"value":{"amount":"+0.7832196950912476","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":"Q2883121$0904DB3A-0617-4B22-A259-6865256B7661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf736ef6220eedee4557266a052dabbbaa66cd9","datavalue":{"value":{"entity-type":"item","numeric-id":347363,"id":"Q347363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1aef31472cd417adb5562fe1fba39fc74c6ab44","datavalue":{"value":{"amount":"+0.7692046761512756","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":"Q2883121$826C2A32-BF92-4EF9-ADAA-EFA64FB4F9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d860e197c732de4e7eb8e529448d049728b94cfe","datavalue":{"value":{"entity-type":"item","numeric-id":4965863,"id":"Q4965863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229702588ecbe62498afc83c0257eb1c9da6cf8d","datavalue":{"value":{"amount":"+0.767245352268219","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":"Q2883121$BBF894FB-3D8B-4B76-892E-1EF03F5882AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9611532002e8d2c76a8f200725867773f4245eae","datavalue":{"value":{"entity-type":"item","numeric-id":4015945,"id":"Q4015945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f88a3ed17b23ca9fc2d39f72f3beb0a75e0415","datavalue":{"value":{"amount":"+0.7609512805938721","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":"Q2883121$D1641794-BDFF-4431-A4A7-4A0B7E9D3899","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2883121","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2883121"}}}}}