{"entities":{"Q3602816":{"pageid":5632722,"ns":120,"title":"Item:Q3602816","lastrevid":50571368,"modified":"2026-01-14T10:41:42Z","type":"item","id":"Q3602816","labels":{"en":{"language":"en","value":"Composed Bisimulation for Tree Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5507756"}},"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":"Q3602816$A3590234-64EA-4A8A-B01D-704838679933","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa9d294fe3db35eb83e18ec52a9f2504b4754fcc","datavalue":{"value":{"text":"Composed Bisimulation for Tree Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3602816$078F7449-5CFE-4339-913B-3391103B4532","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"627811e37789e3983667023deb4c07351c386427","datavalue":{"value":"1172.68487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602816$150623B6-3F45-4505-8AA7-210E85D593EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f31d6b5d79c485e7d9f4bcdacb568c6e409f706","datavalue":{"value":"10.1007/978-3-540-70844-5_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602816$1F9DE16F-D553-4298-AFF7-678C1279812D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602816$8412ECFA-99A2-45E1-8D4A-4C6B0A5DBE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ff85b194809bca7f50c32cce728497c09fefc5","datavalue":{"value":{"entity-type":"item","numeric-id":300409,"id":"Q300409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602816$367A5A16-B5DE-4B8E-BF28-964EF28DF993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"499866ea58d63e98e2ebe269d3560511b0b5066d","datavalue":{"value":{"entity-type":"item","numeric-id":3395138,"id":"Q3395138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602816$469D4E34-417B-47E8-B10E-11D31C32BDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602816$804F2B46-014F-4439-A42F-92669B8DAFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602816$63B8431D-6E2C-4A30-9A53-68F1965EE4AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc33cc230897c99aa6bb65ad297fa15150807a7b","datavalue":{"value":{"entity-type":"item","numeric-id":3602794,"id":"Q3602794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602816$1C614F96-6A86-4AF8-A7E9-DAEACDE047FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"662c9d768c258b8c4aa4cc6d6ce95028979dfb46","datavalue":{"value":{"time":"+2009-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3602816$05563F1C-13E1-474B-B706-917325FEB620","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602816$CDBEBE6C-C929-4CFF-A181-2CD44372D8B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bfb9875dd93195bae1afcbcae803e950987cd85","datavalue":{"value":"5507756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602816$2C7198DE-46F3-4E93-912D-B6A6298484F2","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":"Q3602816$DFBCBC69-7961-4ECA-8B76-75EF0B774683","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b0c35ea760a5f5d0916c0bea8271111656371ed","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70844-5_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3602816$EEE7BEE6-684D-48BA-965D-0888CB3B0FB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9482975c6bfb16d9aa16e4e2d5f0e2c5aaacca7","datavalue":{"value":"W1503669197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602816$E3899370-0735-4126-811A-4DADE229DD00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca72cd043eb9249036e07a7bf19c19bb95918534","datavalue":{"value":{"entity-type":"item","numeric-id":3395139,"id":"Q3395139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1a6e67b84250c8fb23d94b84e0130c92309210","datavalue":{"value":{"amount":"+0.9825217127799988","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":"Q3602816$88BDDDEA-DDE8-4B66-AF85-8CD75C716732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3faf875e68ed80acbbb170b525b29509c3471ed","datavalue":{"value":{"entity-type":"item","numeric-id":5170274,"id":"Q5170274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b92d2524c61b04c7d1daea6e95628039b5c7aae","datavalue":{"value":{"amount":"+0.8408224582672119","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":"Q3602816$8E28748A-4713-456C-B471-5186FF46B484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b2ccfc943378c1be63c0d6e664a3118f525cd08","datavalue":{"value":{"entity-type":"item","numeric-id":5458323,"id":"Q5458323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6330beeaf423b72f14d7e4ff5661bcad8870fcf8","datavalue":{"value":{"amount":"+0.8401415944099426","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":"Q3602816$231817EE-F32D-4978-B275-9EC58C06EEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dafacd1dab13b2508b85d760c22dc60b8aaf881c","datavalue":{"value":{"entity-type":"item","numeric-id":840778,"id":"Q840778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74361037a2f8ddaf11aafbe303ee0327f8dd26d7","datavalue":{"value":{"amount":"+0.8270906209945679","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":"Q3602816$260565EB-D0B9-46A5-88AD-F2F8726A5527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a3f2d4eb311d382e89bd2f23da4bb962dc4fc45","datavalue":{"value":{"entity-type":"item","numeric-id":3503087,"id":"Q3503087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8643b5fbde706bf45d45ffd252e17db8ef2608a","datavalue":{"value":{"amount":"+0.8217653632164001","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":"Q3602816$0DCDDC4C-764C-4177-AEFD-714DB6DDA54E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3602816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3602816"}}}}}