{"entities":{"Q3503900":{"pageid":5533804,"ns":120,"title":"Item:Q3503900","lastrevid":88415654,"modified":"2026-06-04T14:27:59Z","type":"item","id":"Q3503900","labels":{"en":{"language":"en","value":"An Implementation of Deterministic Tree Automata Minimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5286074"}},"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":"Q3503900$D36A2B78-FBFB-4946-A15C-91CAE24AA382","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bccbab81cd0b0f79a2e0b53fb641ba9e5b8e130f","datavalue":{"value":{"text":"An Implementation of Deterministic Tree Automata Minimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503900$D9A99C37-AF3D-43E2-A734-012B98E024B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27e647757f30c5d2f313b90d7592ee41401348ae","datavalue":{"value":"1139.68357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503900$7242325C-6DA8-448E-9F97-DAAA4B969CF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"461118e8d61a35bdd98313281c31940527a6d52f","datavalue":{"value":"10.1007/978-3-540-76336-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503900$CE0FB3C8-5C9A-46C8-BCA4-55941763582B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3b53a5ef64582a52beb7f95bfffbd2a8997714e","datavalue":{"value":{"entity-type":"item","numeric-id":207958,"id":"Q207958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503900$C5563BF8-4CBB-486F-A7F4-D8059D265009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afd2bf12c3caa8cfc2f840b05ba4b737e8f6b047","datavalue":{"value":{"entity-type":"item","numeric-id":442135,"id":"Q442135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503900$B1B62728-2E8F-425B-B40F-C4B3BD1CF894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75a52aff77d5da8ad4d30c23e341faac18d87d82","datavalue":{"value":{"entity-type":"item","numeric-id":238998,"id":"Q238998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503900$8934E58C-CC13-453C-8CE0-F905CFB94254","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503900$709A4AF8-E709-4639-9DD1-83F400F72E8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02f425c9fa8666905f3e65543eb13845c1c7986a","datavalue":{"value":{"time":"+2008-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3503900$72CDBF3E-8496-4471-BF30-695361C22045","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503900$00BB586F-516C-4791-812B-B64422E3E040","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"406b8af8a8cd6dc5ba3bbbdd26480b4f02af38f5","datavalue":{"value":"5286074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503900$E20CAEBF-05AF-457C-9531-A56BB58DBC34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b60a5663454c9ddd86a6703fe0c6e5658da410f6","datavalue":{"value":"minimal deterministic tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503900$C3D0D1B3-A215-42E6-B6FD-A708CACB30FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"286377e47c34f12c2f38301661b5216b2d2bcb4e","datavalue":{"value":"minimization of automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503900$8D2DE20F-FACE-42E6-8A27-058D7B3DA707","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":"Q3503900$B4BC5EE2-2F50-4181-BE31-1AC6AA5655BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"866bd1d3ff6198f30ce9bc0d32ff403b3d5b973c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-76336-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503900$A46352F1-FC20-4880-BC5E-27E970007138","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d99d49b9cb25b024161e1cf4994326cfd2daa7f","datavalue":{"value":"W1544575850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503900$8ED9D812-382B-409C-8B6F-EFA7A6D30A45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"372d4f122419147bead9900706bf72cc04a0bdd8","datavalue":{"value":{"entity-type":"item","numeric-id":5570935,"id":"Q5570935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503900$3B7CB469-A67E-40D2-B052-1315FF271DA6","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":"Q3503900$C3747412-1905-41DC-A3C8-F266F64EE55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503900$AE30CB66-3CF4-4A46-A06D-4C5D76D03700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"386b5fe66c10b60fdc5677601973edb258b2366e","datavalue":{"value":{"entity-type":"item","numeric-id":672727,"id":"Q672727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503900$73A54167-B578-4AD0-BF35-2D3ECAC95E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503900$BE1F828A-6339-43CD-9507-D23624EC77E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adcd3e672027e82e611dc17a48ab8bce9d1f66fc","datavalue":{"value":{"entity-type":"item","numeric-id":2391189,"id":"Q2391189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503900$26E8BF2D-87E7-493D-B685-701E9B0FCA02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b4618cf27c49465255acb1a017c78e5093f8a1c","datavalue":{"value":{"entity-type":"item","numeric-id":722214,"id":"Q722214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"490b5ce27f3be11f60683fce079195260ad05204","datavalue":{"value":{"amount":"+0.8634936809539795","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":"Q3503900$CF0967F3-7AC3-40B8-8287-276209B9961F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344f5916f315f378882006c9d0fd3c020cf695b1","datavalue":{"value":{"entity-type":"item","numeric-id":2391189,"id":"Q2391189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362e33a065a439b082c8d439de6e012e7047912b","datavalue":{"value":{"amount":"+0.8513412475585938","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":"Q3503900$5459FCDB-D78C-4DA0-A157-97B3314C2174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d952cb5e736d9015fab0c6782cf6bae5b3f9ed5e","datavalue":{"value":{"entity-type":"item","numeric-id":5493344,"id":"Q5493344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03ce32ac2b6552f2a94b05e8a874a9628c5682a","datavalue":{"value":{"amount":"+0.8375305533409119","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":"Q3503900$E3CBCB51-C57A-4FF0-BBF0-EC86BDD9A02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da7d778273547a160d62acf0d536440397d9f15","datavalue":{"value":{"entity-type":"item","numeric-id":1041045,"id":"Q1041045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b921e999c12e4a67f2f11306d4eccb5ed438524","datavalue":{"value":{"amount":"+0.8180385231971741","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":"Q3503900$D0B1018A-921E-402C-A487-8585F04A179D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08e2466aca87802aa862729ad61a87898b0ab6b0","datavalue":{"value":{"entity-type":"item","numeric-id":5350163,"id":"Q5350163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21dcf9e0e62bf98cc8058ad0631eac6d33cd41c9","datavalue":{"value":{"amount":"+0.8165974020957947","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":"Q3503900$6AFE9F74-D3B0-4A66-971E-6C52CF76B714","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Implementation of Deterministic Tree Automata Minimization","badges":[]}}}}}