{"entities":{"Q671682":{"pageid":673531,"ns":120,"title":"Item:Q671682","lastrevid":46468842,"modified":"2025-12-24T20:46:33Z","type":"item","id":"Q671682","labels":{"en":{"language":"en","value":"Decidability of equivalence for deterministic synchronized tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983442"}},"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":"Q671682$41729662-CDFD-4FF9-835E-C5678F62A423","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":"Q671682$4C7C3CC5-6B5D-46F9-AD73-C5F27A2C150A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed98e01d1d7d113bd536543f9748db7d6d315b69","datavalue":{"value":"0874.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671682$2112EBDA-7473-46E0-9E43-51BC2EC7C6A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69502285f5e01a155944dc10c9526d00a69095cd","datavalue":{"value":"10.1016/0304-3975(96)00073-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671682$9CC588C3-37FC-4D4F-A5C7-23460A158B44","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":"Q671682$6B10AD90-A916-40E6-9EE2-1D762573A44C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671682$5C7A1C6F-3DD4-4C45-8EE9-B0249D7EE26C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671682$C59CA262-633E-4ABC-9C75-A752901696A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671682$08B5BACF-F92E-49A4-9C18-51D1EC8949EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c21fdaba1585e9c6bce8b22882492f94460853db","datavalue":{"value":"983442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671682$B05907AB-9B86-4010-A2A8-D3ABD2144A06","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":"Q671682$05939F63-8AF7-4B1F-B7CD-E19CECB6AE95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f32ed37eb78d908eeb3c71404af2ff579ca057b2","datavalue":{"value":"https://doi.org/10.1016/0304-3975(96)00073-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q671682$5BA37ECF-6623-414A-9E1C-4053E0324F05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5936268e0bbe965bf8ee7d6289304b39873faf4f","datavalue":{"value":"W2060424328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671682$509317F8-2DD2-446A-8915-EE729021D5EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"869763a444140960d7ec6485edd04e604637d313","datavalue":{"value":{"entity-type":"item","numeric-id":758956,"id":"Q758956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671682$DDA9C7DE-59C0-4D34-A118-EFAF101E99CE","rank":"normal"},{"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":"Q671682$93FB7902-90F7-41C0-AF4A-344314123948","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":"Q671682$EE42976A-0E74-4D08-8AC8-36C937835C1A","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":"Q671682$73812F64-725A-49F8-A1B0-CF93F179366E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7f9ed14f47635349292dc1fc5be666cede90cf","datavalue":{"value":{"entity-type":"item","numeric-id":4146263,"id":"Q4146263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671682$7F7B0AC4-788C-4B2F-B34A-9AED6DC7B9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4493b59e9145694a46c7ad9659147db0fd2aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1825674,"id":"Q1825674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671682$ABAF0FCB-CD86-4AB3-AA8E-C1CCEC7EC4A6","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":"Q671682$351BEC78-B9DF-467A-AEF5-0919BD669C58","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":"Q671682$B23621CD-EF0E-4A7F-B5A0-48DF26BCEB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671682$622F34DF-7B0D-4245-8946-B2B287A15A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34b279e5665ff3f0c5e6f8ec73982d94e9f3ec4","datavalue":{"value":{"entity-type":"item","numeric-id":3036724,"id":"Q3036724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671682$EE002FCB-EED1-47C7-93A6-C1395CDE1EDF","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":"Q671682$289D23FF-2949-42A7-9FC1-03BDD73613BF","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":"Q671682$75FC4084-B5E9-438A-8914-12F4FFCC8B09","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":"Q671682$679C826E-7C57-40C3-92A4-32258CA8DC3E","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":"Q671682$2A4ECF9D-3D39-46A3-B4F2-C3ECE9B931FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d63be057f1dbf872e8af155ca01c9414977fab2","datavalue":{"value":{"entity-type":"item","numeric-id":5603192,"id":"Q5603192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671682$5367F899-D924-488B-B073-4B5C173B576F","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":"Q671682$97225ADA-4E00-49F5-87FC-2A56B2C89D1B","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":"Q671682$AB48DB7C-8AE1-4E79-9648-78C10FEF3C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d48a4ff54354e63969daa0e89214c15c9f916dbd","datavalue":{"value":{"entity-type":"item","numeric-id":807023,"id":"Q807023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671682$CD0CB6DC-D753-4407-92F7-11A78284D472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca93b610da2ea43a6b4c55581eb258ff7724dd14","datavalue":{"value":{"entity-type":"item","numeric-id":4284264,"id":"Q4284264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671682$7028A8A4-4454-462E-B4A0-06155FEC6D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068ff9bc22782d1999dd390113545d9fb239fc9c","datavalue":{"value":{"entity-type":"item","numeric-id":3477969,"id":"Q3477969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671682$6658396A-8732-4803-A540-20524B45D848","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":"Q671682$658C5675-8A76-469B-9CE1-012FCC791471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fdf48bea66e0a22e3d375a69d252430d06a93ae","datavalue":{"value":{"entity-type":"item","numeric-id":673068,"id":"Q673068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671682$FF1D62CB-7416-4D56-A0C3-A6E121E8BAAB","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":"Q671682$E43F7127-AE65-4D52-9A04-AC26CF10EEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6c9ad1af6635d001f4350001772960e0e5560f","datavalue":{"value":{"entity-type":"item","numeric-id":4772713,"id":"Q4772713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671682$0611E505-024B-47B3-A5AE-66E45F5618A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"954218367d87ce33735f42b4db8952919827cc3f","datavalue":{"value":{"entity-type":"item","numeric-id":5096728,"id":"Q5096728"},"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":"Q671682$B55D0E06-887D-4B36-A695-CF7B3D5AA1A0","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":"870db600ad408d2b0197a1541f19b5aa4eeb7897","datavalue":{"value":{"amount":"+0.9095722436904908","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":"Q671682$8AF5887D-1670-4C75-A435-534764FC57C0","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":"53c23b1c7d2e065a37fa50a098453bc44ace301d","datavalue":{"value":{"amount":"+0.799598753452301","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":"Q671682$EB69CCA2-C4FF-461D-8989-B701D55B1BBD","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":"f803742b8f9df69e3db72424256a8f40e9d2ba55","datavalue":{"value":{"amount":"+0.7960796356201172","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":"Q671682$91DD7FBA-7CBA-4490-9F6A-3BBBA3C77725","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:671682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:671682"}}}}}