{"entities":{"Q1575897":{"pageid":1586637,"ns":120,"title":"Item:Q1575897","lastrevid":67938591,"modified":"2026-04-12T20:21:23Z","type":"item","id":"Q1575897","labels":{"en":{"language":"en","value":"Minimal separating sets for acceptance conditions in Muller automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495183"}},"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":"Q1575897$634B45AB-99BC-4B3D-9488-64FED15A0079","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"329fd041405d11d37ee00ca104bc274e98f14132","datavalue":{"value":{"text":"Minimal separating sets for acceptance conditions in Muller automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575897$E694126C-202C-4253-813F-68E74A2E0AD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91a8f767d3f2fbc04305ae622d56daad9415d79b","datavalue":{"value":"0953.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575897$A262AA18-3356-479A-8F1C-3CA90CE57862","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6863a1f8540a3ef0f4dd9091d169d1ee7fe82a2b","datavalue":{"value":"10.1016/S0304-3975(99)00016-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575897$3ECA5EA8-4AD3-4E99-B2A3-0C615516D1FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f49f10be64006bcbc489dae224362612df66595","datavalue":{"value":{"entity-type":"item","numeric-id":1575895,"id":"Q1575895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575897$43458AE6-ABF3-49C0-8E70-451288917FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b6409a86e02e4c8564c871ad35205f3394b7297","datavalue":{"value":{"entity-type":"item","numeric-id":1575896,"id":"Q1575896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575897$B8921E08-9AF8-42CB-8D5C-64ECAC9DF8F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575897$863EEA3C-C615-49F8-9378-14BBF66D1169","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-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":"Q1575897$9348051E-A113-444E-B628-E929DB651552","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575897$3D559B05-99A9-4583-8939-6A142F053C05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d117e06b1e6d54384b518cc9e8522316e89e4867","datavalue":{"value":"1495183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575897$31C66B9B-1CB6-4926-8F99-DE8CA32AAEF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a9aa08d4be7bede55b28d707a559b83a7a8ca40","datavalue":{"value":"Muller automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575897$65C4DD66-90E1-4CF5-BACB-CA0D1DA37D07","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":"Q1575897$FA9AEF43-8431-4B20-A043-44E8F2048050","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575897$5C49165A-20BA-437C-9CB3-3A1B86AFBBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b705d434743289f1c33d94607b3327759f7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4142699,"id":"Q4142699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575897$72F874E2-4F81-48ED-BB7B-2A002DE43E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575897$C1EF4241-6EC9-4FED-AB44-34061349549F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7a7ed2697f26032ba1d9f163966d4ba6ea9f4","datavalue":{"value":{"entity-type":"item","numeric-id":1314640,"id":"Q1314640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575897$B2B5ABDA-8AF9-4894-A811-943BB691A201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575897$5F5FF8CD-5D79-432F-88B6-E123C170C562","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a334b81daabf74648766224bdd9f0c2a3cab1bc1","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00016-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575897$51CFEC85-A764-44A5-96A7-F5444766F702","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d69fd493c5ebc3603b91eed38268f5eeb00375ea","datavalue":{"value":"W2033795369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575897$8B537596-A896-45CE-9904-297959B8E100","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b81fe4b5efab60266d24080fd3463a177a42a84","datavalue":{"value":{"entity-type":"item","numeric-id":5285470,"id":"Q5285470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43611b94ba4def209f8634529a7f843d50dfcb1b","datavalue":{"value":{"amount":"+0.7712420225143433","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":"Q1575897$D183E714-8D79-4C96-A9E7-EAEE0D339F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a779bf8187a1d6827ddab8994e1341bf9ddd7ce4","datavalue":{"value":{"entity-type":"item","numeric-id":2282132,"id":"Q2282132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f177964ac0e36ccf1927dd466a41712fda093c","datavalue":{"value":{"amount":"+0.7485888004302979","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":"Q1575897$703B765C-47FF-47FF-B80A-0BE975AB7B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a5da9478e5c48a2543d45f892fb028f84fa60c","datavalue":{"value":{"entity-type":"item","numeric-id":5111179,"id":"Q5111179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3eba31286699c92640dd7c6acb44e94a426cf20","datavalue":{"value":{"amount":"+0.7413524985313416","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":"Q1575897$F83372FE-DA74-4515-A7A5-57276AD6971C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ecae1fde35dfe4e78c08c7c1666f2de33c4280d","datavalue":{"value":{"entity-type":"item","numeric-id":1770388,"id":"Q1770388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0774436852371edf221820c1c04abad3203b0b67","datavalue":{"value":{"amount":"+0.7402718663215637","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":"Q1575897$EE3BA3A4-09B8-43F7-960F-6DCD21A8FEC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal separating sets for acceptance conditions in Muller automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimal_separating_sets_for_acceptance_conditions_in_Muller_automata"}}}}}