{"entities":{"Q3460042":{"pageid":5239442,"ns":120,"title":"Item:Q3460042","lastrevid":80523944,"modified":"2026-05-06T16:23:38Z","type":"item","id":"Q3460042","labels":{"en":{"language":"en","value":"SAT-based minimization of deterministic \\(\\omega \\)-automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528774"}},"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":"Q3460042$049DAB98-30AC-4CC1-8AF1-5768B8E5ABB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a50306ade9810723e40b455f1d2730cd72505365","datavalue":{"value":{"text":"SAT-Based Minimization of Deterministic $$\\omega $$ -Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460042$826B8B9A-4C37-4ED4-A395-F888173DBB5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"285f21c81786e4bf0425fe9fe47588ca088cc044","datavalue":{"value":"1471.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460042$D3891E5E-C9C8-40A9-9AD6-393083B28B4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51066e97adc5df388c5cdaf68962a712ffa89c69","datavalue":{"value":"10.1007/978-3-662-48899-7_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460042$F5AF006D-F7C4-42B9-A1BF-C42D86AC9667","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51674ac206fa0f7b5561d793a954036954945738","datavalue":{"value":{"entity-type":"item","numeric-id":453473,"id":"Q453473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460042$CF29983D-BD76-4525-9469-76469ED7762C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81bd03577a130e98610847cb49b30922e30427fb","datavalue":{"value":{"entity-type":"item","numeric-id":2165216,"id":"Q2165216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460042$1F67BFDB-2729-4029-B672-DE843CA1013A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460042$38881D26-EA99-4CCA-B854-6E48AAAE5AAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-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":"Q3460042$2C1C7C58-4F81-4701-B0C1-8B221E861120","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460042$CA92401D-8AFE-4D4E-8A73-A4CA2FA444A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"446027843693c1bb3358717d637e7a056afa79d4","datavalue":{"value":"6528774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460042$E291B225-CC48-484A-AF52-3D9110C1B011","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":"Q3460042$CC79DF9F-C2C4-4098-9D94-608DA49D4728","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"650e94976888b3097290d49ab4a55cb4941319bc","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460042$F8E8B8AD-16AD-4A8E-80B1-C51D1E647B34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a859270291ab383776bb62e69d67a914d66a4f69","datavalue":{"value":"W2252455711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460042$6A80D307-EE60-4227-B38E-957114666C92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f856dba50f61f620ba4f0ada06a8363d5f51d58","datavalue":{"value":{"entity-type":"item","numeric-id":4930600,"id":"Q4930600"},"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":"Q3460042$F190ABEB-FE4A-4E1E-8F30-3BD7AC233DEA","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":"036d14f798a4f02f90471a3050c30868bd54b0fb","datavalue":{"value":{"amount":"+0.801169216632843","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":"Q3460042$E9CB613E-B62B-4910-9473-23AC3D2DC439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b497303de7363ecf72cddff3ee680358536354bf","datavalue":{"value":{"entity-type":"item","numeric-id":5096909,"id":"Q5096909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac628b5c39ee710f5210700bdf98a9df3ecc42d1","datavalue":{"value":{"amount":"+0.7913598418235779","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":"Q3460042$D209B330-C654-4042-9492-C9990E2F463D","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":"a94fee81bbda0190e0415be859fdc3b4571d7352","datavalue":{"value":{"amount":"+0.7648921012878418","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":"Q3460042$3DDE8CB3-F397-4A29-B6EC-11A52B495DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9705d613af98a1f470ac969e491bd5ea4fa272","datavalue":{"value":{"entity-type":"item","numeric-id":3503894,"id":"Q3503894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64c2ba3eb1991b137b17b1db43e2d78d142c244","datavalue":{"value":{"amount":"+0.7614338994026184","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":"Q3460042$2E04AA4C-83BC-4AAF-9947-E5B883859BC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT-based minimization of deterministic \\(\\omega \\)-automata","badges":[]}}}}}