{"entities":{"Q2961572":{"pageid":2972297,"ns":120,"title":"Item:Q2961572","lastrevid":52748390,"modified":"2026-01-23T10:22:43Z","type":"item","id":"Q2961572","labels":{"en":{"language":"en","value":"Counterexample validation and interpolation-based refinement for forest automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687362"}},"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":"Q2961572$9C0560A0-B4A5-4E12-A4F0-DBA35E875E80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ec8cf9618e4d4e8342d93698ed69136e6d41fdc","datavalue":{"value":{"text":"Counterexample Validation and Interpolation-Based Refinement for Forest Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2961572$6A329432-B2E0-454F-AC00-16842C6E9758","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b643054faf987547cbf6e1c699e7b282295d3a69","datavalue":{"value":"1484.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961572$BC0752DF-545B-4DC8-8C5B-A708A81A830E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e9965830c0255b7308521ced6eedd550c5126f9","datavalue":{"value":"10.1007/978-3-319-52234-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961572$2EC5F10A-5B13-4CC0-BB3B-5CA32CED26B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ff85b194809bca7f50c32cce728497c09fefc5","datavalue":{"value":{"entity-type":"item","numeric-id":300409,"id":"Q300409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$BB3A9DB5-A496-4167-9B52-F792DFAA33A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0689dd39a550be0b3f70d1109da901aadb52cd4a","datavalue":{"value":{"entity-type":"item","numeric-id":2961571,"id":"Q2961571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$28C43193-F922-4F43-9123-D4537D891A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2f44950ca7dd1c6c1a3c279ac4a004cf6e7360f","datavalue":{"value":{"entity-type":"item","numeric-id":300411,"id":"Q300411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$B6B63026-06AC-4D28-9A8A-548E910C1128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b07311c614a61a408aa9adc88aa384743c3f783","datavalue":{"value":{"entity-type":"item","numeric-id":2225469,"id":"Q2225469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$480E3A33-9E69-4FB3-A783-4B25DE6ECDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$B0BBFD23-9798-44C8-96F8-03303E514E88","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":"Q2961572$0DB921C1-30F6-46A8-928D-229548594142","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2961572$CBEBBC21-320A-465B-867F-7A0249A44068","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961572$9C48BD58-A401-471B-977A-BBA91267EB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961572$DC7BA3D5-C707-4899-8553-18B9BB32F45A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbb226e7c8b968dcde7ccd247db255bee45ea496","datavalue":{"value":"6687362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961572$32503B54-8DF6-4636-A4FF-3733BBFC3A1C","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":"Q2961572$65EB5E3C-C8D1-4761-8FEC-309E5E3EDBAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7410bc030f037e6515b76f84cdf07edc93216789","datavalue":{"value":"https://doi.org/10.1007/978-3-319-52234-0_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2961572$48A514B0-B150-4852-A79A-0CE56881BA18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"112505d394b1dd01fc34c058187f81481641b2e8","datavalue":{"value":"W2570552138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961572$B85A2C86-6797-439A-B359-8686ACBEBD7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17e06f84d63dcf6adb9bf7a9c913d430caffe54","datavalue":{"value":{"entity-type":"item","numeric-id":300414,"id":"Q300414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$85437E7A-840A-49FD-A7E4-CBA1B2C8597B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a8b428ad5625dd7f1177de32005dc73363f025","datavalue":{"value":{"entity-type":"item","numeric-id":2802459,"id":"Q2802459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$01D8B6E4-FD21-4158-8853-93D25223A4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dc6e57666b405edcb89a9b298632ab270537f8","datavalue":{"value":{"entity-type":"item","numeric-id":5703767,"id":"Q5703767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$8B735572-C0DF-4B46-97D5-683195280941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d8a2e65ef4c9f2ea093cb4ae2b4cf39166e690","datavalue":{"value":{"entity-type":"item","numeric-id":3613378,"id":"Q3613378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$BC241920-4A74-4C89-B34C-E48CA510B694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b163d9e2d8a76696fb6321394c7b89aa7c4b47","datavalue":{"value":{"entity-type":"item","numeric-id":537953,"id":"Q537953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$FC3BE8AE-2385-4541-A6ED-A304C30343CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18bb5764f9f8da63ed23f37bcd731196a63498f0","datavalue":{"value":{"entity-type":"item","numeric-id":4649295,"id":"Q4649295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$027F0CA9-3434-4707-94B3-8D636461E9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346e6666d6abf8f2ec43ac1a604dc5ba74efb51c","datavalue":{"value":{"entity-type":"item","numeric-id":2852015,"id":"Q2852015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$8EC63289-7D62-4130-8B2D-A0BA9C0C86F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46b42c26ff95c25a123eade860f8ec11025b448","datavalue":{"value":{"entity-type":"item","numeric-id":5899050,"id":"Q5899050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$0070E6C1-1CD1-477B-9B8A-D503A8A707B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1cb268587dd293a50aac3367d9a446c9cf81f7","datavalue":{"value":{"entity-type":"item","numeric-id":2441715,"id":"Q2441715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$53851194-CCA5-4F01-8408-0CDA78688AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2302b47835c24584f085996f944b78f79623363","datavalue":{"value":{"entity-type":"item","numeric-id":2961572,"id":"Q2961572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$0BF9D602-67FF-4114-AF26-4DF7C08E20B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$24697585-2A5A-432B-A6C5-4055B900FECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31673880903a7f45b071aeeaa26db97b0515e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5716594,"id":"Q5716594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$0EDEF26D-E457-4CED-8EC4-5A62BD3062F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa9813c5d44205ab458818c2c071032f8d571d6","datavalue":{"value":{"entity-type":"item","numeric-id":5255075,"id":"Q5255075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$2D385E0A-3501-4DF4-97E2-2B724628F63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$CC5E5519-4955-4403-8AFB-4B297B23CCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471db0983b0adc861100e91b592763bea7bdd49d","datavalue":{"value":{"entity-type":"item","numeric-id":5255078,"id":"Q5255078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$D9F2C815-1FFB-4513-AE2F-ED7D3AD3CCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46b8b66bfe810ec11b4da1c085664087998704b","datavalue":{"value":{"entity-type":"item","numeric-id":1930180,"id":"Q1930180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$12323DE5-EE30-4831-B40F-4384C69402E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fbfcb44e06b78196b34cbe2844bb7b3e7e56bd","datavalue":{"value":{"entity-type":"item","numeric-id":3512506,"id":"Q3512506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961572$D3DCB188-CDD2-4647-B1C9-122734CA7F33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae3b67f0e4b1065e2888a9967fa9937b70d2720f","datavalue":{"value":{"entity-type":"item","numeric-id":5899074,"id":"Q5899074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42be55623b03f430c6f4f1bf3fcaf40ed5996a4","datavalue":{"value":{"amount":"+0.7411863207817078","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":"Q2961572$874C6A7D-4FDE-4856-9E79-519FDD7B76B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cbe632a0b297f0680635d38f64812e52ca73f4a","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b617eddeb68b3930003a936fef4b535bb45a3f31","datavalue":{"value":{"amount":"+0.7159847617149353","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":"Q2961572$26C53E1F-79E0-4FD2-909D-7451DF50A42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356609ae3d55d23c02586fd1f83879a316c099d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8f2190f2bdf418eaefc38a1816e14c43ae5f25","datavalue":{"value":{"amount":"+0.7035523056983948","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":"Q2961572$E4B9FA15-4B2E-44D0-934D-C8418FBB9192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fd47484c6b00d882d3302f057fc283b851b47a","datavalue":{"value":{"entity-type":"item","numeric-id":4930739,"id":"Q4930739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dffe5b42117c879f78c5843917c3f4f097a4b7d","datavalue":{"value":{"amount":"+0.6959981918334961","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":"Q2961572$AB307D82-74B7-4856-B924-29A18CB75839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9312a021d07435c43a4923db960b9c16ffaa086e","datavalue":{"value":{"entity-type":"item","numeric-id":3620428,"id":"Q3620428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a471fca3189ed8ff6172c090348468b4e9ee3e","datavalue":{"value":{"amount":"+0.6905131936073303","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":"Q2961572$38BA735C-7303-4A51-92FC-CC213B3A71C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2961572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2961572"}}}}}