{"entities":{"Q898621":{"pageid":900469,"ns":120,"title":"Item:Q898621","lastrevid":65226477,"modified":"2026-04-12T01:09:49Z","type":"item","id":"Q898621","labels":{"en":{"language":"en","value":"Incremental model checking of delta-oriented software product lines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6522171"}},"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":"Q898621$C7CE3C25-462E-42DC-A797-C1C2974832B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97f5bf12d3a36ec258bf8d0c1e8d93eb5d65483d","datavalue":{"value":{"text":"Incremental model checking of delta-oriented software product lines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q898621$4E035BE2-DCE7-4853-AC19-8F35D948B2D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"341c26fa02ab8997957b1e2217bd96d5b24077e4","datavalue":{"value":"1346.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898621$3888165C-7467-4495-B219-6A4E4B68303C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"228a37b62e175ece80fd20e2b9e336724bb66799","datavalue":{"value":{"entity-type":"item","numeric-id":898617,"id":"Q898617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898621$B353A3FE-CEDD-4BC3-A7CE-728826B0828C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a781fa052437b979136cc16d351fabe811f9074","datavalue":{"value":{"entity-type":"item","numeric-id":898618,"id":"Q898618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898621$B9CEBAD2-0DE0-4F90-8399-B834A8AE8923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ec9427e3bb1429ea6b522b8b24bb8c6a1b8a29b","datavalue":{"value":{"entity-type":"item","numeric-id":898619,"id":"Q898619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898621$64C642EA-1690-42CF-A7E0-E161F48D85B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ec5c43676b96eee7a781fa2142a326bfbc8137","datavalue":{"value":{"entity-type":"item","numeric-id":898620,"id":"Q898620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898621$D5319775-10AC-4ED7-AD6B-D20C9B49B9A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898621$BFC57665-1C6A-4A51-AD99-FEE54B32511D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0b0bf87fb6106f38722f33b49fa61bb09ad1b48","datavalue":{"value":{"time":"+2015-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q898621$0DD47633-E65F-46E8-8DFB-591A47D6065A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898621$D8887D57-EE20-4A7A-84CF-989AD2D43CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898621$2A081EF2-E387-4A51-965C-D8C82F32A971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898621$9861B64D-E680-4777-A4A0-FDF0E000F9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898621$94239350-3D7B-4977-8558-7E6855C2E765","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"672e60c02f8390b14ef4f6df86e6ccff34ddc703","datavalue":{"value":"6522171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898621$E842CCAE-D82E-49C8-918F-23AC7FFC846E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f64eeb3db03ff7fda6150fd7b2268ee31a148ff7","datavalue":{"value":"variability modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q898621$62D8F8AC-0087-40CC-914D-A04F4FD5E4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q898621$C5F8857B-54F5-4A40-B895-A13E0374C500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q898621$A16C17CB-8403-4A1B-8861-092FA127E701","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898621$4EC001BE-80A6-4FCF-AB2A-6F2F6FF3DFB4","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":"Q898621$C7861F35-91BF-40A8-BD07-8A0C7984F053","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b4cfa23f2ecbb6725d12923c75180befc94d7cd","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.09.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q898621$5BA695BA-7B79-448A-AF06-6F101811D3E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22acadf65a452ff77832f32bc365e21e1db5a882","datavalue":{"value":"W2208993337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898621$84B32354-1A61-4C9F-82A5-8673EBDEDDAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898621$9C2FB8F0-F968-4F88-91EF-E156C7F35AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45280f113fe0216f2b7ecb89e3dff3eb55b2630c","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898621$039C205A-7D6D-4A2A-BEC0-2DA9800881EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cec72ccaacee8646f5f8fd1a5d6a3a4c422ef0","datavalue":{"value":{"entity-type":"item","numeric-id":2849862,"id":"Q2849862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898621$8296BAA6-3B86-4AED-B956-6D61A315E8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"994f264b772c94cefb68bde94f89c07c7efd43cb","datavalue":{"value":{"entity-type":"item","numeric-id":2900181,"id":"Q2900181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898621$C71CABAA-C32C-43D9-9FC5-AEDDCF44C925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a7eb47352c237fecf05652db90b72265b9841f","datavalue":{"value":{"entity-type":"item","numeric-id":4899113,"id":"Q4899113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898621$B7C91579-2D8C-4793-BE11-5CD8922FBAC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1e9254aba173b86e7206aa789e36eb0b61f5a2c","datavalue":{"value":"10.1016/J.JLAMP.2015.09.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898621$99C5E098-6951-4F2B-BA80-8662460653F5","rank":"normal"}],"P1643":[{"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":"d474405094ee4f1baa0bff522e62f77a3be8f933","datavalue":{"value":{"amount":"+0.8488561511039734","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":"Q898621$B8BA66C5-269D-4D92-BAFC-1E244980F7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98f8146a4cefe8f3bccabc9ecee738dc0f77755e","datavalue":{"value":{"entity-type":"item","numeric-id":2376980,"id":"Q2376980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02e9c72b17480a509cabce2e59f37afbf2063a8c","datavalue":{"value":{"amount":"+0.7740596532821655","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":"Q898621$2F6E4E34-CE5F-4841-95B0-02AD4341F67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9c9e805087e81be15f8da3d388ae97c09bb712b","datavalue":{"value":{"entity-type":"item","numeric-id":2900181,"id":"Q2900181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c550b2fb0f7769a5df59d022be2835f5c511f837","datavalue":{"value":{"amount":"+0.770406186580658","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":"Q898621$C840173A-71EA-4227-A02D-DDFB8C386E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf0674b35d5ec5c5979d24984a28195492e4c6f9","datavalue":{"value":{"entity-type":"item","numeric-id":5215913,"id":"Q5215913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d8cf9b7802308fc03a5fc3522a912439d22359","datavalue":{"value":{"amount":"+0.7419596910476685","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":"Q898621$058FE9C4-6934-4648-8E45-19CCAA05E85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b604e08a101c5eb05cde3684eaae7442983d9604","datavalue":{"value":{"entity-type":"item","numeric-id":4639981,"id":"Q4639981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a88529a32fd22b05092a635e52a6200ff2ffd7","datavalue":{"value":{"amount":"+0.7414543628692627","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":"Q898621$CD5B1DFC-3C55-4382-9583-BA0FEAEE89EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incremental model checking of delta-oriented software product lines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Incremental_model_checking_of_delta-oriented_software_product_lines"}}}}}