{"entities":{"Q898612":{"pageid":900460,"ns":120,"title":"Item:Q898612","lastrevid":65226396,"modified":"2026-04-12T01:09:47Z","type":"item","id":"Q898612","labels":{"en":{"language":"en","value":"Product line process theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6522169"}},"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":"Q898612$B88584F9-36E9-4B11-8C7D-896B4D7765E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dc8a9d9c4c33837a9b0d9edd8cba75d13d4cdd0","datavalue":{"value":{"text":"Product line process theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q898612$AE23DA01-EF65-436F-9E61-7F366AD3C51C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e92f6565794ef1174e914e55214f183a976c3ca1","datavalue":{"value":"1346.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898612$EA88E7AC-DE69-45B5-985A-4CDDDE36163D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$B66C56AF-66F2-465C-B683-E5E1450643A8","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":"Q898612$B162E257-FD6B-40CE-A8C9-7BFD67531180","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":"Q898612$746F3D9A-5E46-469C-91C2-03393C22CCA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898612$A0B4E590-3F54-49FC-A5FB-2D5C00BED0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898612$230E7099-D19E-410E-8AFD-1E99D3E09D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898612$5F6A7BC2-9223-45D5-A8DD-C0EF18B39F4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb1864eb8caa1909e52c5128a4810ab095ed5386","datavalue":{"value":"6522169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898612$2A81C6DC-70A8-4A55-B1DF-4D5089143F92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d26466d5396cc7c8714124bc875e8c4889469809","datavalue":{"value":"software product line","type":"string"},"datatype":"string"},"type":"statement","id":"Q898612$6F00A404-012F-4A77-B463-75EB44159109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01b696f33e9131e163b4602eb024ad9d5cdf0b2d","datavalue":{"value":"process theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q898612$4D836B65-62D6-4478-8954-825BCDF92662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f70a334b16263a6ae74a6063d13f10ee70634d6b","datavalue":{"value":"product line bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q898612$4E8B4A09-B537-4B0F-B3DF-F986945BD2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb65f2a34daf8393264f6e4fe8806349cb006d3b","datavalue":{"value":"strict strong bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q898612$1D53F1FB-4634-4A09-9930-DE34890437FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q898612$EF48A065-4C7C-4518-97EC-2BDC3F87E0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q898612$E329B421-7D37-4EB6-B3CD-39E94718A2CF","rank":"normal"}],"P1463":[{"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":"Q898612$C3DEA8CD-342A-4862-B269-501DAE2B1074","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":"Q898612$C6412983-CD12-46FC-8305-83A9990B8C4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74bd2815787c96d95432ed3467924cbde3dc2975","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.09.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q898612$1062074A-B546-49D3-9458-C52345725138","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e50671bdc35804be51a9e0a94cf538c6e8acbb71","datavalue":{"value":"W2221917271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898612$BE01214E-327F-4677-B857-001BAEA6CE84","rank":"normal"}],"P223":[{"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":"Q898612$C22E6DAB-C046-4915-A624-FE16E86882C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$3AD5693D-BDEC-4A90-B5BD-69FD02400C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$162C57E8-E48F-4611-AAEC-2D6855E8C98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21343c34e2ab8c20ef0fea79939b521957ecff7c","datavalue":{"value":{"entity-type":"item","numeric-id":5897487,"id":"Q5897487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$CEE17470-B1D2-4DDD-8E17-9A3284F5B28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$9A8EAD7E-0866-4E2C-8EBB-E6AE4D4BCD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$35F815C8-3834-403F-B902-5132861E1331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5142c6ec67e82aa4ab1465a9835a95c76bf8758","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$EA5C6A27-D0FA-4149-A1CC-205E492D7345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$237A443E-A6A1-42F1-8438-B09AF4BFE840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$0728AE41-8088-4C80-9B65-2CF37E645BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a266e0e9078f4d9f3bb78cbcbf63c2d0f70b33","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$EB855EE0-D771-4B08-85BD-B542D9275531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$E54B25AC-4025-47FD-93E3-A3E028353674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fc139186980597c456d0e6ea71cfff05086c9b","datavalue":{"value":{"entity-type":"item","numeric-id":414899,"id":"Q414899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$1070E297-9522-450E-9540-09916A231F0A","rank":"normal"},{"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":"Q898612$9EA10044-16A3-4A01-B45B-963F2C88CE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"586a71b3d8db60ce23a83c6632d862c95fd7cfbf","datavalue":{"value":{"entity-type":"item","numeric-id":3394898,"id":"Q3394898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$F2646271-960A-408C-BD77-5AECCBE365C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$0E688A16-E592-46C6-A003-751EA1F037ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd035a66cb19ba547398f561975aea67f8e32a3f","datavalue":{"value":"10.1016/J.JLAMP.2015.09.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q898612$FDC72C2E-464C-4346-9BFC-BDF997151BCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58659ca45beac2b2c996de88180dce699d21b514","datavalue":{"value":{"entity-type":"item","numeric-id":2206253,"id":"Q2206253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a96da89bf53608cae95a5c8c8c89e0fb208c4bc","datavalue":{"value":{"amount":"+0.7665329575538635","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":"Q898612$9A8AC76E-8591-438F-AEF0-306C3E2DED78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fda44269a27a7c77d5d4512d7a50c3a2749e3b","datavalue":{"value":{"entity-type":"item","numeric-id":4737099,"id":"Q4737099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a3840ef6e4dd55490efe8c1045013e55f77f0b","datavalue":{"value":{"amount":"+0.7640092372894287","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":"Q898612$9D04606D-6002-4746-B468-AEFDA9AB5138","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":"7483639ba907d429777b77aa55cca8554a3613fe","datavalue":{"value":{"amount":"+0.738080620765686","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":"Q898612$4A089B54-66AB-45D3-8FA1-C2CDE4BA814C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b84cd2fd4ef531de42cb0d5595e8ab60405d8e","datavalue":{"value":{"entity-type":"item","numeric-id":4737049,"id":"Q4737049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7794605e904bfb2f70061fb200d4e072544559dd","datavalue":{"value":{"amount":"+0.7327702045440674","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":"Q898612$E1D6060E-15AD-49C5-8668-392DE5ECFFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6139519929d74057337ff0f1def3bd12acfaf1","datavalue":{"value":{"entity-type":"item","numeric-id":736801,"id":"Q736801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f3176205d3e2e9ae26b72ea8d07da7664f3dad","datavalue":{"value":{"amount":"+0.7326892614364624","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":"Q898612$D4D5E0CF-CCCA-4F00-9CAB-B8305BB7142A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q898612$CA119851-ED7C-46C8-9ADA-B673FC29B120","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Product line process theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Product_line_process_theory"}}}}}