{"entities":{"Q6535972":{"pageid":14147115,"ns":120,"title":"Item:Q6535972","lastrevid":55605004,"modified":"2026-02-17T19:36:00Z","type":"item","id":"Q6535972","labels":{"en":{"language":"en","value":"APML: an architecture proof modeling language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817402"}},"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":"Q6535972$D4DFD306-0BD1-46DA-BAB4-A28BEDC2B5C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"782303af3a324139cd27d6057593fd4e27ea76b5","datavalue":{"value":{"text":"APML: an architecture proof modeling language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535972$6F7AA9C6-BC34-4529-82E3-52946805BD97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db065f4a3bb12aba1e9236f6ad6661dc3acf82e3","datavalue":{"value":"1539.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535972$187E1DB0-DCD8-4739-AB9E-E23CC1D408BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe1aac8ae8d05f7d2175232a19dafb19194bd9f3","datavalue":{"value":"10.1007/978-3-030-30942-8_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535972$734EE36A-5BB7-450A-964D-DED8D231BCAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"245abfbd2ebe086645d2ffa7659eff42aa6961a0","datavalue":{"value":{"entity-type":"item","numeric-id":1675794,"id":"Q1675794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$56EC7CE0-0BCB-4EF7-9BCC-C24930C0F170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"103f0fa728cb39bdf8da3cdad582d6a748529b49","datavalue":{"value":{"entity-type":"item","numeric-id":6535971,"id":"Q6535971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$A072A2D1-629B-4860-A943-407C365A6074","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535972$43357478-9691-4E8B-AF0F-57F3912FE9D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535972$713386D6-9D14-4C41-9294-60CE1A76E9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535972$A90B492B-6E75-452E-99ED-DF814AC2BD06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3071cff2494adc38e2f5cb98cc2b2a3fc38a5ebe","datavalue":{"value":"7817402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535972$43AAAF93-C1F3-4F7C-9C3A-61A8F9D1385A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535972$853FF957-CF4E-42BE-B3FA-3055CB6B0439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535972$5DDA7B49-C2D4-432B-9EB9-51EED76BC2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6577c24a9d1a5d21b266c1362c9184a29b7d9ae0","datavalue":{"value":"architecture-based verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535972$6B271539-E364-4947-B897-22A0CDBFAD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5acc242994a7c11d02bb28c058f3c8e1477d721","datavalue":{"value":"FACTum","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535972$C52E31C5-E4B1-466C-B720-7D3EBB50D1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535972$60E2C4A1-E8C6-4AB4-98FD-767FB1F6F51F","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":"Q6535972$663F040C-F2E0-414F-AF2F-58A833A6567E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5ddc6c0766496c445e307e5e9c51907b2d428a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$B85C9FF9-590C-45CE-8D53-CC0CE66FFF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$2F64FDA8-5A3D-4125-8799-29E256536FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a655377852f4fbc1e40cdceec18686655bda680","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$FBF78011-B35D-4BD4-9010-8BC07DE14127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b0055c738699970bbe7f3231dfee16eb3acecc","datavalue":{"value":{"entity-type":"item","numeric-id":3512489,"id":"Q3512489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$4B0E9425-0B25-4DCD-9AD7-32C186AD9D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41624812d8d71a2609584bfe395043f6202e3686","datavalue":{"value":{"entity-type":"item","numeric-id":1654563,"id":"Q1654563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$FF5B6661-7970-4B71-81A0-64CBD8ADD73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf36fed0dff849b34ff7eb34e46eec7e1761e5bd","datavalue":{"value":{"entity-type":"item","numeric-id":4484335,"id":"Q4484335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$09808A9C-37E9-42AB-AFA2-E5B640B47B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$04502DE4-DF7B-4982-A2D5-1FF4F1FD8901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761764ab341e3c45ab12b1fd51baacfaf6590a95","datavalue":{"value":{"entity-type":"item","numeric-id":5946346,"id":"Q5946346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$06D192F6-9BD9-4515-868F-E441DEE4F8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7f1338ff1c097f3a44e9f93108c6828605e1d6","datavalue":{"value":{"entity-type":"item","numeric-id":5206947,"id":"Q5206947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$4175B4D5-382D-4541-A7F5-82E8542F5E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea00f9571a2f3eb35a08ae82329dd711da0dc8b","datavalue":{"value":{"entity-type":"item","numeric-id":2814613,"id":"Q2814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$EF321317-8E9E-476B-BA29-E2A459F6CA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e20cf0d3ef10806cba33f9e2cf4b10a57041276","datavalue":{"value":{"entity-type":"item","numeric-id":4621205,"id":"Q4621205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$57D371D9-081C-4EED-B6E7-D356C28CFA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83921c20a928161cdc23758015b5e361508049fe","datavalue":{"value":{"entity-type":"item","numeric-id":2324187,"id":"Q2324187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$267BAA57-695F-4094-B6E4-F660E3CC0AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1747c7443c92a689576d4c72da3bb0a0c57b021f","datavalue":{"value":{"entity-type":"item","numeric-id":3179403,"id":"Q3179403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$E11B2E58-DDB1-405C-872C-ACF6D35EB49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$92A5F6B8-90BF-4EC0-AFCF-C537AC9C8970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535972$D4D8AA63-9EA4-4F2B-B341-9D4123B8651B","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":"a0d6d6f871dc520dcefd2d0b812dca716187d9a8","datavalue":{"value":{"amount":"+0.7280402779579163","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":"Q6535972$144A437C-5B44-4EEF-96A7-54721A6EAE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"928ff939fe6773541cba8a58a43cc0bbcfa398cd","datavalue":{"value":{"entity-type":"item","numeric-id":2335950,"id":"Q2335950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c270fd1746868924c1cead14b6cfa6c74e0d71","datavalue":{"value":{"amount":"+0.7275683283805847","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":"Q6535972$8D8B561E-994F-4A90-B2E8-5A6A3F59AE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1134b9a1099cbc6a910c0be5cac20025382d6485","datavalue":{"value":{"entity-type":"item","numeric-id":2026799,"id":"Q2026799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcecd84757183032e98f90b7121ae565a6971ff0","datavalue":{"value":{"amount":"+0.716912567615509","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":"Q6535972$EC803207-15EC-40D7-9BB1-DF26B4AD63CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac40be4c0216ca48fdbbd018b40d48d20e04c780","datavalue":{"value":{"entity-type":"item","numeric-id":4329555,"id":"Q4329555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeedfc3b377bf7499e0610607c596014a7c7fc87","datavalue":{"value":{"amount":"+0.7160174250602722","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":"Q6535972$A020245A-E029-43CA-A1D7-29B53A6A392A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9e67fe9643af385a11c8161e55802ba0c5a379","datavalue":{"value":{"entity-type":"item","numeric-id":4471718,"id":"Q4471718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d60ce243bac7e07fe99f21006dd06d75c61869","datavalue":{"value":{"amount":"+0.7105445265769958","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":"Q6535972$EB21B9F6-2A66-4C08-92E7-30D75D446330","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535972"}}}}}