{"entities":{"Q5150127":{"pageid":7179698,"ns":120,"title":"Item:Q5150127","lastrevid":53929964,"modified":"2026-01-25T23:02:08Z","type":"item","id":"Q5150127","labels":{"en":{"language":"en","value":"A bisimulation-based method for proving the validity of equations in GSOS languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7308360"}},"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":"Q5150127$428E6EE6-BE02-45E4-82A8-15F519E48D77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"820dd3f5a6ebcedcdcf7782b1f59af156ceff745","datavalue":{"value":"1454.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150127$28CC08DE-28A9-4033-BCCF-04B591590E6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5150127$CE2254BA-6BB3-4EB6-BB82-3F51CE39DD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48d319662af7b9422c1624ab46529ca13af618cf","datavalue":{"value":{"entity-type":"item","numeric-id":2039938,"id":"Q2039938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5150127$AA82733F-3D57-4D4D-9FDB-ABB38FDBD042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5150127$7436A3AC-1598-4439-9075-014C5A34005E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-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":"Q5150127$C9C35F9B-ADA3-4506-9392-DDF8F79F9986","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8612e839aca94ab52356373637670901a6cfbdc","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2009.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5150127$B381F82B-3052-427E-8459-E8F73A8F4254","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150127$4B7A6E15-6FFD-45BA-99B6-7D48FC37EA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150127$40FCD548-29E4-4738-A887-09271A7D8958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150127$F6BC67FB-C55B-4E8F-877C-2110069DB9BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c57b29458c02a9937220c19a8af6f382490c2277","datavalue":{"value":"7308360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150127$01EE6E32-740B-40D3-8111-69349250EB5F","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":"Q5150127$73323CB7-844F-4B31-8204-E111172ECD3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4abfb5e93438e18a1b3f5f49e2019e486fbe9a","datavalue":{"value":{"entity-type":"item","numeric-id":2883120,"id":"Q2883120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88fcd30a012492d851d55fc1cd57d5bcfe0a8a8","datavalue":{"value":{"amount":"+0.9701443910598756","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":"Q5150127$28EFAACF-AD92-4329-8C98-9E45DBEE114C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09e9f351229d6d6203dc7f7bd4b5780c7f4ece6","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b3d5425bf86c2d434f8d76055c43b4f8dca123","datavalue":{"value":{"amount":"+0.8585046529769897","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":"Q5150127$88EE2A96-C8C0-46B3-AE61-454673CF3574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de246728fcf1639acc4461bda8ccd1029b53c3e","datavalue":{"value":{"entity-type":"item","numeric-id":2093149,"id":"Q2093149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f247f7473adc4d3c5d357ca61049e24a650c5469","datavalue":{"value":{"amount":"+0.7597823739051819","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":"Q5150127$2E273BB6-5253-48B7-87F8-90F3F4BC77D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5af508f53d0599ac2c25d74917c10e869786980","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5265fe8aa357638c193a9bd93bfea32fcce1e8bc","datavalue":{"value":{"amount":"+0.7534737586975098","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":"Q5150127$306E11D9-5E28-4C6C-8702-5428831DD151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86fffbf2b110759b555950f6d521d8d7229e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5265fe8aa357638c193a9bd93bfea32fcce1e8bc","datavalue":{"value":{"amount":"+0.7534737586975098","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":"Q5150127$E9E33349-871D-4FAB-AC42-FB9D11D1609F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5150127","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5150127"}}}}}