{"entities":{"Q4621201":{"pageid":6650784,"ns":120,"title":"Item:Q4621201","lastrevid":40718235,"modified":"2025-04-04T11:20:24Z","type":"item","id":"Q4621201","labels":{"en":{"language":"en","value":"Faithful Modeling of Product Lines with Kripke Structures and Modal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020195"}},"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":"Q4621201$87B1F894-36E1-4794-99C5-0FDB6ABA9E5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d72c0ba58ea18e4766094fe70c980e7d0d8e2a00","datavalue":{"value":{"text":"Faithful Modeling of Product Lines with Kripke Structures and Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621201$EE37BFA0-80B0-413E-86C0-AE3F0DA493EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dab62d161934afdc850cc2dd99150d6eb7666143","datavalue":{"value":"1424.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621201$D612BFF0-0526-41A7-9F5A-680A856AD648","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0ba6d4b2260f006208c0b4c977018117e5a1b91","datavalue":{"value":"10.7561/SACS.2016.1.69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621201$7D728C78-817E-4D25-B464-30AEEFFECBB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc9e1947abb639e217c64d3c70984a83de561acb","datavalue":{"value":{"entity-type":"item","numeric-id":782502,"id":"Q782502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621201$A87FBFC0-BCF7-4E83-9AC3-C12B23DFCD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8f618e234547c779904c4c48decab7e0d4a173a","datavalue":{"value":{"entity-type":"item","numeric-id":1647961,"id":"Q1647961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621201$2E865F84-B5B4-4629-9CA7-3275274B68D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621201$840F3788-B19C-4707-BE28-8DA2C8012290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a222b4bdb24a66472f749f6e714791fe85ebf5e2","datavalue":{"value":{"entity-type":"item","numeric-id":202472,"id":"Q202472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621201$0519360A-92C3-47D7-B87F-8BD45CF43862","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621201$E1DD8A80-6465-44AB-AF0D-DE404E0F4429","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621201$4F665473-3942-4B90-BC31-448A036DD757","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621201$CB5F2283-1411-408D-A5F0-0C94257DFDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621201$B0FB83A9-D2F8-4A66-AE00-7C4171B5D9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621201$F7FCEC80-6AEE-46E5-B3A7-A1E2599FA269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621201$5683BA05-311E-49CA-AF4A-7C0B027D064D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9b1cd1a64a53617ad181e2d8e879e2d229fcee5","datavalue":{"value":"7020195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621201$C840B2C6-6DA0-4206-A7EE-CFDE5AD7DA4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69968bd2d5a56855e83104f1e2127079267eecb0","datavalue":{"value":"software product lines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621201$6B6A8656-6FBC-4470-8803-29A8EC57E58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a1f978e968ff99ea15e6699afc772d232e63ff","datavalue":{"value":"feature models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621201$3037207C-E6AE-4E09-BC7C-30BCBC311186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e4860a59c87c39d3da34d7954c724c1761caa10","datavalue":{"value":"partial product Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621201$30CF96D4-C2D6-44C6-B1A8-66F57EAE71B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909bbf660ef365d71e1d2235923891baad5ea8ec","datavalue":{"value":"partial product lines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621201$71A86113-6F2F-4946-96FC-AB0797E30B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b624d935d55a9e4e8ce173c80f7e26e44853055","datavalue":{"value":"partial product CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621201$71D2E26C-4937-4943-B232-321C1F3F0E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e738bf6dfd0aa29d9b953c40e7f8bf1b373174ad","datavalue":{"value":"faithful semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621201$720D6C50-069B-4A5A-B7FE-F5CEF64DFCD7","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":"Q4621201$2BDC6A84-8A63-433B-AA40-F7BE61945B06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7eeffa1585dea16a6bbe1c744a79b51ce0f42ef1","datavalue":{"value":"https://doi.org/10.7561/sacs.2016.1.69","type":"string"},"datatype":"url"},"type":"statement","id":"Q4621201$ACA0A0D2-DE71-4EE9-8FFF-6FC8DE7EE121","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f157d9baced49c6a8918c19296be79a2117b1158","datavalue":{"value":"W2573846983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621201$B5D0E2E0-A14D-40D7-A998-071DDB2CF438","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebf4a196dbac3f8003cc4ac424e4bc92d24d8fb","datavalue":{"value":{"entity-type":"item","numeric-id":2787423,"id":"Q2787423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2aa0058e4a797e505ccd259cd368607d0506aa","datavalue":{"value":{"amount":"+0.97334874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621201$72150663-9062-413D-BA4A-47DDDBDA4A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4316f70ed08240dbbba98f43b9edb255f9fa9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4529490,"id":"Q4529490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b3d7efaf7876acc17a5dbc5037fae93dae2270","datavalue":{"value":{"amount":"+0.8668379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621201$0A739742-D029-49EE-BD87-AA2979540B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881bd68086e292c713738bef1403838214e75b72","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae5093f1c43236dc129788bbfc0986810e09bad","datavalue":{"value":{"amount":"+0.8617484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621201$C928C8DE-C03E-45D6-8799-E117753C93BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6a156349f97ef42b4bdeb0c678d0ff0e0e801b","datavalue":{"value":{"entity-type":"item","numeric-id":4808779,"id":"Q4808779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d2e2d982b748508cf7baf78f23b3ae5f806b72","datavalue":{"value":{"amount":"+0.85506874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621201$E5E2AF0B-8C1A-42D0-9DAE-AFBDD995954B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b93dacd72aee1b378532d1ac263c2d1b43b3a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2277439,"id":"Q2277439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c9da5bad7d22221642f45942a2e886a6f4e812f","datavalue":{"value":{"amount":"+0.85269845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621201$8BB254A4-3CF6-4CCD-94FB-E0557C8C14E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16e09e790a4f9a1be97b51a544c68ba62a35db8d","datavalue":{"value":{"entity-type":"item","numeric-id":4729757,"id":"Q4729757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6dccb28d060f2b183d89a470ce4e7ccbaa79430","datavalue":{"value":{"amount":"+0.8485297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621201$DE559E53-7E48-476F-A761-0309937E642E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2758dff8deafb3580676b0f02b94ab40c473e543","datavalue":{"value":{"entity-type":"item","numeric-id":1183584,"id":"Q1183584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6dccb28d060f2b183d89a470ce4e7ccbaa79430","datavalue":{"value":{"amount":"+0.8485297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621201$04ADDBDD-07E4-4104-8BDC-14AFE1F62BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9dd9232e7d7174a2809ccb67e6fefa0ff46e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4035224,"id":"Q4035224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d4f715c40fb841f67488ac64b01c3b53edb865","datavalue":{"value":{"amount":"+0.8415423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621201$09C814B8-3B6D-4047-99D3-3191D825831F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d9cd102feb4f22b67cf158fa4fad20c02b29ed","datavalue":{"value":{"entity-type":"item","numeric-id":4311648,"id":"Q4311648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20035638cc07d531e51aa8118beadd597d0b5412","datavalue":{"value":{"amount":"+0.84121406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4621201$2FE8D734-0F03-4455-9E86-34C5490C4291","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621201"}}}}}