{"entities":{"Q853722":{"pageid":855570,"ns":120,"title":"Item:Q853722","lastrevid":64842423,"modified":"2026-04-11T22:36:11Z","type":"item","id":"Q853722","labels":{"en":{"language":"en","value":"Feature interaction detection by pairwise analysis of LTL properties -- A case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073683"}},"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":"Q853722$53B4D1AC-CF90-4DA5-8D8C-71EDD0EA4944","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78ba3244ec21543da0b78bb1a3ed44124f01f9b7","datavalue":{"value":{"text":"Feature interaction detection by pairwise analysis of LTL properties -- A case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853722$3A20C1A2-3376-420C-8723-7FFA5F02CEC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b39287e390b066825df8328af29f4bad11021b0c","datavalue":{"value":"1103.68377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853722$16B84C37-0392-4A69-A354-F76EFD24DA1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af7ed6d23cdc0805c7198a684725f1495aa44d7d","datavalue":{"value":{"entity-type":"item","numeric-id":714862,"id":"Q714862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$7DB14399-0690-4C89-B4CE-296C8A4F4567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90bbe2ee818852467359700b37d2788503a24def","datavalue":{"value":{"entity-type":"item","numeric-id":1312994,"id":"Q1312994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$1D35408C-FF16-4E95-9B6F-173F28EC01F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$21080721-7E48-42E6-A1C2-C1A9D6F34D83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q853722$2840ABF1-9EED-4D47-AF03-2E05367AAA5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853722$567C2DD8-3D99-4E33-8D41-89D2E076C8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853722$5CFD0072-2133-48AC-B175-9619A162265A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f27dc05761a62e9fc650a56a1e7bfc25264374f9","datavalue":{"value":"5073683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853722$B888F645-FFAA-46FA-8E01-E3F206E8F8FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q853722$BE43CA6F-3ACC-44EA-A8CF-CB977AF29057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q853722$791A3AA9-788A-4878-A757-0898311BADB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q853722$47E2C201-9B3C-4E1F-82D1-E8FD801D4C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb76e657b2cd4aecdecee0500b416355cbbf7beb","datavalue":{"value":"feature interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q853722$F9274F3C-3B3C-4596-83A9-828320E39BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4aceb9e4bfcbc49d8d392f2c5f399088aa97fe","datavalue":{"value":"communications services","type":"string"},"datatype":"string"},"type":"statement","id":"Q853722$1DEADF3E-20EB-417F-904A-557D74F5940D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"02f5ff713024da7073092e171102bacbb9659b12","datavalue":{"value":"Q59675375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853722$6C6D6CDF-3475-4D49-B3DB-9DDB049599E0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$88D6ED51-A7A8-4ED8-8665-351AB8E03732","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":"Q853722$F992B8ED-0307-4677-A7D2-FF5ED10A7CA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bac6575f0bdcd8f238302e4eade440c65967fbe","datavalue":{"value":"https://doi.org/10.1007/s10703-006-0002-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q853722$BBD5869C-50AB-49D8-8661-90C402DE1024","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4c51bb904a77b72ea7fc44f64bd7b4f21017ab0","datavalue":{"value":"W1976758788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853722$B9F37A15-1060-43C7-AC71-967420B379B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$B4762B34-DB3C-403E-BF3A-21C698B6A982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a798ece082e1278836ab88b00e3664f353b790e6","datavalue":{"value":{"entity-type":"item","numeric-id":4531757,"id":"Q4531757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$521825CC-B20D-418F-8CC8-F6067BDD93F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef42fa29a74ca1e9ac59637a0c9ae6ae708d848","datavalue":{"value":{"entity-type":"item","numeric-id":4942029,"id":"Q4942029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$5140726B-307B-4CD1-AE04-18E1C0ED201C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d189d5566bbdf8684108572f8e7b1cae5e8fb1c","datavalue":{"value":{"entity-type":"item","numeric-id":1595472,"id":"Q1595472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$0FE6FF32-6F9A-4462-9B41-79F9CEE7D5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$4DB178FE-3027-43A4-94F9-5E65BA62AF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$FD879213-084C-4236-AB7F-CFAF14550192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4acb92f5f977d91828d0f85575a2ecca384ade","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$9659F014-3667-4CFB-BFB2-67F4BE3E21A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$6B584350-89FC-4DAF-9171-937A80FA9770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$74A88590-5B4A-4B10-AF59-36EE24B232B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4c31746727041f1ff1157480ae7fc11bf88dce","datavalue":{"value":{"entity-type":"item","numeric-id":1891157,"id":"Q1891157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$64530339-4642-4345-8089-DDC1EB4DFC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a92526cee35a6862fe46390c2508e9539b78cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4356437,"id":"Q4356437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$ABAD9252-5B55-417B-9EE3-19F61F7378A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$3D8D7EEE-E832-43F9-9317-45F5D96855F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa534bf4a477119f4bd6128acb5e9e8a0b75529d","datavalue":{"value":{"entity-type":"item","numeric-id":4353637,"id":"Q4353637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$A1542113-A045-42C6-9EA2-59ADECDBE441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$5D771B1C-41A8-4F2B-A22C-25D59359B4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a25b33af710ac36bbea44160810ff142960b615","datavalue":{"value":{"entity-type":"item","numeric-id":4551131,"id":"Q4551131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$B69ADF44-3A3B-48E5-8B82-1DC7094A8B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd3b68282b1e8ff859a10b3fbae24969c800fdb","datavalue":{"value":{"entity-type":"item","numeric-id":2753767,"id":"Q2753767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853722$E585C9B8-AC31-4EBF-96D2-C979A9A869D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6467157ba7bb0f81dfec1c6e3c4af6ff9660252b","datavalue":{"value":"10.1007/S10703-006-0002-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853722$98777609-283F-4DA5-A223-E84D9E28CACD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf1efaa361e3eadd71c7cb9613b350b9d0262d5","datavalue":{"value":{"entity-type":"item","numeric-id":5713989,"id":"Q5713989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573f8a598c40551a0253b398da65d675d3fcaba8","datavalue":{"value":{"amount":"+0.8108890056610107","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":"Q853722$94C489B4-DB3A-4CEE-92FD-444539181B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780a84aa7c4bf7280abc225c35f4ded6afe8c110","datavalue":{"value":{"entity-type":"item","numeric-id":3045003,"id":"Q3045003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9445f7d9ac0d23ba4cfebd2b68a31b79cb8883e","datavalue":{"value":{"amount":"+0.794546902179718","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":"Q853722$A801042F-451C-4C15-A8FE-7ECA0CC6B318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca50ddbd422222ccfa60291e3ddc0b48b25789b8","datavalue":{"value":{"entity-type":"item","numeric-id":4817056,"id":"Q4817056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58a1a3134ea47702e4449fcc1367d556eddc8fc","datavalue":{"value":{"amount":"+0.7689646482467651","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":"Q853722$3545EA38-EC7F-4C7B-B4CD-55B0E99E9C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a393578e1216576b7b0afb0764b84b5aeaef41ee","datavalue":{"value":{"entity-type":"item","numeric-id":4531757,"id":"Q4531757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c536c39647edfb3ef91638ca4c503aa1ff01a8","datavalue":{"value":{"amount":"+0.7668971419334412","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":"Q853722$DC3E85B1-0542-40F8-8203-CE80832923EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f87abe08054aec1555f7903652eaf42925419907","datavalue":{"value":{"entity-type":"item","numeric-id":4225372,"id":"Q4225372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43bba2ddc4cfd392150a793a65ebc437f14a284a","datavalue":{"value":{"amount":"+0.7455678582191467","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":"Q853722$54F0131C-A624-4FBB-9708-5F9BF5188243","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Feature interaction detection by pairwise analysis of LTL properties -- A case study","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Feature_interaction_detection_by_pairwise_analysis_of_LTL_properties_--_A_case_study"}}}}}