{"entities":{"Q609017":{"pageid":610793,"ns":120,"title":"Item:Q609017","lastrevid":51138638,"modified":"2026-01-16T21:29:09Z","type":"item","id":"Q609017","labels":{"en":{"language":"en","value":"MAVEN: Modular aspect verification and interference analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5821049"}},"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":"Q609017$C78358D6-4749-4B55-8834-E40C87A7264A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52de4b2ca24896a3abd586ca018e6744b450ae56","datavalue":{"value":{"text":"MAVEN: Modular aspect verification and interference analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q609017$1797EB09-9115-4F3D-906A-421375161875","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fc9005d86c3f89a351a3e2211ec7a0b509080a1","datavalue":{"value":"1207.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609017$4C7C81F6-1EAD-42D5-8806-97A7CEB3B974","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0786848acfbe183791009e4cf99997778551acb8","datavalue":{"value":{"entity-type":"item","numeric-id":609015,"id":"Q609015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$3FA5780E-EFE6-41A4-9E79-01B49A81F87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30287ba244ba24153b176057d73283574cc0941f","datavalue":{"value":{"entity-type":"item","numeric-id":609016,"id":"Q609016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$1E96CB44-9BC4-4B6A-AB0F-5EB8266B0891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9568a61c55802ceda18ea5e885b2fc3da9204e0c","datavalue":{"value":{"entity-type":"item","numeric-id":340039,"id":"Q340039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$193DB03B-266A-426D-B112-E4BAA1E431AB","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":"Q609017$CD54F293-7F24-49C9-A046-5C8EE4265AF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d79904792f78d2cc73c1d1b423fae3a75299b4a","datavalue":{"value":{"time":"+2010-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q609017$A08DC6B2-ABDB-459D-A134-540E68CAA1D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609017$5C76B6D6-592F-4F06-AB51-4FA2497A3B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609017$83BB2513-7623-49D6-933C-7C7C14B79993","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff9d24ae3588a7b3ee6766d4c371f4613f1b50a8","datavalue":{"value":"5821049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609017$AFFD1BD2-0A2B-41AA-A6BB-8D80B1AB92AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q609017$9A59444D-03B3-4616-B1A6-1FA2C1249F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9535d52961eb4e15cadd05553564e4aac55168f","datavalue":{"value":"aspects","type":"string"},"datatype":"string"},"type":"statement","id":"Q609017$7E5DC1F2-E3A4-4B40-900C-C36793E15902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q609017$DEA3E974-2B23-41E1-818E-3B740B4DDBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q609017$B5D9144A-9222-4845-8E52-D18686D161BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf2cfbc6e4ef9d6558d9f0ed6d4633eea496912","datavalue":{"value":"interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q609017$6F8706E6-B2AB-4850-8C3D-6023235FAEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb30ce01c7fef0458eec38b585a0ae613d7a304d","datavalue":{"value":"detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q609017$D2984A4A-E594-47B9-A89D-F01BC25E4A6E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$F3CCF81F-AC59-44E6-B353-E20E7EBD50BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7829cc13ae3989cc1c0108f19b9d35747b5ad4a1","datavalue":{"value":{"entity-type":"item","numeric-id":16602,"id":"Q16602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$AAB17505-F191-4E0B-9A70-0D4AFF45156F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$9DA5A2E5-E556-4476-A856-0A71AB7C1302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f001eb735991a93b9abcf6784d2099d4ede049e","datavalue":{"value":{"entity-type":"item","numeric-id":19681,"id":"Q19681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$209C42BD-82A1-412C-AA24-CFBE99D4F992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$E7A56661-FB52-4664-8377-001FBB3C1F73","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":"Q609017$EB46D43A-0E41-4AD7-9DB5-ED034340CFEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e80144804bebe8def46f499552b6d6f375e241a3","datavalue":{"value":"https://doi.org/10.1007/s10703-010-0101-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q609017$B518CC23-DB7D-4EC0-BFFC-F3BB98F677B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c15a4bd566f1fe1cdcd1fd43bb75c0fdacbe22b0","datavalue":{"value":"W2101082290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609017$15B94037-6625-494F-BF46-D743F73DA0CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0662e84b582f303e195cd1c71939304ef423cf70","datavalue":{"value":{"entity-type":"item","numeric-id":1770359,"id":"Q1770359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$713D867E-339B-442B-81E8-B8F667303215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$1C5AF324-A81D-4693-A267-399CF70A7C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39baa8ae7ba81a618958b1612caee5a01b3f45e","datavalue":{"value":{"entity-type":"item","numeric-id":5758114,"id":"Q5758114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$2C04A3F1-F781-4380-93AF-BCF0DB0B7782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066a4dd642c777165b5519aededf1e744d2e70dd","datavalue":{"value":{"entity-type":"item","numeric-id":4791830,"id":"Q4791830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$BFF645E8-2308-484F-A856-01E47667F981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d8c0e22cc6d5b8f5e5b95e505b643a065a9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$D3C609A1-E239-4EE7-B15C-5E00CFE429F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c12190d6ebc7c0819df36ae102a19727592618b","datavalue":{"value":{"entity-type":"item","numeric-id":3634732,"id":"Q3634732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$3CD9EB16-E0CB-46FF-9952-AFDF62B63E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4fdec8910763dbb3c73b3c60615b06513620003","datavalue":{"value":{"entity-type":"item","numeric-id":4474744,"id":"Q4474744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$D90EFD7D-56BE-4B93-B2C6-9986CEC5AF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda84f1186bec09435dfc877a73fb4609acd616b","datavalue":{"value":{"entity-type":"item","numeric-id":2779263,"id":"Q2779263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$73917458-2C6A-45B1-B984-4B8C933E9481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609017$F38AF9EE-BA4B-4374-BC90-216DA635855C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45504c0d789170052736df9f2b2242fb59dce1ef","datavalue":{"value":"10.1007/S10703-010-0101-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609017$7EE1E282-6EA5-4E1E-8BAB-525C8CEDEA2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2586dfeb97e1edc274df7fd1f8dfb72d921f0def","datavalue":{"value":{"entity-type":"item","numeric-id":5758114,"id":"Q5758114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4363ff042ca985e31720b0b227382c79fef3d8","datavalue":{"value":{"amount":"+0.9706893563270568","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":"Q609017$DAE238B4-12FA-4CD8-A298-8544CA670143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2171dd1654005c9d0f1829434c5c8bb687c83a","datavalue":{"value":{"entity-type":"item","numeric-id":3630178,"id":"Q3630178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0f1c559781236985ea28fcb8b45090377d40f0","datavalue":{"value":{"amount":"+0.8488907217979431","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":"Q609017$11906AF6-2E61-424C-9F3D-8749CEA844E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd76148f147bf6e97e0d825ef24df0d382073160","datavalue":{"value":{"entity-type":"item","numeric-id":5716894,"id":"Q5716894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed9b03f349959f5742457c4c37e175f215f97f4","datavalue":{"value":{"amount":"+0.7545456290245056","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":"Q609017$34FE6C6D-57D0-46AD-9DF2-91B3A119796C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a84c457fb1a45af6519120322a2a1d809c4afc","datavalue":{"value":{"entity-type":"item","numeric-id":3634732,"id":"Q3634732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965d79c79d834c999b0aff763aeb930037adbb26","datavalue":{"value":{"amount":"+0.7285611033439636","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":"Q609017$6BF74E22-F2FF-45C0-8074-E5D47E12295D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbf1e702419622d4402c59a0af2a61d58340d31","datavalue":{"value":{"entity-type":"item","numeric-id":3636799,"id":"Q3636799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca593509b87d24d9299d0dd990fdc10371d7e6c","datavalue":{"value":{"amount":"+0.7224472761154175","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":"Q609017$198E1281-5865-41C8-987E-EBDBE3F671FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:609017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:609017"}}}}}