{"entities":{"Q5259297":{"pageid":7288865,"ns":120,"title":"Item:Q5259297","lastrevid":52292408,"modified":"2026-01-21T09:12:47Z","type":"item","id":"Q5259297","labels":{"en":{"language":"en","value":"A specification format for rooted branching bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451171"}},"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":"Q5259297$EF252CB2-58CC-4AC2-BC83-FF5C51D3AED7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74c7e4bef73e1c9b5b1ad5987419c70ede3b04ce","datavalue":{"value":{"text":"A Specification Format for Rooted Branching Bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259297$63B7B216-054A-4196-995E-DE56D0435717","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17cc64df08bf55be6762d656384ec7836b46f530","datavalue":{"value":"1315.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259297$B48C887F-BE6F-490A-B6CC-41BAF1FD48DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2d889b08c0e99e89155a22e4ac060e389d43c4d","datavalue":{"value":"10.3233/FI-2014-1128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259297$1213A007-3157-4F1F-BC99-8595F6A78AB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14f6d6fbd58df47fdcafbaabb809ad20774bfb28","datavalue":{"value":{"entity-type":"item","numeric-id":783680,"id":"Q783680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259297$32BFE09A-1949-460D-A2C8-1E3C889E35B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0230c7e6165a30b4624bfb880a34e585dd13c43e","datavalue":{"value":{"entity-type":"item","numeric-id":606995,"id":"Q606995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259297$974C0A90-3920-4173-8671-CD872CE26A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259297$47FD2BB1-D622-4A55-926B-2E197A780283","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259297$8C4A4A08-2ED4-4A19-BF3B-420CB8FFB78E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4795efe26ace72ea33e5b50072c8db0e5047722","datavalue":{"value":{"time":"+2015-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5259297$5ABDA1CD-1C17-47B2-96CD-ECF9F9C57521","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259297$132DD3D3-6208-4C59-8ABA-CA528FF6AA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259297$7CFA42C5-054F-423E-9C1D-DCEE1B28A7F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c26df21be309ae638a85cf1d5a255453b15661f","datavalue":{"value":"6451171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259297$73E12B01-3E18-4CA2-A5F9-663ABFE7DB0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"766fa595379e7bb0187846f18b0c65a7178167a5","datavalue":{"value":"weak equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259297$5D57D0FE-6FBB-46F6-A4E1-A24CE9CF6378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca6516c744f3c9df28aea2607c75814b27796e2e","datavalue":{"value":"rooted branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259297$D87693AC-4ECC-4084-9CAC-A32E7B4067A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d35e91d6ade88a451d90a71a6a517c3189d033f","datavalue":{"value":"specification format","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259297$B22F17DB-BB56-486C-BEE0-BA3BB31396F7","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":"Q5259297$44835D7F-79B7-499D-8F55-2A65F30D2B09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a46afe1cea744bfcf68f849a2c1d1b5157e830a","datavalue":{"value":"https://doi.org/10.3233/fi-2014-1128","type":"string"},"datatype":"url"},"type":"statement","id":"Q5259297$3D473665-A2C8-42C5-AB2F-8C9F23011768","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac04623ab87183c1de339437239277735ead12ee","datavalue":{"value":"W1541604516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259297$A7BBB0CE-5488-46D3-89A1-726E8472AFF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1539b8d0dfedefd5d6d0bc4f528c4655dfd0ffc9","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1709edc1b27cc9b2c559242718ed1925788c08","datavalue":{"value":{"amount":"+0.8320865035057068","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":"Q5259297$DB4A524D-1427-40AF-B747-8AD035BCCD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6ece8bcc7816a4788e66092ed565d648f8f5a","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862ed70083f6b090fda95a63ae84ba64494718af","datavalue":{"value":{"amount":"+0.7585356831550598","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":"Q5259297$8FDE6AB6-0234-4867-A47A-6A6A31AFE1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adaf8c3b341e1223bf12bea329968f880f1aea69","datavalue":{"value":{"entity-type":"item","numeric-id":3541037,"id":"Q3541037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aefd6268a0639b5f104d6d2f22b056b5b74df1c","datavalue":{"value":{"amount":"+0.7581806778907776","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":"Q5259297$AA615A8E-0B86-4D78-86D8-C5CD75B7482F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b47747060d769e1eb8f7da4c7221d4fed59aee","datavalue":{"value":{"entity-type":"item","numeric-id":2796231,"id":"Q2796231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ddcb793f321aa8866700517328d22fecf860b60","datavalue":{"value":{"amount":"+0.7362774610519409","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":"Q5259297$10A3B4AA-01E8-401A-9F7E-2461D10BDD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6502048d48bfc14a99e826434572722cec3bad4","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69115be6b626ee66bbdf8175b532c16d36c9f3ca","datavalue":{"value":{"amount":"+0.7287347912788391","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":"Q5259297$4ED0ECD4-6244-4537-8FE6-89B210073DB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5259297","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5259297"}}}}}