{"entities":{"Q2096429":{"pageid":2107172,"ns":120,"title":"Item:Q2096429","lastrevid":57442992,"modified":"2026-03-30T23:13:00Z","type":"item","id":"Q2096429","labels":{"en":{"language":"en","value":"Lifted structural invariant analysis of Petri net product lines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7618123"}},"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":"Q2096429$C5C6F42B-A9FC-49E1-8826-2B69F8EB6C06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cee77184d4bf05de29e19edef136d7362320267f","datavalue":{"value":{"text":"Lifted structural invariant analysis of Petri net product lines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096429$62713424-7CA5-40EE-B940-3AE905071BB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f8415a13a306ff50df99e567b9d17940766fe9","datavalue":{"value":{"entity-type":"item","numeric-id":2032832,"id":"Q2032832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$BA38D7D9-6BCF-4F74-9EE6-7DC93D22A533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb5e82b909583530a4bc65995b968bc0d4208370","datavalue":{"value":{"entity-type":"item","numeric-id":465490,"id":"Q465490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$BEA3FAFB-68A1-4DBD-8ABC-36A74C363BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ff0515bce250ef8cbcd3d53a843af79d1499ed0","datavalue":{"value":{"entity-type":"item","numeric-id":465489,"id":"Q465489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$561C3DD2-9673-4A57-A57C-52D35B9DF3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadb4fdb3bb04152ca3485f4298278f18aa14289","datavalue":{"value":{"entity-type":"item","numeric-id":2096428,"id":"Q2096428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$95C4DD20-9B59-4F68-941C-C20ED51EF023","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":"Q2096429$FFC68425-FBFC-4073-9CD7-4628FC14CDF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2333e6affd76dfa00af750b8fa426f69b92ca507","datavalue":{"value":{"time":"+2022-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096429$47DA1E3F-2264-4E9E-AD62-EF3260AB8A03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096429$EA8415FF-0689-4081-A69A-40870AB832B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94dc589e7dc79021febf7ab648aa0396fec47a08","datavalue":{"value":"7618123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096429$7FCF088A-90D4-4A36-B1F0-9B654288FC8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096429$F73410BF-5BA2-467B-9A73-2D3F93231719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69968bd2d5a56855e83104f1e2127079267eecb0","datavalue":{"value":"software product lines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096429$A60EED2D-93FB-41F3-BEF3-235ED602F850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"286f2f2a9a02142a767b4f1e6d957f66f611be23","datavalue":{"value":"structural invariant analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096429$524C6D0E-BE9C-4015-ADB3-46B7A131EF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096429$5362E08E-EDFC-4B47-926D-2C980D792880","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$DA99B1B7-C324-42AC-9F3B-8449CBA4D477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$ED61022A-8F7E-4057-847F-68A5D6266B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32113a6f56713f9ab5e2930732b6a3a2f37dd226","datavalue":{"value":{"entity-type":"item","numeric-id":18438,"id":"Q18438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$34A0AC3E-8467-4B77-B1C1-4F17FE96FF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6f5bec06a86633e136e03ff85320c0bce0fdf50b","datavalue":{"value":{"entity-type":"item","numeric-id":34498,"id":"Q34498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$CEB12A2E-A60E-4200-9232-C70192F3ACCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"06204287a780b9c87beccee87178466390691ed6","datavalue":{"value":{"entity-type":"item","numeric-id":34960,"id":"Q34960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$8A434E73-064F-4621-AAFB-8CDC961010B9","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":"Q2096429$D242DF68-5CCC-4E7E-956A-BBFB1D843079","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c755f47389b25be3688c303c23ee67eb34efec8","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2022.100824","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096429$94492ECA-5C1E-41A0-82CE-BB527C7CA008","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"634e3984d157c1f0ed24f8b86462e40ba063659e","datavalue":{"value":"W4297328984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096429$C38132E6-C3E8-4605-91C2-6033AA8B46DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"458c8806b0df34a4b614eb22b2627de604606c73","datavalue":{"value":{"entity-type":"item","numeric-id":2423754,"id":"Q2423754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$5F6C1E95-DE20-41D0-BCBE-1F439846C258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63c4072404ed32df1039f2cea5da48d4300e352","datavalue":{"value":{"entity-type":"item","numeric-id":5392873,"id":"Q5392873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$FF6F4880-A5B8-49B6-A667-4027FDD50C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1790787b9aa2db107873493d11a04f497b0076e","datavalue":{"value":{"entity-type":"item","numeric-id":2667186,"id":"Q2667186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$E89DF383-CFC7-4F56-881E-A655FB98A818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c697af4499f484f87e6e26217eaf135753cd7dd","datavalue":{"value":{"entity-type":"item","numeric-id":5039511,"id":"Q5039511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$AA697C08-2CF5-49DC-ADD5-A5541529C83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b122e575bc0dbf1a68082c4b290206f9d3ba038a","datavalue":{"value":{"entity-type":"item","numeric-id":5692278,"id":"Q5692278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$3A0EEE2A-8E59-4726-8F1E-874EE514DE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8d091c1596a270acdda3cc93e06b21f3568f9f","datavalue":{"value":{"entity-type":"item","numeric-id":4417950,"id":"Q4417950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$F7DC48FA-F746-4D92-8414-CC226CDF504C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$90E1FA78-3210-4997-950B-32763FFCCB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c143eb883825240f5cc61fb44abf21ad22bb74","datavalue":{"value":{"entity-type":"item","numeric-id":4126143,"id":"Q4126143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$F02805AB-5A76-421E-AC8B-81953B725795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e03b281a34680f383acf64c01f41b976df25c06e","datavalue":{"value":{"entity-type":"item","numeric-id":5496929,"id":"Q5496929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$378F0153-6577-47E9-A9AF-1A3F222E5057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f7017b74dd587e92e93a287b13bccd94320a1e","datavalue":{"value":{"entity-type":"item","numeric-id":3408146,"id":"Q3408146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$5CE430A1-935A-48D7-94A9-591E692AF971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc3e2657c4da5022ce01128eff4ed06a3def5bc5","datavalue":{"value":{"entity-type":"item","numeric-id":5216152,"id":"Q5216152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$724F315C-12C0-4E71-9D28-D8FA70858800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8166838e3258e46c7e33f968b057a2c673dce1b4","datavalue":{"value":{"entity-type":"item","numeric-id":4306699,"id":"Q4306699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$29228D3B-77CD-41CB-96EE-C0179EF74385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cd94a254cb7563f58a96d7f9fd6d6f00c00c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1911289,"id":"Q1911289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$88534281-0D4E-48B3-8AA9-5E1767BFFEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d454cadb3803abca25d570126eea1da135d458","datavalue":{"value":{"entity-type":"item","numeric-id":3095246,"id":"Q3095246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$EE702FAB-64BE-4ED8-9F21-E63D56250A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c47b1ec42f76c6c902744c519a0f20cb7d46322","datavalue":{"value":{"entity-type":"item","numeric-id":5326326,"id":"Q5326326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$4536FB04-FEDA-4996-B2FD-9F5E08DFEAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b027364c2c086fd147891ed9c1cb252dc9f20","datavalue":{"value":{"entity-type":"item","numeric-id":3655764,"id":"Q3655764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$3320AED1-510D-4A17-9089-8D6EE3E5B1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed86323acd6bab254a8147d34c7f4bdc3cb20733","datavalue":{"value":{"entity-type":"item","numeric-id":2369035,"id":"Q2369035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$8ADCEC14-8BA4-44E2-92F4-F48F622FF37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486194089a3130f419362c3a2e20bbddc4d7f9d4","datavalue":{"value":{"entity-type":"item","numeric-id":3636839,"id":"Q3636839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$3B23EEB8-F93A-428B-A07A-CA17635BF92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114fe4ee895884ab41bf4f30c7bd74031151286d","datavalue":{"value":{"entity-type":"item","numeric-id":5215914,"id":"Q5215914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$461F7EC1-9AB8-4CD2-A9CE-A046451ABA80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ce57b50f62a66756e392cee7281ffa6452cfb49","datavalue":{"value":"10.1016/J.JLAMP.2022.100824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096429$507F58F3-ECFB-42CE-8C3B-36A79FCE5EB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0fd99835196f4a97181091fe5846b5a4749ebdd","datavalue":{"value":{"entity-type":"item","numeric-id":2032833,"id":"Q2032833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ed2f73bf5336db39036bab82e80fb192dcb0f3","datavalue":{"value":{"amount":"+0.917910933494568","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":"Q2096429$AA4D165B-8666-4147-90CA-1E414436DFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae4372080b044f41436dde87525188236550af0","datavalue":{"value":{"entity-type":"item","numeric-id":5305662,"id":"Q5305662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8ca0b477c73e7f4748c8fc753cae473e877604","datavalue":{"value":{"amount":"+0.795957624912262","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":"Q2096429$DF11F7A0-A635-4C00-902F-48D905654006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c046a6d4f27c665983efafbdc1666188d1fd21d3","datavalue":{"value":{"entity-type":"item","numeric-id":4509344,"id":"Q4509344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"179e71be94d6232cf4b1aef18fe27fbb571b7ca0","datavalue":{"value":{"amount":"+0.7441526651382446","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":"Q2096429$7B66A240-C597-4102-A1B0-52141E727547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b81c5230b1ee1e387943c70fc65093dadc47ad8a","datavalue":{"value":{"entity-type":"item","numeric-id":2822661,"id":"Q2822661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c924a2356e9bf6ecd75d0d7c834c8a962b07da","datavalue":{"value":{"amount":"+0.733523428440094","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":"Q2096429$C167B5E1-5733-431D-AFF5-AB5D5B398CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fdf509150dc38893dc70ae295563706af5895ac","datavalue":{"value":{"entity-type":"item","numeric-id":5044400,"id":"Q5044400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146fff4880801ba676e3325f41c764e4439b6dcb","datavalue":{"value":{"amount":"+0.7280715703964233","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":"Q2096429$B54E204C-84D5-4649-8BB1-38631AAA5C4C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096429$2062FE34-DAC0-42EE-8FB8-EAEB168A7031","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096429"}}}}}