{"entities":{"Q4291044":{"pageid":6320645,"ns":120,"title":"Item:Q4291044","lastrevid":40695129,"modified":"2025-04-04T09:35:30Z","type":"item","id":"Q4291044","labels":{"en":{"language":"en","value":"Parallel decision procedures for finite state automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 563301"}},"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":"Q4291044$9089E63C-2352-43C5-995C-1A4ABCC2788C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91b737fa5641aa50f4035ababb2d3359d09eab11","datavalue":{"value":{"text":"Parallel decision procedures for finite state automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4291044$75A60D8A-C29D-4763-80BA-C0A088D5BD6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a17bc3e513776fb5bb781cee07ccb42738a272a8","datavalue":{"value":"0804.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291044$832C2C59-BA4F-4B5C-85D6-6E881D87DE7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"952e1a3dec62cd4cb812e4932bb96ac0d078c919","datavalue":{"value":"10.1080/00207169308804213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291044$DC36EF1F-49FA-44CF-9C8C-AA8BEBDE7335","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"217cf16fdd8cfbd9f256c41001567b9f402154a8","datavalue":{"value":{"entity-type":"item","numeric-id":1306354,"id":"Q1306354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291044$E2F22093-9CA5-48BE-941B-84AFA9DD8880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e2f8094bae9f8e9d95c022274a0a81e20a09571","datavalue":{"value":{"entity-type":"item","numeric-id":3139268,"id":"Q3139268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291044$E628F258-8CD0-4653-9822-7F9093E9FB15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291044$79F8BDD2-F3F9-40A3-A5EC-4291DD82020D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae4d7b05535bc7692a75fc587d4810a7bdebded5","datavalue":{"value":{"time":"+1994-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4291044$1349C859-F7F6-4962-B191-1C8F2391F40E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291044$EA2AB00C-A01A-4636-8C35-94B0B4453696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291044$EE3223DE-5AB0-4596-B1A4-8568AB141ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291044$608FEF24-A45F-43E2-A857-1024AAF85F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291044$885AB119-8E54-4E1C-A245-5179FCA632B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291044$12C4F3B6-4CD4-4F00-BF61-2C484360EA7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9a768e88e727b210b0ee62cbe8bd669f567016e","datavalue":{"value":"563301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291044$046A4164-DB8E-457A-B36F-A75DB345B2B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b221adf212761f594bb91e890c032c0591803b5","datavalue":{"value":"decidable predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291044$3ACD37BF-F352-466E-9D46-0608AC3E50B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666bdc3e2f3153917e5198f050d63eb08c9500cd","datavalue":{"value":"classification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291044$A031B40E-63BD-4CA1-9EEC-EBACE5C80683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c041fe86c2cc24c4d74a3b149bc730195409c12","datavalue":{"value":"finite state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291044$E4A89EAC-0B5C-4EA8-B089-2DAB8BAB3B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291044$85542312-42EE-4C55-AE47-ACC260014F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0967c5f93d36d6aa18ee008d77ee288965d952b9","datavalue":{"value":"parallel algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291044$07DD3AE9-F379-4722-BE99-C888305E2D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36e7958a5ef90b36a3b45a82dc7b73b0f970b0f5","datavalue":{"value":"combinatorial circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291044$A188D326-A847-4A66-AC88-47A11F57EB35","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":"Q4291044$04F2BD14-631D-41BD-8B1F-40DB8E3A1F61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c46eaf0a669df502182a3b344497dd24e96bf831","datavalue":{"value":"https://doi.org/10.1080/00207169308804213","type":"string"},"datatype":"url"},"type":"statement","id":"Q4291044$0D095186-ABDD-4131-B1C9-2CDAF9BD3308","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"711b44f6d0d74f56b2e1a9040f8bd80673e78148","datavalue":{"value":"W2100711766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291044$1412520A-5DF5-4AFE-9AA0-8BFB07C0F249","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291044$DBA0EB39-3801-4FB1-A6DD-96D799DE64C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6315d9cda93162c2aba33a1d3e5ec00f12fd74a","datavalue":{"value":{"entity-type":"item","numeric-id":5729523,"id":"Q5729523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291044$E8429511-8ACB-47A9-BAE8-9786F19B5865","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c97dd5f922178576e25332dc1f3334cddd56a98","datavalue":{"value":{"entity-type":"item","numeric-id":4942237,"id":"Q4942237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68806d6d528bd4744068fa2f985a6d95feb7a8ba","datavalue":{"value":{"amount":"+0.93269026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291044$832179DB-8A93-4418-AD6E-8752F87F40F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43882e9850fb517ec46a69094c208a0937906394","datavalue":{"value":{"entity-type":"item","numeric-id":1186807,"id":"Q1186807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614123ef29dc6e156c953c80a198d58f27430489","datavalue":{"value":{"amount":"+0.9248489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291044$79ABEC41-0124-4F53-A5A2-097426CE44F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2933d9bf796cfe102e3fc5b706f992f251ee3958","datavalue":{"value":{"entity-type":"item","numeric-id":3637342,"id":"Q3637342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005c45220c789e04d9eb6e39bdbcd7690b206de2","datavalue":{"value":{"amount":"+0.9235256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291044$F636867D-A353-493C-A836-E44EC91B2018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69471231c5e9ef65969fc1b29b3e91c651fc98b","datavalue":{"value":{"entity-type":"item","numeric-id":1288662,"id":"Q1288662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3039f3597e0db07e46f41dda77c20460e6a516fe","datavalue":{"value":{"amount":"+0.9115011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291044$2C9306EC-73D4-46D1-81B8-AAE26FB2B17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778138fe6fccde0424b9d9f4127d16c906e4c3df","datavalue":{"value":{"entity-type":"item","numeric-id":3021983,"id":"Q3021983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7295539dd4c2d981f8dad47f6be354cd1ab3a81","datavalue":{"value":{"amount":"+0.9104918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291044$107A36E6-56E5-4315-A4C4-3EBB7C762AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95361aa68220d13dc5ad76c6898d1ef5da0d76a5","datavalue":{"value":{"entity-type":"item","numeric-id":3347302,"id":"Q3347302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16916e681f95f2aa0e464522b9b76f4263a39ef","datavalue":{"value":{"amount":"+0.9058478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291044$CE728719-D18B-4731-A263-FFE33CB779F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98cf13699904b399053a01df832230a0cd6a257a","datavalue":{"value":{"entity-type":"item","numeric-id":4533008,"id":"Q4533008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e3f044b94c509f05b89818ccd6dde11b5e00a8","datavalue":{"value":{"amount":"+0.8954289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291044$129BEC3D-E5F9-4DE7-9AD9-1BA82FF68B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86be59f61669a982450489048237c504189fd66d","datavalue":{"value":{"entity-type":"item","numeric-id":4533020,"id":"Q4533020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4de937b407ec2029e5989a4fb3d6d53cc2e9584","datavalue":{"value":{"amount":"+0.891928","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291044$670EC997-D30A-4C16-861E-487BCE846752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87bc0b87ab644a5be1835e4552702aedcf4d71de","datavalue":{"value":{"entity-type":"item","numeric-id":4989176,"id":"Q4989176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1158945faeac87da62e9b0e7b4a19f3e439321ba","datavalue":{"value":{"amount":"+0.88966554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291044$B4ACA12B-84EB-4C1D-81A5-EC2076B46932","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4291044","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4291044"}}}}}