{"entities":{"Q3424119":{"pageid":3434822,"ns":120,"title":"Item:Q3424119","lastrevid":80443958,"modified":"2026-05-06T16:12:37Z","type":"item","id":"Q3424119","labels":{"en":{"language":"en","value":"Adaptive Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5127340"}},"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":"Q3424119$891FBA92-519B-4CC9-9B99-35C1A6889B24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df2a0eab62621aa32117d100b6a50218d5f94e55","datavalue":{"value":{"text":"Adaptive Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3424119$72581A2A-716D-4A43-83EA-351E7D8FCE7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f7eeb5a77f1a3a3bb432ae4d2af0307d543b660","datavalue":{"value":"1108.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424119$330F36BD-7666-4816-ADED-1EA12FA9FE0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c629429fa80ceb2f8147b4a851879081e83a346c","datavalue":{"value":{"entity-type":"item","numeric-id":457245,"id":"Q457245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3424119$A16DDE3D-FAA7-4D9E-9DF5-2EB94CF4BD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3424119$AB0848ED-4917-4820-8F36-43DBB5E81024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64789e48fd3ab0a44b5ae0aa6d85c1c024312026","datavalue":{"value":{"entity-type":"item","numeric-id":458479,"id":"Q458479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3424119$A617FB57-5F18-4865-9DED-68CD1E074D3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b3ead6168ee7e4a65e07f7e44713ef795f1233","datavalue":{"value":{"time":"+2007-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3424119$A2B887A9-F731-4FE3-A68E-5B4EEE7E0C1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17ec56d1aea8e279ffcd20cf192d27d9372ef75e","datavalue":{"value":"https://semanticscholar.org/paper/4295a6fa99d5ba48b14bc6a3d9db732a553715ad","type":"string"},"datatype":"url"},"type":"statement","id":"Q3424119$F39A11C9-2FA1-4EB9-9D7B-86A4836E1D9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424119$147570ED-D1C9-400E-951A-7BB09C87F91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424119$3D5BCF74-9779-4CEA-80F8-F599F33CC4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424119$38EA0058-613F-450A-9EEE-2F37985A36C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"297ce31a882b9f332f4599dabf6a96a8a55b15f1","datavalue":{"value":"5127340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424119$477263AC-072D-475B-A3DE-9D6FCD5080A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd6232ee430e6bd0f81c9afdb53f1e62a377501a","datavalue":{"value":"black box testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424119$DB614F57-9883-4874-8909-748A397ABDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0183cc01ec15258df86d493ec085b0f9601e5b45","datavalue":{"value":"learning regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424119$81358CA8-9C17-4752-B025-2389555C1E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424119$F2BDEE1E-8ABF-416F-8AA8-33AE230C269B","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":"Q3424119$CBFDE33D-C24C-49E4-A122-16D52D926F70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0cabf247c5201043ffeaf164a91029a458ab6b5","datavalue":{"value":"W2014096115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424119$369F9CFF-0F10-43F4-B737-AD9DA2571BC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6801ffdf84c6755fdacd59f474a0883cd9c5fe4f","datavalue":{"value":"10.1093/JIGPAL/JZL007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424119$4E01A79E-D9A6-4166-AA92-120421D6A870","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3424119$A8CC2642-5877-4190-BDC6-7DFCBCE5892F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"194f4586960300eba587ec366647bfddd2270b11","datavalue":{"value":{"entity-type":"item","numeric-id":4472253,"id":"Q4472253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528032bb2ed8daee6a9daa2b9fdc835184930d71","datavalue":{"value":{"amount":"+0.998977780342102","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":"Q3424119$C3B8F75D-88EE-4E90-A5C5-1B4074553880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd85a1322352931862223dfac013c8c12d53e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4804922,"id":"Q4804922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30167530b58ddf4defc69c941c50fbf0f7de2417","datavalue":{"value":{"amount":"+0.8193820714950562","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":"Q3424119$EF5BCC2D-6B17-42D7-8608-4943BC43D6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11ac2eba8835edc4280d37fb829d827620942c47","datavalue":{"value":{"entity-type":"item","numeric-id":3613088,"id":"Q3613088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2505d7db73294060082536e36fe2773b562fce","datavalue":{"value":{"amount":"+0.7658397555351257","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":"Q3424119$129937A5-7803-4555-9790-4BA2ADFEDEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6d026753b422749498db9984d96c867b8830a0","datavalue":{"value":{"entity-type":"item","numeric-id":4807832,"id":"Q4807832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceda9d8200fe3b0e8664f3bcb3c76206c494e027","datavalue":{"value":{"amount":"+0.7434677481651306","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":"Q3424119$9671F176-45DB-4C31-85EA-26AE0BC4ECDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60576313d55c2605cbb57bbde9db89473f18f888","datavalue":{"value":{"entity-type":"item","numeric-id":3624112,"id":"Q3624112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4203edad421ec6084595c6a45ba572b20f159ac5","datavalue":{"value":{"amount":"+0.7434415221214294","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":"Q3424119$2D78C140-BC83-41FC-94FB-DAFA9F69977B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adaptive Model Checking","badges":[]}}}}}