{"entities":{"Q6160567":{"pageid":13295448,"ns":120,"title":"Item:Q6160567","lastrevid":55452895,"modified":"2026-02-17T16:42:31Z","type":"item","id":"Q6160567","labels":{"en":{"language":"en","value":"Formal methods for NFA equivalence: QBFs, witness extraction, and encoding verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691303"}},"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":"Q6160567$83984E6B-EA56-4BC5-82DB-43D058BF3547","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7bbd7ac763936e71f4e57dc8ed1fe232cf8878f","datavalue":{"value":{"text":"Formal methods for NFA equivalence: QBFs, witness extraction, and encoding verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160567$A05C82CA-9AA5-4BEE-ABF1-C3ABDC658EB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af214fdac8ee3c2a2fb3d3f5b6600677d3b3c6d5","datavalue":{"value":"10.1007/978-3-031-16681-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160567$5B771FE5-03F3-4B61-9F9A-17BF3032FE4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5f5c67ba04f18de6b92a0e90cb5f04518d29d25","datavalue":{"value":{"entity-type":"item","numeric-id":293221,"id":"Q293221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$CB1768AA-8BF7-42E5-932C-95154105399E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0032e47507cdddb70771dd3b5d22ff8b2fe522f","datavalue":{"value":{"entity-type":"item","numeric-id":2051796,"id":"Q2051796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$217DA082-67C1-40EC-85A1-8F6BA41A48F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$6D64F320-BE55-4247-8990-C26BFC3C2FE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160567$98BDC3C1-5AE9-4EF3-B4D1-EAD6B7EF597E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160567$466E36F0-26FE-48B3-9404-6748B9C9B520","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"259400643c12aa9a6392c6d1b5974c3dd89c4c64","datavalue":{"value":"7691303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160567$A7240858-ECDE-4940-9E1C-13BC3AC12D12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9094ce482499179d6c47d21905fefcd35853c1c2","datavalue":{"value":"QSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160567$5E649CE8-507E-453A-8A16-BE59655B7650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160567$D1CF2E73-B523-4E11-9EFC-7F394E5B868A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160567$E5D69187-3E1C-46F1-ABDD-15D408F17527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160567$7D22DA0C-6398-4EE9-81F6-CE2FA192E11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160567$4CB95040-4584-4AC9-BB5C-24C038E95097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160567$B1C3A529-7889-482A-A7EE-7E14F6D0E1DB","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":"Q6160567$C5E15FC6-4DF4-490A-BB33-63EFB77B2328","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a5706461b4adee6e3042053147bbf47c1a004c4","datavalue":{"value":"https://doi.org/10.1007/978-3-031-16681-5_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160567$1ADB4FAF-7295-4D4C-90F7-8164643AC1CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2336049960d18622494ad96c1b9256d9f4147a66","datavalue":{"value":"W4296118746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160567$2B8720BF-541E-40E2-8C2A-C8D6A6C5A3D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c36d898f969780dd13b76170e6e94b63d6fade9","datavalue":{"value":{"entity-type":"item","numeric-id":3525697,"id":"Q3525697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$42602B25-1249-4650-8EB7-9880D141139B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd6fd5505e4f7ea747cdecb6483add12f8d63a3","datavalue":{"value":{"entity-type":"item","numeric-id":5200081,"id":"Q5200081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$3EFA150D-64E4-4777-8934-D5B4D8E66FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$93BA978A-0FFA-4030-B9A4-F3F579992927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a49e86fda1c507c102256f2b474f1562db23fc8","datavalue":{"value":{"entity-type":"item","numeric-id":2323449,"id":"Q2323449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$B8DC1180-BA68-44F4-B214-9F52A229EDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13f72af1635e63edcc3c1bced953b812dc57878","datavalue":{"value":{"entity-type":"item","numeric-id":3384880,"id":"Q3384880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$0780352F-B514-45DC-8294-B1F51547A1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002ee549d8bb57e5e1846db9b011600108709cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$991084B7-AACB-492F-A8CE-50CA6EB78B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfc54e6aff8c95aa804578463c97592a97f101b","datavalue":{"value":{"entity-type":"item","numeric-id":5696955,"id":"Q5696955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$2C0EC370-1CED-4BB4-818B-8B66C70A764E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$07E5347C-81F8-4CD7-A93B-ED5F7FCF4577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$6875E025-5915-4394-9966-E7339C03392F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe8e7013ed4a362871e8001f8913772c237e81d","datavalue":{"value":{"entity-type":"item","numeric-id":1656577,"id":"Q1656577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$2D26DA04-1643-4804-96BA-396B9F9BF2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed3f1391c7b47b266fb8b9ff026fe5651e6dbd51","datavalue":{"value":{"entity-type":"item","numeric-id":1763716,"id":"Q1763716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$A8F0D44C-EB06-4830-80C7-B26C2AA78A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7697901abf56c21392ee231c58fb6021011d0ba0","datavalue":{"value":{"entity-type":"item","numeric-id":2864383,"id":"Q2864383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$8D8A2904-8FA9-4BE7-A01F-2E136EC442EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81867e3920d63292ec40a953a0141bb46dbbec3","datavalue":{"value":{"entity-type":"item","numeric-id":3612467,"id":"Q3612467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$BE5E313F-5CBF-4159-9EB3-AE863F81A236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71af02a11f0cbe069e4ea9beb45ae622432bd444","datavalue":{"value":{"entity-type":"item","numeric-id":5638224,"id":"Q5638224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$32933726-83BE-4FA8-9509-F51D274FC2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7dbfdfd0ea6f84dc6b357e958197548f1f9e28","datavalue":{"value":{"entity-type":"item","numeric-id":1680261,"id":"Q1680261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$53BCC8A9-D8E7-4F56-B52C-692E382A6697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a900a1b2fff17c3475869d05f2ce6a6836bfa390","datavalue":{"value":{"entity-type":"item","numeric-id":4991691,"id":"Q4991691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$BA28B593-82E8-4A73-B9AF-D68164D3F76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbfdc3423a13c0e159fffb7f2eefc9ae94ed175","datavalue":{"value":{"entity-type":"item","numeric-id":2996176,"id":"Q2996176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$A6261CD8-276C-4B2D-B721-ED0B2F14FBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$70B923F0-BD60-4776-AB44-E40957926E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$ADA420A1-BD58-4395-A89C-620E0C038E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3daa3db03ea11be8dc2196c96ebade778eaf14","datavalue":{"value":{"entity-type":"item","numeric-id":5387853,"id":"Q5387853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$3E42F59C-AAC6-4384-8014-66EFDD1B6478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759a3fe35509401001b165ba0d5ab1dfe3649ee5","datavalue":{"value":{"entity-type":"item","numeric-id":2818029,"id":"Q2818029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$DDF099FC-51DF-4DB1-B48F-B103C44E1016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$0D6C74AB-2626-44ED-95BF-B99E59625194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd892181c3e615e393cab5bfa821f8fa2f710cad","datavalue":{"value":{"entity-type":"item","numeric-id":1318694,"id":"Q1318694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160567$3AB9CF7B-76A5-43A3-92C4-54F4D4CA3E26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3e395de17fd4363de1a91973e01f6103e1c10a","datavalue":{"value":{"entity-type":"item","numeric-id":2914749,"id":"Q2914749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5cf046216ff13ddd3efe12b3024837dbec3821","datavalue":{"value":{"amount":"+0.727252185344696","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":"Q6160567$45588F3D-D5FC-4D93-AF8B-4A69BEC8DE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b1a4da1c1ae4e57d9603c995a56d94f59669d9","datavalue":{"value":{"entity-type":"item","numeric-id":5045387,"id":"Q5045387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f09bf5b9809cee77885a46d29669a00022c46e43","datavalue":{"value":{"amount":"+0.7261648774147034","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":"Q6160567$22743579-3E24-4DA4-8850-ECFA3F66C571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c407ba62072b3d47a2bb3828282eed2e430ab2e0","datavalue":{"value":{"entity-type":"item","numeric-id":2035006,"id":"Q2035006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93689d1b31539655a5f33bcb1a650f984ef37ad6","datavalue":{"value":{"amount":"+0.725124716758728","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":"Q6160567$4EFDC4E9-2678-4ACC-B596-569706C329E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e52db324585a06a8d93df267245250d575ee6f","datavalue":{"value":{"entity-type":"item","numeric-id":1351166,"id":"Q1351166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7f8439b3bfe71627724fc23304de68aec4c1fc","datavalue":{"value":{"amount":"+0.7139164209365845","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":"Q6160567$D8FB01F9-2B93-4387-AED7-1887DDD2D41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ca7daaea0bd7ee92342db015f596d9cb934705","datavalue":{"value":{"entity-type":"item","numeric-id":6487930,"id":"Q6487930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182a66571687115ee2883dcf7be32e0fd10e47f4","datavalue":{"value":{"amount":"+0.7126849293708801","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":"Q6160567$02B7E2A1-33DF-4B28-96CC-6F4C0BE0F04D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160567"}}}}}