{"entities":{"Q6488979":{"pageid":14067748,"ns":120,"title":"Item:Q6488979","lastrevid":55605088,"modified":"2026-02-17T19:36:30Z","type":"item","id":"Q6488979","labels":{"en":{"language":"en","value":"Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817481"}},"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":"Q6488979$0A9BDE68-0B24-47CD-8248-9315655C1FD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e766e0840f8b6c7af24ecd21abda3050bad4cc0","datavalue":{"value":{"text":"Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488979$73725D0F-E797-47E6-B904-1916F98BF5BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"375f02762ea13e3196aceed1a2afbac114bcc4d5","datavalue":{"value":"10.1007/978-3-030-30446-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488979$BA84801E-ED30-43A5-8E97-449592A6574F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"896187c97e0e7d06ab5e943d32196edbaa79162b","datavalue":{"value":{"entity-type":"item","numeric-id":1990503,"id":"Q1990503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488979$67335B98-7613-45AD-927A-1D9DE09FA8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c3cb05b8fb53298afece860e038baccd22a9e17","datavalue":{"value":{"entity-type":"item","numeric-id":2024335,"id":"Q2024335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488979$DE36E3D3-3A43-4265-ACD0-DFF6634071CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488979$D47B5C36-CE06-4350-B470-9513CA3EE612","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488979$223E7BEA-3446-48AD-85F2-493A77FE4342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488979$CA46A866-1644-449B-80FA-152B70F90B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488979$876D2001-A4A6-4F7F-8AD5-209E744CC978","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5db2b541ebb9d73bad7c0dbddd2cd6f2d6577b7","datavalue":{"value":"7817481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488979$72A010F0-2380-41CE-8F2F-19761430098F","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":"Q6488979$69FB84C8-910A-4EA5-8F5C-97C2C1F0743B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d794a54f54fc039daf723e2b01964c296a015c5d","datavalue":{"value":{"entity-type":"item","numeric-id":2024336,"id":"Q2024336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488979$1FCCE6CF-75B7-4108-B75E-D8B8347EC85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb2f4eda96055e862b502671e4efbfeac491c818","datavalue":{"value":{"entity-type":"item","numeric-id":5655299,"id":"Q5655299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488979$8FC1A92A-EEAD-4025-BF3C-C9A19AA42301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f756ad0da329f184dd709aea3d3588077c204379","datavalue":{"value":{"entity-type":"item","numeric-id":4203815,"id":"Q4203815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488979$802CBEC4-BD5E-406C-8FAA-229279990BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd32624793e063beb586f0410cfc97118721c7fd","datavalue":{"value":{"entity-type":"item","numeric-id":3404129,"id":"Q3404129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488979$0E60CD7F-97BE-4CD2-BFC3-2ECDEA7C4BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488979$382E438C-FAB3-4D47-8749-4D1A333F2DE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6d90b4343838b8ce3755263b98fc46cfc64ee5","datavalue":{"value":{"entity-type":"item","numeric-id":4989704,"id":"Q4989704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e0ceb39de791e5cc75447dec60304f54a13a62","datavalue":{"value":{"amount":"+0.8154308795928955","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":"Q6488979$F19945FB-627F-4818-8ED2-99B12D9F865C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c57953f43c6acdc79e299ea91904018547f1dba","datavalue":{"value":{"entity-type":"item","numeric-id":2278273,"id":"Q2278273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e57be5129702ed742c555e7eea313165b525b5c","datavalue":{"value":{"amount":"+0.7992461919784546","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":"Q6488979$527F98E9-15C6-4ADD-9983-4FF7E09A0345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7817a8cb23cf294fdceeb8727c4e06d0db3b4dc","datavalue":{"value":{"entity-type":"item","numeric-id":6639616,"id":"Q6639616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7749b88a485168ae9701076aa4cd2a1db1578809","datavalue":{"value":{"amount":"+0.796500027179718","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":"Q6488979$084F3609-67D9-47FE-B647-8C8EFAC00123","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":"2ce53fda1cacfa5afc5df414a36ff23f961388bf","datavalue":{"value":{"amount":"+0.7904657125473022","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":"Q6488979$494B379C-F412-4980-8C6F-9DD317446550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111a9852563a3d243e7014ac063b6785f81a7fd0","datavalue":{"value":{"entity-type":"item","numeric-id":3588365,"id":"Q3588365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b3a5409d53910d9b4f465ac6071b7e06699048","datavalue":{"value":{"amount":"+0.7856131196022034","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":"Q6488979$D384FFB3-6135-4505-88D5-5BFA68DCA460","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488979"}}}}}