{"entities":{"Q3602801":{"pageid":5632707,"ns":120,"title":"Item:Q3602801","lastrevid":50571332,"modified":"2026-01-14T10:41:40Z","type":"item","id":"Q3602801","labels":{"en":{"language":"en","value":"Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5507741"}},"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":"Q3602801$4BD88886-092F-42DB-B95D-8157F1405B9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4da8b9599df267ed07cb5a9aa6eaf6ee67a426a","datavalue":{"value":{"text":"Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3602801$E8C3B82A-F4EB-463B-A5F9-76CB82BF8A99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c1937f68d15abf2d33bd514c2188907ecb5fd87","datavalue":{"value":"1172.68493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602801$20590B1F-A7FE-439C-B7EB-C170B7892FAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffa944c2863cce992a7053af67e37bc83acc8d6d","datavalue":{"value":"10.1007/978-3-540-70844-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602801$FCBB1E30-1998-447F-A6D5-6E4F0151BFE1","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":"Q3602801$6EEF6BF5-9DF6-4230-842C-AD90F11CE9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602801$57620D6D-9B76-4160-85F4-D403027B60A3","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":"Q3602801$08680F6B-35B1-4B30-8E4A-FED9D2C76B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4210cde0488918f9e758e0070524bd78d3176514","datavalue":{"value":{"entity-type":"item","numeric-id":402128,"id":"Q402128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602801$41A3B742-3734-43C6-9697-7534D0FA12DA","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":"Q3602801$8180143D-3169-40C4-9060-DAD021AD11EB","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":"Q3602801$C8B25FEF-3A19-471C-9512-EB3EA23170B5","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":"Q3602801$6B702E56-29B1-4BDA-B0E5-74D1C8408526","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602801$8D45052A-DE11-46E8-8CD6-176F3825821D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602801$6DC2E448-2E5D-4427-841B-D1318507FD24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91d0e1594fcaa58d606baaee8ac5fe49d571b108","datavalue":{"value":"5507741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602801$14346CF9-5852-4453-A985-74436E5D7A61","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":"Q3602801$6E933779-F536-4D87-BADB-E7966709906A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dfe01ad9fc50e8c7e31f5de1299c104d724a520","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70844-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3602801$E71DBC32-C007-4AA9-B47C-0FF44BF88960","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1e6057a69dc493458bf51d14065e59e1d70bc72","datavalue":{"value":"W1602317429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602801$74343DA8-8BA2-4744-B94B-5A5F89AF32BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fadecc69d4fb9f7de0afa4e41cf4924274dfd31","datavalue":{"value":{"entity-type":"item","numeric-id":3557075,"id":"Q3557075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9cfe0b34ee51a44e4758281e423cf9924878a7","datavalue":{"value":{"amount":"+0.82890784740448","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":"Q3602801$7AA6D4CE-3DA7-49FB-9B00-E08CE334D778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa4061a8671d6a097ca5aed03088441dd24b8d4","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03fe497b4cfb76930ee6400dd34022f27070f7f9","datavalue":{"value":{"amount":"+0.8225868940353394","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":"Q3602801$846F645E-1BAA-4F0E-94A4-A807A2A08C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1277f740b4bae3444be2cbaeeeb3fbae31aed46d","datavalue":{"value":{"entity-type":"item","numeric-id":3172918,"id":"Q3172918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95df3a082312b585ec2608e8478fc4305311fe9a","datavalue":{"value":{"amount":"+0.8032853007316589","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":"Q3602801$E192D804-9F0D-46D3-8741-593777728425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f6c391425d8f11bce11e35b4b5391d931587fe","datavalue":{"value":{"entity-type":"item","numeric-id":3623017,"id":"Q3623017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f57a6f8c2088d1aa18197ede70b5cba0a9814d","datavalue":{"value":{"amount":"+0.7847142219543457","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":"Q3602801$FA01D6B2-2305-4076-8EAA-BD7742884603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b4a7fc3b6f62dd5109962ad5de15349c912107","datavalue":{"value":{"entity-type":"item","numeric-id":3540108,"id":"Q3540108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e40717f4f3e5c42d864671462a58bba373c0b8b","datavalue":{"value":{"amount":"+0.783662736415863","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":"Q3602801$841BD053-16EB-4E54-ACC8-30E8AFE1AB0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3602801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3602801"}}}}}