{"entities":{"Q5096728":{"pageid":7126304,"ns":120,"title":"Item:Q5096728","lastrevid":54383459,"modified":"2026-01-26T17:56:06Z","type":"item","id":"Q5096728","labels":{"en":{"language":"en","value":"Decidability of equivalence for deterministic synchronized tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572961"}},"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":"Q5096728$98DFACD2-3A3D-48D8-A347-E455981CB382","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f582fff7fe967ada285d83255656d62bf75dc9a","datavalue":{"value":{"text":"Decidability of equivalence for deterministic synchronized tree automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096728$5703393E-3585-40E9-8F9F-107BAF6022C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8f4a174cc63a63e0a327f084419e48f38ff5578","datavalue":{"value":"1496.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096728$F75AE1E2-09B6-4CFA-9D5B-18EE69615FBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f72373f110c7efefe69981569cf4d1e5ee16598","datavalue":{"value":"10.1007/3-540-59293-8_192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096728$9EEC2C6D-8314-41F6-8B56-920D1644B5D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8455035442168fbb99576351474dec2ff822256f","datavalue":{"value":{"entity-type":"item","numeric-id":247255,"id":"Q247255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$214CF9F8-2C5F-4520-BD99-18B426ACFE6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4437f858d825af2a2d2785f879b0aaabd9ce736","datavalue":{"value":{"entity-type":"item","numeric-id":5096722,"id":"Q5096722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$14045B8A-C818-4174-8A07-85E1EE441857","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096728$FBA0BA14-405A-4D8D-9E61-546CB01100BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096728$9241C69F-5D96-441E-8562-025A60A8F0AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"839742136937a73c2cf7de4f2727d9b5bb81cd85","datavalue":{"value":"7572961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096728$806FDE67-C359-4383-AE33-A105B5F53C35","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":"Q5096728$B193A6C1-2189-404B-8BA4-353816E00F47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"289895255f48010e7988abf93ecc5f60b8dbd335","datavalue":{"value":"https://doi.org/10.1007/3-540-59293-8_192","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096728$26F4AF10-B1C6-46B9-ACB7-4AC3CF7C8C75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a171255c34db68e382e75e3152270372e3289bb","datavalue":{"value":"W2133834130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096728$D920B000-B708-4C68-9258-11EEE97A43E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"147d95748fc6218e5d9397f8fa462fbfb99be2ba","datavalue":{"value":{"entity-type":"item","numeric-id":5096779,"id":"Q5096779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$5C2D693F-BBAE-4078-8562-5B9C5ECAFD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed1ef347d29b8f0be1edd97644c055691282378","datavalue":{"value":{"entity-type":"item","numeric-id":5055805,"id":"Q5055805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$325D32EA-428B-4563-90DB-3C2ED9BC9330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bed3cc28811a5e3f4dd5352c6cd345f8a75b6dc","datavalue":{"value":{"entity-type":"item","numeric-id":4632446,"id":"Q4632446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$0B053F70-B4C7-4691-9577-859A51F2FE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5522e8d5ee63eb0fde7dacd2d7240a6e9d122831","datavalue":{"value":{"entity-type":"item","numeric-id":3832064,"id":"Q3832064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$EA117595-74E6-4452-AF0F-3E00D803DD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1292112fff1c8f7b4e06d768440f244a876a893d","datavalue":{"value":{"entity-type":"item","numeric-id":3974865,"id":"Q3974865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$9AEE61EE-643A-4A62-82D5-FF2AA7C930CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a849a2f6b1d15fbc90157318dbf7f60c1d60459","datavalue":{"value":{"entity-type":"item","numeric-id":3485880,"id":"Q3485880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$20D4857A-61E6-42EA-B4ED-3FE12A2465A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0079b0c7d694a397659be503d6216c85129b1bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3323279,"id":"Q3323279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$BAF539CE-9C6F-453B-934C-432707FFA354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28eb5b1180a1241786f0eee35d291b83d7d95648","datavalue":{"value":{"entity-type":"item","numeric-id":804302,"id":"Q804302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$7A2FCD32-26B5-4697-BE84-D2AF57CBB635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390a4c55d81f60fc04de11c79b4bb75544936c5f","datavalue":{"value":{"entity-type":"item","numeric-id":811118,"id":"Q811118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$8750C18A-6B5F-4B3D-9BF6-4ADC331B8B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8eb22dbc43374d7e686376a87836015863f340","datavalue":{"value":{"entity-type":"item","numeric-id":1334670,"id":"Q1334670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$BA7E108D-4B73-4BB8-95EB-1F815ED0E4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883913606e56b4ace8c5eb2beb23d2d0ae161ad4","datavalue":{"value":{"entity-type":"item","numeric-id":1261467,"id":"Q1261467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$14771685-6124-45CC-94DE-EE22F20A9323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06be4887adfb26a2229e104ec74e59a705a986af","datavalue":{"value":{"entity-type":"item","numeric-id":3804222,"id":"Q3804222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$514D5F88-1E4C-4F88-9BCB-88699B109426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23fd76c09b405cbfab6abf78494c90379232d25c","datavalue":{"value":{"entity-type":"item","numeric-id":1325832,"id":"Q1325832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$E699E3CC-A862-444D-94A6-9AEC1056DF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961718bec1ff5775006cd097ddc5e24540c59cee","datavalue":{"value":{"entity-type":"item","numeric-id":1077932,"id":"Q1077932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$901A401B-0EE9-44FE-83E1-80AF4D3AFF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d1b0b76bd6e1dd5adf0589a1791d4fbf8ecdc3","datavalue":{"value":{"entity-type":"item","numeric-id":4284265,"id":"Q4284265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$2DDB8A90-CBFA-4A29-A8E0-C1833F2B2356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"788e9e117c9e59352d6074a00b936b542366a6b7","datavalue":{"value":{"entity-type":"item","numeric-id":1185007,"id":"Q1185007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096728$A141146C-60C5-4D82-80DE-EFBD109E2491","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefa94d155aa0776a6ca216cf2054a892e17863a","datavalue":{"value":{"entity-type":"item","numeric-id":671682,"id":"Q671682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8537fdaea0ed5907ec2a36e3c0045823c62798","datavalue":{"value":{"amount":"+0.9955368638038636","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":"Q5096728$7FAC9D61-8A55-483B-9823-5AD350AC2D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09851ebc30bed72c5364044795e1958b04e88a00","datavalue":{"value":{"entity-type":"item","numeric-id":1325832,"id":"Q1325832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f782ad44f175c2ac1fca9908fcf0032ab6c5ada0","datavalue":{"value":{"amount":"+0.9121153354644777","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":"Q5096728$A2CB7217-DC79-4738-824F-1C04C46C9D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3922493e5e2ab16d21f361ddd4f940d15fb012","datavalue":{"value":{"entity-type":"item","numeric-id":4365020,"id":"Q4365020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679267e21d2a7332b77c993a497527d3f8265159","datavalue":{"value":{"amount":"+0.9108931422233582","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":"Q5096728$3068F049-7B9F-45A8-947F-9F9368AE5A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d87cdfd11f0eabca02afe81bb5a18c3cc1d117d","datavalue":{"value":{"entity-type":"item","numeric-id":5096180,"id":"Q5096180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f844091c993ecd31cf04e7ea9ed7d294ed172bb","datavalue":{"value":{"amount":"+0.8072740435600281","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":"Q5096728$D7E92D0F-09C5-4F23-8A6D-BDE79DB8BB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdfbc26a64dbf4bd3b4b9fb3acfaa9024b9e2bf7","datavalue":{"value":{"entity-type":"item","numeric-id":2771057,"id":"Q2771057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5318077082b2f9a83c734e0df974e3ec5237f5d1","datavalue":{"value":{"amount":"+0.8019468188285828","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":"Q5096728$64EF5473-AFF6-48CD-86B0-E2A94378C7EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096728"}}}}}