{"entities":{"Q2278273":{"pageid":2289016,"ns":120,"title":"Item:Q2278273","lastrevid":73020273,"modified":"2026-04-14T09:26:22Z","type":"item","id":"Q2278273","labels":{"en":{"language":"en","value":"Efficient symmetry breaking for SAT-based minimum DFA inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7139920"}},"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":"Q2278273$DF78A995-55C9-4C66-B727-2D27EE0B466A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88362d2ce0f1cdf8792a209c67be7ecea7ffcd85","datavalue":{"value":{"text":"Efficient symmetry breaking for SAT-based minimum DFA inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2278273$E83606B9-A5F1-4358-9068-1B9BAF8FC234","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ae6e99aca069cfa4facdd6c8080599553bdc151","datavalue":{"value":"1425.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278273$52C6E81F-4774-428F-A20C-BB72372B3A34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bea22bae30e0e8ca6b6fffe55445351ea99818d","datavalue":{"value":"10.1007/978-3-030-13435-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278273$800DA25D-7C08-4C20-89A1-1E0A9EC8731F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a3ab5437ccbf0bd12b85b2725de54625aadc15","datavalue":{"value":{"entity-type":"item","numeric-id":2278271,"id":"Q2278271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278273$2B2C6298-B021-4E55-A233-ACF4784121EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f98f77118ea7c1ca4efe7089e0d480e5cd16947","datavalue":{"value":{"entity-type":"item","numeric-id":1656600,"id":"Q1656600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278273$CA6796C3-5433-45EE-870D-CA0CCAF43C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2914f32562ebd9ae230eceac7c78b1ac22a86f7","datavalue":{"value":{"entity-type":"item","numeric-id":272015,"id":"Q272015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278273$71477F94-7751-4235-8CEA-FD2165DD2D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a105cf4700f14c8988d41268ccddc4fa650adfe","datavalue":{"value":{"entity-type":"item","numeric-id":2278272,"id":"Q2278272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278273$4BE88F44-22B7-4A5B-8FCA-E4DC12D44318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278273$5CD695CC-56F7-4B17-8E29-D97C4D9198FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"332b7ab2f562de760e4211faf2f6e6ad840f3db2","datavalue":{"value":{"time":"+2019-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2278273$977BFC72-688E-4B70-856F-D2FABBEF4C84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278273$51554B32-131D-4E79-BC4D-D8D6FD84868E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278273$A2E5E950-850B-4C02-BD9E-16D837236533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278273$2D749904-2240-4AFC-985C-F1AF6AE5C9B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0255d4c745178bb040ad3064871b5a7c2b836564","datavalue":{"value":"7139920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278273$A713332B-AADD-46D3-92B5-13A9CB80C737","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df0b4ba722b1a54624209b2041a21c0112ac666d","datavalue":{"value":"DFA inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278273$B381B393-585D-4C0D-8930-2E0C4314EB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278273$137466A4-CA6A-4FD5-A19E-C97D3BB6C876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721db152ea6f5f1d941a96190ff027c3df9b3519","datavalue":{"value":"symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278273$AB14F0F1-9874-4D0C-9940-D8FA3E92AD08","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":"Q2278273$FBED68CE-32E0-4E43-81EF-F5B2F4736019","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6473ebe179ead686170fde7c9727b001937dd54b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-13435-8_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2278273$C4203417-1A1D-4E85-BF3E-57DF3778C13F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e81aa164607f96b1fa1ac424baca6502594f808","datavalue":{"value":"W2912788251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278273$9A190424-BB79-43EA-9D0A-67721EE91839","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c8b2a384f669c37c78cf86b76a6aea4722bcda2","datavalue":{"value":{"entity-type":"item","numeric-id":2324209,"id":"Q2324209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9da1c4742221440815e6f1ca755f5d5b93c91c","datavalue":{"value":{"amount":"+0.8723301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278273$B21236CD-9146-4483-8C74-833EDF9F0B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a05309be87b7a3163aba3b7341b2d435f3e34925","datavalue":{"value":{"entity-type":"item","numeric-id":976993,"id":"Q976993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2f5fc48825e35eff350151cf028b7a27814e05","datavalue":{"value":{"amount":"+0.8717285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278273$97A07C04-2D07-44A2-8CD3-9F443CD053E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6bd19ebe242b23e3f98e8af7b6791ef5e88d7af","datavalue":{"value":{"entity-type":"item","numeric-id":2799212,"id":"Q2799212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf058707be1127860727b85a5e6291b90e0bf84","datavalue":{"value":{"amount":"+0.87113607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278273$9FA9CDDC-F013-48F3-8679-EEE0C23598A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf5c65a28b0263af422e970c546855a9a10b98f","datavalue":{"value":{"entity-type":"item","numeric-id":4649308,"id":"Q4649308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a43622755043ac66bc26dc7a047809bffe7cec5","datavalue":{"value":{"amount":"+0.8705485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278273$835E6863-633E-4F1E-A493-6B78DFF6B84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c3dba23e4dc383cac6b9fbeaed0af11263eac7","datavalue":{"value":{"entity-type":"item","numeric-id":5945683,"id":"Q5945683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc11af32a725bfc2e48a4dbb856567c93ade21f","datavalue":{"value":{"amount":"+0.8685268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278273$4CBDB62D-B73E-4552-B000-E10989858083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564123d2907de3bee2b84eeb20223ba694ffece0","datavalue":{"value":{"entity-type":"item","numeric-id":5505539,"id":"Q5505539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e6162facf70fa33c1c152e813aae8187a5d5dc0","datavalue":{"value":{"amount":"+0.86725956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278273$413C8A2F-FDEE-405D-86D2-D5E65902C74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5a5fbc8bafe19982ecefd6fb459c81bef02fa9","datavalue":{"value":{"entity-type":"item","numeric-id":2818005,"id":"Q2818005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880c052c6a9f14c81cf1e058483bae808bedbb95","datavalue":{"value":{"amount":"+0.8578963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278273$2EC6F4D1-0657-438E-BE61-A93126F9D6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23dfa2c3caed9965842c26cb05103405880add6b","datavalue":{"value":{"entity-type":"item","numeric-id":5200027,"id":"Q5200027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c97deffbd7f16a23edb8056446252f3edf7e55d","datavalue":{"value":{"amount":"+0.8568995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278273$71115116-AC97-4967-BF21-7F589D0A5BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f1116544ee809167b4689462d93e2e250d7110","datavalue":{"value":{"entity-type":"item","numeric-id":2995155,"id":"Q2995155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e44494794b7f17329c9150e26aa0c19a7863fb","datavalue":{"value":{"amount":"+0.84478444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278273$8739BC15-AD91-4762-AAC9-A41B6EF4D7D9","rank":"normal"},{"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":"ef858a68c00265eee1aeca6c892a22491eb4d250","datavalue":{"value":{"amount":"+0.8432689","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2278273$C44C0AB2-25D2-4BF6-9B2F-77931C0FF1C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient symmetry breaking for SAT-based minimum DFA inference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_symmetry_breaking_for_SAT-based_minimum_DFA_inference"}}}}}