{"entities":{"Q5096779":{"pageid":7126355,"ns":120,"title":"Item:Q5096779","lastrevid":54383663,"modified":"2026-01-26T17:56:09Z","type":"item","id":"Q5096779","labels":{"en":{"language":"en","value":"Equality and disequality constraints on direct subterms in tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573028"}},"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":"Q5096779$D306F8E1-280F-45F1-A655-A795A675AEE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a13a43b37995e746c74473ff10f3b82f5f2e4ea2","datavalue":{"value":{"text":"Equality and disequality constraints on direct subterms in tree automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096779$74D85447-1940-495C-8D7B-AE2565DA6579","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15e811fb6194c8f151c64a372356a9772aee1e88","datavalue":{"value":"1493.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096779$39C4457F-6C57-4E65-9DCD-B3EB84050FC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"022d1149992a1396aa22501698066a0df329544a","datavalue":{"value":"10.1007/3-540-55210-3_181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096779$F6EF353B-9903-4633-B301-A60C8F247EF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f38fe0d8f7677b47447d5293b317c29321c1bb","datavalue":{"value":{"entity-type":"item","numeric-id":4260704,"id":"Q4260704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096779$75BD4674-68F5-4CB5-9956-CD17C1F4452F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9725319a4d69c8b0f9e016d856caaf201d29cbe5","datavalue":{"value":{"entity-type":"item","numeric-id":462480,"id":"Q462480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096779$2D3515BC-1723-4C42-AA4F-5201BFEE88D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73699815df52a11b9f0a027e039427fa47b837a6","datavalue":{"value":{"entity-type":"item","numeric-id":5096764,"id":"Q5096764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096779$9C70D850-34E4-4F56-A0D9-FA3FF8AAAE28","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":"Q5096779$ECA32C5A-5823-4C33-B6A6-168A205193AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096779$994F9332-89E6-4549-B55D-0EE5FBBA9A5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93ca6d399cc79c6d616cb777d3fde00302accc00","datavalue":{"value":"7573028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096779$AF81CF8C-7377-43A5-AF4A-2191BC10F412","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096779$272E7A14-5C6D-4426-9D8E-926E06040A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48d526cc062a7adf792d73718762b7ebc375eacd","datavalue":{"value":"nonlinearity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096779$8A19D6FB-1342-4FD9-8705-9C8CF589BC2F","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":"Q5096779$69BC7C9A-EAD1-4DAF-9870-BCC9A88F3311","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca93f31071fc2e4d471a7c8468d5891977e0d2bb","datavalue":{"value":"https://doi.org/10.1007/3-540-55210-3_181","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096779$6269706C-A4F7-44CC-91CC-721E2B642988","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2505cd93d2a9ec6c62256b6b8d68eb842f2f244","datavalue":{"value":"W160847359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096779$FED572E3-FA5E-4507-8A4C-B684A9659B69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86db5a5291f3a16cb567c464530440c036bb2b14","datavalue":{"value":{"entity-type":"item","numeric-id":1333268,"id":"Q1333268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096779$F9C15E3D-83B1-48EF-9A96-D35974718608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869d4442a19887c35c6ffb8de8dc0db844cccf0d","datavalue":{"value":{"entity-type":"item","numeric-id":3993363,"id":"Q3993363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096779$46A80A1E-1F8B-4008-A3E4-95D9FF818C2B","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":"Q5096779$64B5D07A-F819-4BB3-8707-0E98B6FA1FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096779$DB2756A9-9186-415F-BDE6-8AF032D0643E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a0a8c6b08ba432aeaaeea926b3c5744fd805f0","datavalue":{"value":{"entity-type":"item","numeric-id":4027631,"id":"Q4027631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096779$6A682D0A-30EE-4BF0-9418-606344ADC93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a2161d61de39868eace75d44b99156e6623a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1100890,"id":"Q1100890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096779$5379114D-D72C-43D5-A068-99C41FF53781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096779$E9E8CF77-676B-482D-AE5E-808D51AFF27B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c7f6a65ca3566cab93f402f8a76badab16ae07","datavalue":{"value":{"entity-type":"item","numeric-id":4933333,"id":"Q4933333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e8e941dc5ab67e5f3cc6610c42555943347304","datavalue":{"value":{"amount":"+0.839311420917511","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":"Q5096779$D0A96C58-029F-4663-8980-20281EAB372A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff154f712dd0b0e300c7529e4ee0d503e29bdd2f","datavalue":{"value":{"entity-type":"item","numeric-id":5428866,"id":"Q5428866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87623924e4a7ee76c9c29bfd4528a1a022c80fb9","datavalue":{"value":{"amount":"+0.8134922981262207","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":"Q5096779$2DD8A04C-F65B-45BF-9D5C-8B66949D5CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267b420452456a8dc08d62016ff3db922bf413c4","datavalue":{"value":{"entity-type":"item","numeric-id":3586405,"id":"Q3586405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ba91e35b656ae797f2293f7fd66ff03f270243","datavalue":{"value":{"amount":"+0.810191810131073","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":"Q5096779$81F89928-738D-4743-AA8A-008C091F20CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1307cd91b0fa6cdd3616b721a8cb38edfff5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2426520,"id":"Q2426520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f433e20f19cbcd0b742f649fbb0ab1427b9a371f","datavalue":{"value":{"amount":"+0.8082254528999329","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":"Q5096779$C44C4895-85B3-4D06-B4A9-FD49B491AEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837c3fe78fd04dcef833ca10e627efe5e0099872","datavalue":{"value":{"entity-type":"item","numeric-id":3613434,"id":"Q3613434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"432a07ce60781f0be83a41a2e1ffffadf0d68280","datavalue":{"value":{"amount":"+0.8073424696922302","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":"Q5096779$103132FB-778D-46D0-B796-0F6038211711","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096779"}}}}}