{"entities":{"Q1749140":{"pageid":1759882,"ns":120,"title":"Item:Q1749140","lastrevid":69128652,"modified":"2026-04-13T04:58:00Z","type":"item","id":"Q1749140","labels":{"en":{"language":"en","value":"On the verification of architectural reconfigurations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868761"}},"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":"Q1749140$05602914-FD0F-4FDE-BAC3-83BA74369647","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55d785a61aec62d6393440af3e7de0b244638e36","datavalue":{"value":{"text":"On the verification of architectural reconfigurations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749140$8FB19268-A569-4929-AEE5-B99FD21D64DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaea5865926a7f689e719f6a284fc51cdd6a2544","datavalue":{"value":"1387.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749140$29C847F8-AB23-465B-AF97-E0D23E00ABA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3463df273e70fb782bb74b15747c9b61c0881319","datavalue":{"value":{"entity-type":"item","numeric-id":724931,"id":"Q724931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749140$5407DCCD-83EB-4DA9-BD07-BE4BED586A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f0dbc1128b7d5e84fdfeddda75e982f910c603","datavalue":{"value":{"entity-type":"item","numeric-id":1742619,"id":"Q1742619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749140$6B4E5C78-E06E-4DE9-AB83-EF1D5C17F1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e496c44b5055bef4634247acf22a71a3f156698","datavalue":{"value":{"entity-type":"item","numeric-id":994601,"id":"Q994601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749140$F0BC5098-7214-489F-A846-A4B672EF3827","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749140$3D2A3C73-7FF4-4D98-AC5C-A359D5D86594","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ea136133176b0e732e96c018d3bbea7a42c842e","datavalue":{"value":{"time":"+2018-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749140$77AC148E-9BA8-4524-851E-350EAC63D69F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"921c9bd4f848316ee121ffcd626aa4566b063c93","datavalue":{"value":"http://repositorio.inesctec.pt/handle/123456789/6311","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749140$6412820D-8012-4EB9-8584-A62D6A0E5D56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749140$929C451A-5577-4938-B4AE-5A8B05F362D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749140$E7445B4D-4E89-4B2E-BDFB-0DEF2099DB64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1646ac9adb4358c14a4835fcb148bfb851125b7c","datavalue":{"value":"6868761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749140$8A3440DE-5A1A-44A0-8F79-A8082951DEF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3566c3e0635669c708f8d9fed544b533340218a3","datavalue":{"value":"architectural reconfiguration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749140$56D7683C-FC44-4547-8342-47E245F5015F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e47e7be509d16cc076224a5ea14f830cffe2032","datavalue":{"value":"architectural description language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749140$4A179361-8E7E-4B0D-8498-E991653D887A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749140$AA890E78-AF14-4233-8CA8-15E988280D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"284810fcde9029edd24fe04c21bc0dcff20c9f8a","datavalue":{"value":"graded hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749140$9CEB7C62-A32B-47FF-8EFB-51F09F227D5A","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":"Q1749140$A5A9FCFD-41F2-4BA8-8034-19F33CACC52D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee0411d4894d29e28a01a459282022dd3f1f45c5","datavalue":{"value":"W1241911937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749140$37CA5746-CB60-4C9F-AEFA-435FB15B88E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa532b39e2f63041d655dd8a5262b3ce4ec7672","datavalue":{"value":{"entity-type":"item","numeric-id":2355385,"id":"Q2355385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749140$E01243EB-96B3-4E79-B320-DB9582F9FD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55bd3ad3b3f1c6705250d60e705486f1e0f66bb","datavalue":{"value":{"entity-type":"item","numeric-id":4275688,"id":"Q4275688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749140$5AF1A01D-4983-4B73-A7E7-696B4597EE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749140$057452DC-F92D-44B2-9C26-2962C97AF9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc8b00f4e2ea4686d14ed220356e35b4d4e053f9","datavalue":{"value":{"entity-type":"item","numeric-id":527171,"id":"Q527171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749140$FA5296A9-6AB4-434D-9F18-6821551644EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e5a7c348b78c650fc9974609d5be6a4e069ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4331846,"id":"Q4331846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749140$75C313E1-1656-4983-AEB1-F2C2367F15C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"848770421424f59b7889fb7b584b539aab93b512","datavalue":{"value":{"entity-type":"item","numeric-id":3396631,"id":"Q3396631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749140$19E14DBB-8C0F-4026-91B1-2C47FA37B50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3975b36ca6c71e5d04d124129914ac8a1057a5c","datavalue":{"value":{"entity-type":"item","numeric-id":4791828,"id":"Q4791828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749140$EFFE85F8-4A97-45F1-81BD-4C670E4AA02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bc87afc18a8c2b27cdf835bee87ae04c245e8b","datavalue":{"value":{"entity-type":"item","numeric-id":1951614,"id":"Q1951614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749140$F39B4EE7-B36B-4C98-8215-1C4519E0FC43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cf86f8434e453f75080337745b0b8f015843967","datavalue":{"value":"10.1016/J.CL.2015.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749140$E1AFEECE-264E-4382-BB25-8D2927EC8E07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f779069a03d7cfc36b73201a30afb7df3c6ae3","datavalue":{"value":{"entity-type":"item","numeric-id":4385178,"id":"Q4385178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e16e913c25d1186eae4db45db945ce2bd146ce97","datavalue":{"value":{"amount":"+0.8755825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1749140$3024CC64-BF4D-42E9-9607-D020B9238F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c2c14f72237860549681ca2e4282ab4f5cca39","datavalue":{"value":{"entity-type":"item","numeric-id":2699967,"id":"Q2699967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a6368136846f31868b85737c4226a7ceb919f1","datavalue":{"value":{"amount":"+0.8717636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1749140$F5A26D00-8B69-4D9F-A147-60C77C80D65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a0c5c93a3d9210049307dd4b22d6d0f1d52c14","datavalue":{"value":{"entity-type":"item","numeric-id":2024379,"id":"Q2024379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c1fa28a3aa520c03389ccddd341719c8e2b856","datavalue":{"value":{"amount":"+0.86426127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1749140$EF31E6CD-273D-4D3B-9CFB-7D274FBC6CC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the verification of architectural reconfigurations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_verification_of_architectural_reconfigurations"}}}}}