{"entities":{"Q5096180":{"pageid":7125756,"ns":120,"title":"Item:Q5096180","lastrevid":54382196,"modified":"2026-01-26T17:53:26Z","type":"item","id":"Q5096180","labels":{"en":{"language":"en","value":"Deciding equivalence of finite tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571952"}},"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":"Q5096180$EF035857-7548-48C4-8132-177460DEE927","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47bbc4da85ff9a62f94ba2a9506d560e27a8aee7","datavalue":{"value":{"text":"Deciding equivalence of finite tree automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096180$DEAD2075-C2C6-4D46-95CE-A843F384B94D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01727a89d02d55379f1eef747b037c2311a96063","datavalue":{"value":"1492.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096180$E2F649FA-24EC-47FD-B7F5-565C2299D3C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$555EE5D0-7FB2-4EEF-80C0-CA0F082DA8F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b060475a421a23318c909b1beea7e63f4d8ea20e","datavalue":{"value":{"entity-type":"item","numeric-id":5096138,"id":"Q5096138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$743A4918-71F0-4B2E-B95B-CFCBFD4C5FF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096180$49BDB99A-DCF1-4BE3-BAC2-48A2369113A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096180$9879F2AB-B9AB-46AF-B8E4-CD533B2AA8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096180$2E223EBD-F79F-4C52-A735-DDFE5E66E379","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3df81629d2dcbcb562749720f1ff98e1e64f9cf0","datavalue":{"value":"7571952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096180$EDDF3659-C8C0-4051-942B-10FE2BADEC4D","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":"Q5096180$D238C199-16D9-409D-B3E0-78F1DB6F27A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$13069A17-8169-4E98-B4F9-779F43F66D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f3c84fedec6be5b8f59fef93a6a8632cda3e40","datavalue":{"value":{"entity-type":"item","numeric-id":4101884,"id":"Q4101884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$1F020E23-B637-424F-B7AF-23C40E71E7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$C8295509-3026-4F3B-A310-866A2E30A8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$497D552A-3C36-43F6-A6CA-0EA675535150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$0B811303-FE2C-4807-B6A0-6E8158C920FF","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":"Q5096180$73407E54-A144-40C2-9902-964CBCAB6130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f6aa5a7dbb8eced91175201c5b61a84466f7ef","datavalue":{"value":{"entity-type":"item","numeric-id":3259107,"id":"Q3259107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$9DE5A4FC-B8C4-4391-909E-6FD733D81682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c64e8c24bc0a6efb32a4b8966c91fbeb28679e","datavalue":{"value":{"entity-type":"item","numeric-id":3821593,"id":"Q3821593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$31E780E2-1636-4D96-A8EB-E14E8872B5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3b9e332dcc324492fbcea8e6109cb2f093bb9","datavalue":{"value":{"entity-type":"item","numeric-id":4160409,"id":"Q4160409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$0D9A8852-8661-424E-885F-1641EC46829C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$B637B4E2-A23B-4C52-9550-9FD89389C1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a88e7c87651eeb3ff2433bf71733b763895cdc","datavalue":{"value":{"entity-type":"item","numeric-id":2626710,"id":"Q2626710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$825B70D9-7079-4F59-848F-D17A273316EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa22c2a09da29028b32fbdec6997075843df5fa","datavalue":{"value":{"entity-type":"item","numeric-id":3698326,"id":"Q3698326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$4FD96A9C-E2DA-40F4-94AB-8F28402EC199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$C43C1A01-5F4B-454A-810A-6DC491C2294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$F3A7ABBC-3AA1-4694-B913-02916BDE339D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34807fb037e0446337458c63b9238ba7e4d842ac","datavalue":{"value":{"entity-type":"item","numeric-id":3221429,"id":"Q3221429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096180$1149C015-AB4C-4DF0-BE6B-41A4B8B45946","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dcd49468a673317a1197002586697c79c03655c","datavalue":{"value":"10.1007/BFB0029009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096180$EF15211E-A309-4499-A847-6F5AF1511024","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caf0e5ebc5d3d72bd55beb148c254b4ba13c614b","datavalue":{"value":{"entity-type":"item","numeric-id":3477969,"id":"Q3477969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de1f228656e9ef3d6602b979c48c20167ea0279","datavalue":{"value":{"amount":"+0.9854073524475098","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":"Q5096180$E492EE21-68E6-4057-AD9B-769E9254E87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e72c7edcc30df95f747a5198b2dc749f809b07","datavalue":{"value":{"entity-type":"item","numeric-id":1825038,"id":"Q1825038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20efe6b9824481df224d9d972d18acca94319212","datavalue":{"value":{"amount":"+0.8648642301559448","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":"Q5096180$56742E97-62D1-449D-AEB6-0C0E94010DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0a25b7bd9a6bd1f148d21100e1a01d416ddeac","datavalue":{"value":{"entity-type":"item","numeric-id":3974881,"id":"Q3974881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f91f71a69e74063e990e56ec7ee91713de16ed12","datavalue":{"value":{"amount":"+0.8567618131637573","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":"Q5096180$8D839AB7-2BF8-4952-A0D0-3A78B52C24D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039c2b6b32a95e2c5faddde99c2bfecffc1160aa","datavalue":{"value":{"entity-type":"item","numeric-id":3698326,"id":"Q3698326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8103ff7e69d563adbffbae98e31e5cf9d9d622b5","datavalue":{"value":{"amount":"+0.8547917008399963","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":"Q5096180$24624C27-A649-4323-91C1-4754ED69020A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aceaea1e0d6455a4678346a02bbcb840fa574bc1","datavalue":{"value":{"entity-type":"item","numeric-id":4793134,"id":"Q4793134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de5d92e45d9fbe35c8a08c07981b0245da5496a","datavalue":{"value":{"amount":"+0.8363350033760071","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":"Q5096180$227EEBAE-7CA9-4E17-9113-118CC0B2D7D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096180","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096180"}}}}}