{"entities":{"Q3539946":{"pageid":5569850,"ns":120,"title":"Item:Q3539946","lastrevid":80686844,"modified":"2026-05-06T16:46:14Z","type":"item","id":"Q3539946","labels":{"en":{"language":"en","value":"ASM refinement preserving invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5368982"}},"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":"Q3539946$17FE1A98-34F5-4A11-AE03-456FB609E3B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a797a82e3bbc7ba1f02c8c9bcf5d1875fa1ae46e","datavalue":{"value":"1217.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3539946$385B0265-020B-4580-A297-35F24357FB9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3539946$C60CED40-8111-4AED-9194-1F59D7999707","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d9fcd0e3eeb940e8e9af0297cab6f5ea807592e","datavalue":{"value":{"time":"+2008-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3539946$69033D5C-73AC-4C6E-93A6-803E5F7C8721","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6e5fa6dd337f8d156d0a491bf9ea97855768502","datavalue":{"value":"http://www.jucs.org/jucs_14_12/asm_refinement_preserving_invariants","type":"string"},"datatype":"url"},"type":"statement","id":"Q3539946$AE41F2AF-FBBB-46E4-B244-914FAD7B1E18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3539946$39E1D0EC-1496-4A72-8F91-0B679342196F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"633f049da90c4e77b5894246272c21e0c3cbb9c0","datavalue":{"value":"5368982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3539946$B20CC410-DC59-48FB-A206-A10FDBFAC1E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836c1cdbc0b9ddc8b99c5d1f428d818e5063db30","datavalue":{"value":"abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3539946$C3195542-8E98-428B-ABB5-5728F2E286A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dba865bee898ae35c4be10bc79d7c09bc76ad42","datavalue":{"value":"mondex","type":"string"},"datatype":"string"},"type":"statement","id":"Q3539946$661E861E-9B54-4591-B68F-47A94360418B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f52c99143ecd0cf7801700bb7965e577cde86e1f","datavalue":{"value":"commuting diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3539946$C211B103-3855-4DB1-A6AC-0451FC5790A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1657b9e302015499beb20eee5142470398e14a48","datavalue":{"value":"data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3539946$67D95375-046C-4AA5-8419-6231DB789E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3539946$B78492CF-2328-4405-822F-371A8A872A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82ba161ad13f5c5033b49ea0cddd14bf934a020f","datavalue":{"value":"electronic purses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3539946$CB13D0E3-7A51-4115-B31F-A22FA40BDD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f64b7570866e42dc41a4684c56c15d44426906","datavalue":{"value":"forward simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3539946$3FEB8488-3F43-4ADE-9B06-2FF84D49B049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3539946$D96B78AF-90CF-4AFB-8330-67F53A13EB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3539946$0B760421-2673-4674-A8FD-6309AA133ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q3539946$45E3E885-CEC0-4D7D-B653-291B3E7734BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3539946$AA27BB5C-AE02-42B6-9FA0-96097E02D5A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3539946$98277B1A-61E6-421B-BC2F-D745CE553729","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":"Q3539946$4E9B3DD5-33E5-4D04-B324-B0A2318256B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b1075ccf2d7ea292d196dc4831843b25c595dd","datavalue":{"value":{"entity-type":"item","numeric-id":706516,"id":"Q706516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70f9f544acc0777a82156045e6e4f003ba42b78d","datavalue":{"value":{"amount":"+0.8203659057617188","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":"Q3539946$ACBD0F0F-1474-4E1E-B51B-5577861D7B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"695f150397cea89bf437d5a9c337e07a0278c5e7","datavalue":{"value":{"entity-type":"item","numeric-id":5403462,"id":"Q5403462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae02dde3c59367c355e0768fcdb5e7f96b10f6b","datavalue":{"value":{"amount":"+0.7955785989761353","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":"Q3539946$890F5FB0-2A45-4C05-808C-F12CECEB25A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e1b7e47d4f9b23a69318f9612d838dab7501350","datavalue":{"value":{"entity-type":"item","numeric-id":2268472,"id":"Q2268472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0374c782fdfc3ee9d469b8bcef56ed5b233ee4","datavalue":{"value":{"amount":"+0.787612795829773","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":"Q3539946$EE3FD277-E1A5-40A2-9634-B742FB8FA7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8824ecfcacd1eec65de8241fc53a433b9f084482","datavalue":{"value":{"entity-type":"item","numeric-id":541210,"id":"Q541210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e1f06a7d040eec2766be80c75c50a61ba5bcfa","datavalue":{"value":{"amount":"+0.7823830246925354","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":"Q3539946$08570CC6-C28B-4ADA-86CF-60F54E226634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d5aefbb545bc7bbf646b0cf3f309746b17a7cac","datavalue":{"value":{"entity-type":"item","numeric-id":555790,"id":"Q555790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c90c6fd9ef8fadfba48980b6c390e23bff50796","datavalue":{"value":{"amount":"+0.7715665698051453","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":"Q3539946$E471532F-749D-49B3-9C21-FE2C8A771FD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ASM refinement preserving invariants","badges":[]}}}}}