{"entities":{"Q4639981":{"pageid":6669562,"ns":120,"title":"Item:Q4639981","lastrevid":53082062,"modified":"2026-01-24T04:43:32Z","type":"item","id":"Q4639981","labels":{"en":{"language":"en","value":"Model mining and efficient verification of software product lines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868513"}},"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":"Q4639981$1E27358D-DBB3-4057-8A81-63F9354293DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42621f1c5ff76114620bece0a79ba6aca8b954a2","datavalue":{"value":"1387.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639981$5073AF29-E012-4A06-A730-08580408F5B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c4147766c1f955469bb6beef8732b37f3bd7d4","datavalue":{"value":{"entity-type":"item","numeric-id":3095248,"id":"Q3095248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639981$AC3DC9E1-2498-4882-A33F-E9C82C094CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8de0358d5843909f727261d501d479a1091d2554","datavalue":{"value":{"entity-type":"item","numeric-id":385022,"id":"Q385022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639981$3B2294FC-663E-46CF-B005-8A07E185705F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a8de372799402bb9369830764b9ee203260e67e","datavalue":{"value":{"entity-type":"item","numeric-id":736802,"id":"Q736802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639981$DB2764E3-CD36-41BE-B4EE-FC480C1680F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21b73bd745c578b059656a1953e8b80715076228","datavalue":{"value":{"entity-type":"item","numeric-id":4639980,"id":"Q4639980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639981$A5AAE301-C725-4C4B-BD8C-5B5841F801B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13e57e9a5cd4d83457fca04a615c5f2a32356503","datavalue":{"value":{"entity-type":"item","numeric-id":2936678,"id":"Q2936678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639981$7D2CD5DC-62A4-40DC-981E-B208D452252B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ea136133176b0e732e96c018d3bbea7a42c842e","datavalue":{"value":{"time":"+2018-05-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":"Q4639981$68E8AAC8-7772-4663-80D7-DFB4D3FE28E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"288694334b4d09c0baa5d918b00c0c162ae0c5ed","datavalue":{"value":"http://serdica-comp.math.bas.bg/index.php/serdicajcomputing/article/view/244","type":"string"},"datatype":"url"},"type":"statement","id":"Q4639981$C1069776-8C7F-4FF3-AC68-934D4BE4E99D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639981$8B83190A-FBE9-4272-A8ED-6F00CE35B080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639981$962C873B-9F6C-40F9-AADD-D8DCD14F13DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"824b54a7549372be4b2edaa332e972927929975c","datavalue":{"value":"6868513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639981$FAFF4FE3-871B-4D48-9973-744E799FD0C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bda5df34fe4ef151136ebdc4a13f707b0e0c0c0","datavalue":{"value":"product families","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639981$6D9DFD76-7D2D-40CF-94F9-1B7B3CA0711D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639981$A17FFBE6-7703-4746-AF2C-BC3091E8BCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9eafa9d4c0828d644ee341346bb719e323fe7d3","datavalue":{"value":"model mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639981$2A14C729-DFC5-419A-A2E4-542689E1727C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd1388c1d6c7c4a0b6567d3b8728586179c20803","datavalue":{"value":"variability models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639981$680E8CD9-B840-4377-84E1-270046D5630F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639981$FD95BDB7-540B-4E4F-B09D-5958ED53AA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c34e1dd96871bb81f4a6a0b7b48d43c29d0c4293","datavalue":{"value":"maximal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639981$22F36EDE-8E4E-497D-8512-90379AAA148A","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":"Q4639981$B8AE8DAF-C705-4B43-86B2-C382599F542A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5059455221f195653f630844f12be2fb9a2ed9a","datavalue":{"value":{"entity-type":"item","numeric-id":3067535,"id":"Q3067535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3ef016650ead3d1af2d0997771ba7d09e847461","datavalue":{"value":{"amount":"+0.7698861360549927","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":"Q4639981$6DA8225A-FEDB-460C-A49E-42A3FB5D7E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed90b76eab58c66d06671835294d86a68915c17a","datavalue":{"value":{"entity-type":"item","numeric-id":3095246,"id":"Q3095246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cab7d416b6243b8ae9352d5f1af13170d56b7cc","datavalue":{"value":{"amount":"+0.7695798873901367","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":"Q4639981$574D6EB7-77C3-41AF-9C7D-1166C0C20160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6fcacfc933d4e47736d969d70542a164b1ec774","datavalue":{"value":{"entity-type":"item","numeric-id":338617,"id":"Q338617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5655422cb8160e33648010578af48b158d9db95a","datavalue":{"value":{"amount":"+0.757878303527832","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":"Q4639981$3397930D-81A6-4277-B2C3-EC4928288DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7e675c47a5a796e433a67632c2da23e605e613","datavalue":{"value":{"entity-type":"item","numeric-id":5039535,"id":"Q5039535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88fadb35f0dcd229d60af03ed7066d0b0404bcc7","datavalue":{"value":{"amount":"+0.7495715022087097","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":"Q4639981$67F0AB50-5C08-4EBE-8180-6B54BE60D4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec9f476e1645afaf4ebae92960e5ed96a1c76e23","datavalue":{"value":{"entity-type":"item","numeric-id":2948237,"id":"Q2948237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464296fc5039a2dab5e36f33aeb2874032989199","datavalue":{"value":{"amount":"+0.7458527684211731","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":"Q4639981$7AD59B19-1B2C-4E5E-9976-0A92B3993256","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4639981","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4639981"}}}}}