{"entities":{"Q4635952":{"pageid":6665533,"ns":120,"title":"Item:Q4635952","lastrevid":53071046,"modified":"2026-01-24T04:11:19Z","type":"item","id":"Q4635952","labels":{"en":{"language":"en","value":"Minimization of symbolic tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863558"}},"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":"Q4635952$2F375A4C-2074-46DF-960F-54905A01FA54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b91a8462fa4ec4f5cf6a0541f5c868118bc503c2","datavalue":{"value":{"text":"Minimization of Symbolic Tree Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635952$07CA9F49-5087-4A35-AA46-94F547FC1952","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ceb5690fdf4470c23775859c3eedd0b5d3098cdf","datavalue":{"value":"1401.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635952$80A1D890-91FC-48BE-8E5D-D28D5478BA96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41d1d39fc7786a924fb011c14a7dd14f09b9223f","datavalue":{"value":"10.1145/2933575.2933578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635952$BF385359-D0D6-4539-B843-14D76EAB5DB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2899f19d42d5dc4ca3849af955d8da8a1b7e96c6","datavalue":{"value":{"entity-type":"item","numeric-id":746775,"id":"Q746775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635952$81EBBC29-72F8-4DF4-A9E5-37A640713101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"798125e2bf84cd3371872ac90f65bc577c3ec746","datavalue":{"value":{"entity-type":"item","numeric-id":286961,"id":"Q286961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635952$8337774A-EF82-4824-B57E-BB6C2B2CCF6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635952$85DEC8A9-0C25-48D3-8A78-85C1D4DB49B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635952$36D3630B-9ACB-44C1-A9F0-4F792D19AEBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635952$AD3494F3-F664-47D8-9225-167A04E480B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635952$4BB3C527-7914-4B64-A5B0-B33A1E092AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635952$273C7AB7-F70C-4A44-8AFB-ACFD63034EFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03131e6d41ac952756ee0b6bb57aef6e221aa3b1","datavalue":{"value":"6863558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635952$23E637FB-9D02-4A6A-BCC3-9BAAC617A59E","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":"Q4635952$03FDFB55-666B-4DEA-853D-BDB16BD2D4C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81bab700b5c5867e6a0de77bb05b6e0dd00f433b","datavalue":{"value":"https://doi.org/10.1145/2933575.2933578","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635952$D188CE6B-8177-47BE-9321-A211F65254AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9067b411047ae49470b18061b7fedca5f0e0c4e5","datavalue":{"value":"W2500426491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635952$13A333C8-FE19-462C-86F5-FB92CD68ABB6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"af712491fa05bce9fe958535951f4dad575d7f1e","datavalue":{"value":"Q131117264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635952$CD0C2949-8C34-48E6-B848-A1E168AEC2DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3775289fa19a7e67bbe125e2611f4e7111c2ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5408448,"id":"Q5408448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809e252a17dd9152c85ce588bcf4185a1c02f9bd","datavalue":{"value":{"amount":"+0.8874574303627014","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":"Q4635952$1A2E5CE5-A2C2-4FD7-900B-A956A33E1A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5338686497e7feff3f1457965b5fd6b912982f39","datavalue":{"value":{"entity-type":"item","numeric-id":483051,"id":"Q483051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aafd780bd26032dd28deb25bdc4f8188396f2e25","datavalue":{"value":{"amount":"+0.8818331360816956","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":"Q4635952$B34E69CC-BC1A-4FFF-9152-2CC8145B1E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c22ae1095da5e974b457f3b634f9d88bc766520","datavalue":{"value":{"entity-type":"item","numeric-id":5127190,"id":"Q5127190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d0cfbe4ed41d9aca02e2cb8bc96c5f488ca9296","datavalue":{"value":{"amount":"+0.8318802714347839","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":"Q4635952$03FCBE12-A22C-46F2-8E52-BF0322A724AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44088bec4744ffa94327fde91a3e486043599beb","datavalue":{"value":{"entity-type":"item","numeric-id":3303912,"id":"Q3303912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56390985f4b9bec27e762ae8d54f661815625b54","datavalue":{"value":{"amount":"+0.8132205009460449","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":"Q4635952$D23D6146-F02A-45BA-95D7-90CF5528D5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da6d811e72226fa9b2ed1b8dbffcf837ca924cd","datavalue":{"value":{"entity-type":"item","numeric-id":3303893,"id":"Q3303893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9c44660647ddbbae9b6a29bc753ad97163952f","datavalue":{"value":{"amount":"+0.808535099029541","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":"Q4635952$1E877687-0619-43AE-BDE5-B39EB7C989F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635952"}}}}}