{"entities":{"Q3525142":{"pageid":5555046,"ns":120,"title":"Item:Q3525142","lastrevid":49027531,"modified":"2026-01-06T12:08:25Z","type":"item","id":"Q3525142","labels":{"en":{"language":"en","value":"Bisimulation Congruences in the Calculus of Looping Sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5342671"}},"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":"Q3525142$A1494AA9-7BEC-4EC0-8625-2ACFB96EBEB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45bbe12218540cfbfa95d764dc8306950c9224fb","datavalue":{"value":{"text":"Bisimulation Congruences in the Calculus of Looping Sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525142$7ECF19D9-A80A-4122-B545-A7E09C6B245F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28379f9cc5ba4951266af213fbcddbab8cc23718","datavalue":{"value":"1168.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525142$ACF8A04C-DCAE-483B-89A3-E08F058DDD35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c1858c146cdb699e72c2ed0c2fd8e2a5e176290","datavalue":{"value":"10.1007/11921240_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525142$2FED0BE8-900A-4687-92A0-B7286F4CCA00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ede3fafe483c29884e9afb23f7dfc1d9bca1147","datavalue":{"value":{"entity-type":"item","numeric-id":264545,"id":"Q264545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525142$D1568692-35DB-4DAC-AF8F-534E9DD38366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"986210a7788bf135576802eb9fb5ade52a93410d","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525142$40420BB1-AD23-40EC-BA67-A58D5C3813B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479d1038b6b48ff3b38084f7171d92adb9c96ad","datavalue":{"value":{"entity-type":"item","numeric-id":256971,"id":"Q256971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525142$75B30C5E-0829-4476-9662-2160E1DE7847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b24875f9ec8cab93424313cc3583a741f82ef4ce","datavalue":{"value":{"entity-type":"item","numeric-id":418835,"id":"Q418835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525142$0B31B88B-708F-4922-85D3-9E501B9F401D","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":"Q3525142$396DBCC7-950A-4BDE-A410-71562E542073","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9b70832020d0274379b3b309a7c6882590833b7","datavalue":{"value":{"time":"+2008-09-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":"Q3525142$EFBF2C29-6D6B-4649-B1AA-59B62E4D11BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525142$3BCE7739-0991-4F6D-BB1B-30BB1C5E2C42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a88f921bd440f60167f2301970d7c37e597c00f1","datavalue":{"value":"5342671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525142$DF6B7B8D-DACC-4999-BCA5-67F835D01545","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":"Q3525142$8DF606FA-EC26-4F87-B313-6E835009F9DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be45cc171de89c6ed1881884e3461b83833c9175","datavalue":{"value":"https://doi.org/10.1007/11921240_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525142$CB241394-A74D-4AA7-8FC6-9417190DE4A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"651584a761cc10fdf85e9314c8e4844b00acb186","datavalue":{"value":"W1559033975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525142$7F58242C-F171-4917-9E29-BBC9F42BC9D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95f761b348c1e4b311b398ebdbe974216e16d34","datavalue":{"value":{"entity-type":"item","numeric-id":1398380,"id":"Q1398380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b660891bd0f89b7dd4742e76af29c5cf151b187c","datavalue":{"value":{"amount":"+0.9154222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525142$838FD6B0-09BD-4F63-93D1-374A8B2CF29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4709cfd176129a3c1d66896cd09bcfa903cea1af","datavalue":{"value":{"entity-type":"item","numeric-id":3178257,"id":"Q3178257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5c8888a95ed9f71252e34c70b8d15edc6987fe","datavalue":{"value":{"amount":"+0.8893949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525142$8DE15364-7743-4A9F-8562-464D2B184B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674e844a8d35aa6055616c89d0c4ddfb5b818fa","datavalue":{"value":{"entity-type":"item","numeric-id":5897764,"id":"Q5897764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb24e122476d95489dc47212e778df9fe9be04b1","datavalue":{"value":{"amount":"+0.8860475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525142$464DD73D-AD7B-4193-828B-28968DA42512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea2a635eb65b2dd7144cb8150a1b3657b79d026","datavalue":{"value":{"entity-type":"item","numeric-id":5697792,"id":"Q5697792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11864e780b0509fdbb6b3ae1628bcd2a2d335d42","datavalue":{"value":{"amount":"+0.88481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525142$7111119B-8F03-4FC0-B8F5-9DB9C7CD0CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa2d57514ae2d655d67087e41b97b864caadb66","datavalue":{"value":{"entity-type":"item","numeric-id":5104711,"id":"Q5104711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9705c7d81b78f1dba457de4ca4326b7908fb9305","datavalue":{"value":{"amount":"+0.8841777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525142$0E148ECF-B06C-4644-9A70-0D25423FFF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df9d8a9779a882d6334258d6817259019942de","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9019dc94db38c28c12b83353fed3e6ac38ee05ef","datavalue":{"value":{"amount":"+0.8840847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525142$FE044ADD-2D74-4264-927B-BECB847A459C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ddec7479de245108c927781d81b6ddeae026322","datavalue":{"value":{"amount":"+0.8831359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525142$833FB41C-A2B2-44A6-856E-2BF11629711E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeccf65ec7f49d6286f34a1ca7e5b0cebd5fa14b","datavalue":{"value":{"entity-type":"item","numeric-id":5958770,"id":"Q5958770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6024fc9ca5a858c69377f14575806bf3e881f342","datavalue":{"value":{"amount":"+0.88171935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525142$E690BA56-C615-4E58-8162-0FCBA9F79AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f16d33dc06994c1e8253b3e6cdf1336fcadfdf","datavalue":{"value":{"entity-type":"item","numeric-id":2848130,"id":"Q2848130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52e670188efb51cb4db55d1ab595c4fe4b5110d","datavalue":{"value":{"amount":"+0.88147616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525142$99DCBD7B-BBB7-4E00-A96B-F453A946362C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636c2d0bcd301d2ec5b9a8631f68ce4b21058f58","datavalue":{"value":{"entity-type":"item","numeric-id":3651244,"id":"Q3651244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51dc6f4f1b38960aff708ce43200d5da6d9c9579","datavalue":{"value":{"amount":"+0.88147473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525142$7018D84C-B7D4-4190-A155-A0DE521342F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525142"}}}}}