{"entities":{"Q4930600":{"pageid":6960182,"ns":120,"title":"Item:Q4930600","lastrevid":51093302,"modified":"2026-01-16T15:31:22Z","type":"item","id":"Q4930600","labels":{"en":{"language":"en","value":"Minimising deterministic B\u00fcchi automata precisely using SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793467"}},"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":"Q4930600$4EE539C0-880B-44A9-AFE1-4A5F97820620","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f32f1e1fc72ce91911de6aa6a5956bafc2274a07","datavalue":{"value":{"text":"Minimising Deterministic B\u00fcchi Automata Precisely Using SAT Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930600$9D1A75BD-9CAC-434B-8476-1E50349B6C8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67f2b62ca4066207d5b9215d1671a1282fa2b006","datavalue":{"value":"1306.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930600$F7CE508F-99DD-41B0-86CD-473DB300F045","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d848762e6da434ea42e9c8eedd3409e73188dfa6","datavalue":{"value":"10.1007/978-3-642-14186-7_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930600$3E5286E2-56C1-4AD6-A3EC-B0B5889A44B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5826cb46f670122cdc676198f817f684799cc9","datavalue":{"value":{"entity-type":"item","numeric-id":453534,"id":"Q453534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930600$30F70C79-D2E0-4968-9B9E-CBE4213A1651","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930600$6FFE5CE1-B84B-45A4-AB5A-11587273F2A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930600$8C15C993-B9EF-4C73-AEBD-7CA417F724E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930600$FBF035D2-40F2-43C5-9E7B-B9A4712A2C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930600$ABE16FDE-294E-4798-AB47-D5680DE7D044","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b6f2b055a3390ba9acb638a8ce3e84a10a8651d","datavalue":{"value":"5793467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930600$2FDFCE16-F350-4CC3-A612-B821A3230829","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930600$47A20E17-1DE4-4ADF-AA7F-153A09C1D597","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":"Q4930600$96B82B03-07F5-4F8A-A6FF-45E9F1403258","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0028234dbe283485eaf546241ad03bff7c79ff39","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930600$65701EA4-49B6-47AB-97B2-40D1A3DE1102","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a64f481ad5d2664675db28c05028f5b1ad0773e","datavalue":{"value":"W2130429059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930600$6CE7666D-0018-4AB0-9848-E62D43470511","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64bf7b0af19682526ee3b76641e473398a24c67b","datavalue":{"value":{"entity-type":"item","numeric-id":3460042,"id":"Q3460042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3faeece7efe2d2132156909d94dab0daf23a3f1","datavalue":{"value":{"amount":"+0.8483337759971619","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":"Q4930600$40998746-FF4E-4069-9A89-F894879AC4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f6d8b9ca61f1a7a2b15210fa7fe5d7cefc1b9a","datavalue":{"value":{"entity-type":"item","numeric-id":4986506,"id":"Q4986506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53985c740f80ee21a0bf70c3fcad331ec922d15d","datavalue":{"value":{"amount":"+0.8409125804901123","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":"Q4930600$5AA6FBFE-2ABE-4DD7-9662-E6DD91B79EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509e761dcdde395a89b8aefab333c1d82b96c05f","datavalue":{"value":{"entity-type":"item","numeric-id":2931784,"id":"Q2931784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c18aed7ad663da034d38c94f525b23c49fb481e","datavalue":{"value":{"amount":"+0.8264469504356384","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":"Q4930600$B8A4FF10-BB8C-4DE2-AD27-8E0AD23B20BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cff91035de003efe00d1790c3c00a172e6808c3","datavalue":{"value":{"entity-type":"item","numeric-id":1603452,"id":"Q1603452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d5f872d2c49bba9069c41bd82650f327bddff0","datavalue":{"value":{"amount":"+0.8019152879714966","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":"Q4930600$2959BFD2-A977-4FA1-BB8F-36658FB901CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66073af03b2feec2f11bdfd3a9f2a64bbcd2439a","datavalue":{"value":{"entity-type":"item","numeric-id":2908870,"id":"Q2908870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eab594ba74cd38996f4546e45130c053cfe49cac","datavalue":{"value":{"amount":"+0.7964622378349304","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":"Q4930600$C54C3178-64CA-4F00-A8F1-0D597E201AF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930600"}}}}}