{"entities":{"Q498394":{"pageid":500161,"ns":120,"title":"Item:Q498394","lastrevid":62419728,"modified":"2026-04-11T05:58:11Z","type":"item","id":"Q498394","labels":{"en":{"language":"en","value":"Multi-parameterised compositional verification of safety properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6485809"}},"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":"Q498394$1AF42BEB-87F8-4393-A8E3-B8C95927BE25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40c9790750d47bf14f9488beee2de0eb33a43f08","datavalue":{"value":{"text":"Multi-parameterised compositional verification of safety properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q498394$A0FD3FF8-E9FE-4F00-BA3D-44872CA2793E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0d7959c0d78f741743acea95e18fca0d21a5f56","datavalue":{"value":"1329.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498394$641146F5-8CB3-4492-A3FC-9919F9597B91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd14b852ffae792d7ca55281911b88a7173b6907","datavalue":{"value":{"entity-type":"item","numeric-id":498393,"id":"Q498393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$65407BA5-55DA-498D-B430-B750F569FEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65d4e57a48c349677dd808866c18a818af1e75e2","datavalue":{"value":{"entity-type":"item","numeric-id":386428,"id":"Q386428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$7CE69357-9F68-4658-82D9-F1AE0F56C3DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$3E3B5F7D-2923-4ED2-92C6-EE1D6D1DA6C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80128406092f538ae4a71c1daa4ccc6a1b36048e","datavalue":{"value":{"time":"+2015-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q498394$738EEA67-FF84-414F-B3F1-2A9AFED0A4A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498394$5415CBE6-91DC-497A-8FEA-39E52D0D4C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498394$C598F965-41B6-4B38-964B-8248FC00C823","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d12297e2c3384ffe410752976e134d2bc7cb9913","datavalue":{"value":"6485809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498394$69D3E948-A27C-43E0-A1D0-E0172832054B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9444b8224495bc3a0f450a750954c9373bb547ea","datavalue":{"value":"parameterised verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q498394$0608DFCC-3315-4D36-8FCF-9219771E5BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd76390aacc01c913d1d11af7cf88f55a3f7dbe","datavalue":{"value":"refinement checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q498394$411C2B4F-7BEE-4DEE-B81E-4C9E5B340E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q498394$878802CD-FD21-4440-8322-BC5AF7CA9DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q498394$4955D853-7A7B-4B14-933E-A79AD25412A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q498394$A270112E-614A-4B9B-82EA-AD9C769B1979","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58012661cd5902d08c1d307a106ffc22f40d0c6b","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$7EE5CA30-8601-4E86-A52A-C9DE54FB8636","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":"Q498394$2E24E511-D50C-4806-9C77-B9B63722AAE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"430faa4424fc7923cdde9b67678bdbe1d8f1d9da","datavalue":{"value":"https://doi.org/10.1016/j.ic.2015.08.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q498394$7D66A42A-8AA2-43B8-968E-08294240F7D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c19833e878956979f8cc1596669700925e92791","datavalue":{"value":"W1649347715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498394$353CCEF3-2A35-4A95-A1C6-979E790FDFA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$DED9D2C3-94F7-420D-90F9-03CFEDDE0578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$025FA5EF-6366-4D3F-9681-5722F6264A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$FFF1EBFB-8B85-46F8-891D-DF5A1CFCCC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4acb92f5f977d91828d0f85575a2ecca384ade","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$32204A84-3F81-4706-9D91-7DDB18A3D020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629f0d98aaa935fc69136e7996206257ff744c71","datavalue":{"value":{"entity-type":"item","numeric-id":5311479,"id":"Q5311479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$53E64D68-3FC8-4C32-8786-120114C5EC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$688A1E2C-4EA4-43FC-B415-87B6A1013150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681769f62f1bdff8943148c499843c2eab2b1896","datavalue":{"value":{"entity-type":"item","numeric-id":5311266,"id":"Q5311266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$2BDD0F98-360A-489D-BD9C-36387FE2DED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3675b5c0c7a82ed12ae8ee9060e9d4fb8b0804","datavalue":{"value":{"entity-type":"item","numeric-id":4472243,"id":"Q4472243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$DA20B0C1-7B71-4388-86D9-F90000895FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ffb34a749312d4fd0afec92cccf7c98cc6cdc03","datavalue":{"value":{"entity-type":"item","numeric-id":5897071,"id":"Q5897071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$25EE0A1D-C4B4-40E9-BDBE-AA1C52BC6532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c494478ffe2924706bba9f44d60603633045dae","datavalue":{"value":{"entity-type":"item","numeric-id":2481584,"id":"Q2481584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$F6D90F01-4503-4618-B170-BD0DE2D4AFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f2f3e32b730a1afbfa6597f16ef5ef9f093f3c","datavalue":{"value":{"entity-type":"item","numeric-id":5898614,"id":"Q5898614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$AB9EA618-1F9B-48CE-9591-E9204F623BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a22f3ef20f11108b2416e81f5c1a0ef4c09783","datavalue":{"value":{"entity-type":"item","numeric-id":5458319,"id":"Q5458319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$89A01243-B24A-45AE-B1B6-98CB8E150FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f2de53b1bf73e880cd8935ca36395fbd675bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5900675,"id":"Q5900675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$BEA8CD7C-0C45-4E26-9673-79EA960DF2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d82128acc2608c1d89d29ea599f1290c7146053","datavalue":{"value":{"entity-type":"item","numeric-id":5452606,"id":"Q5452606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$CB7ADC9F-A27D-4104-82A8-6C6039A69579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca74c1b4b01eb5401c8b784be60efc1c72a7ed76","datavalue":{"value":{"entity-type":"item","numeric-id":5312894,"id":"Q5312894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$7F352A18-0749-42D0-B041-A91434741F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555e70759b9d3f8c50939cecd8cab09c5fff9e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4472236,"id":"Q4472236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$CD7AA16D-DA55-4163-83AE-9BF3B2F55400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$54CB8539-4D9E-426D-A76F-C5FDA2BEA85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8079d7657d15a5a26ff5e887664c7f7c7e066426","datavalue":{"value":{"entity-type":"item","numeric-id":5703797,"id":"Q5703797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$C776E456-2575-44C7-9777-A6E4D11F77E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b34230d6df626c64dad187f872ce2d2c543952","datavalue":{"value":{"entity-type":"item","numeric-id":3081445,"id":"Q3081445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$CF8A284F-F1AA-41F2-B9B4-6451D2B04BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$E9318405-FE6A-4E6D-8BBE-496C137662F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212facec6bd7d37fb7b0ed31be29aa336a54f336","datavalue":{"value":{"entity-type":"item","numeric-id":673911,"id":"Q673911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$F5EEE590-AA7A-428A-8B43-A5B7BBE535D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4c31746727041f1ff1157480ae7fc11bf88dce","datavalue":{"value":{"entity-type":"item","numeric-id":1891157,"id":"Q1891157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498394$95E034B4-15EA-461C-AA85-2B907781C050","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f10b1206d3a2023d8b0e401376dc34ff11fd160c","datavalue":{"value":"10.1016/J.IC.2015.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498394$6D43EFB0-0DC7-4900-8E2D-BF7EF61BBCE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f479fbb7fcee580f1c74a8a2d9e1b87037f61847","datavalue":{"value":{"entity-type":"item","numeric-id":2368952,"id":"Q2368952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827b11f76a699066026611857177a3945147e18b","datavalue":{"value":{"amount":"+0.8283171057701111","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":"Q498394$7D76B7FF-E5DA-4327-97EC-7F28938456B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf050f6dc020970dc21f6588e2df8bc4f5c5159","datavalue":{"value":{"entity-type":"item","numeric-id":4417935,"id":"Q4417935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d9559fe9dedac279ece24a90d71f1d2c31f5a6","datavalue":{"value":{"amount":"+0.8272942304611206","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":"Q498394$008764D9-C744-4154-BBC1-829B02199B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91fa8a0c4336e646769ad9d9c388805218b1918e","datavalue":{"value":{"entity-type":"item","numeric-id":4472240,"id":"Q4472240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc93bccdb6b7f342195766533d1739a6981b970","datavalue":{"value":{"amount":"+0.7993407249450684","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":"Q498394$598526B6-479B-4B78-B178-02127C9D4E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3153dc0c5d9d705ab477259c5095a8bcaf5c50e3","datavalue":{"value":{"entity-type":"item","numeric-id":2926658,"id":"Q2926658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff99f2a05491502bc1cb7d9790775fafb997d66","datavalue":{"value":{"amount":"+0.7735161781311035","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":"Q498394$8882E5F5-FFB0-4307-9887-835895E9674F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fed8dbc0dc724230c4d614bc4e81dfefb1a6b7c","datavalue":{"value":{"entity-type":"item","numeric-id":5452616,"id":"Q5452616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04c8e428e615c5b95afebb0f3c170a68575f8d5","datavalue":{"value":{"amount":"+0.7734694480895996","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":"Q498394$6D3E6A1B-E386-41A7-BB3C-B165D18DC7B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multi-parameterised compositional verification of safety properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multi-parameterised_compositional_verification_of_safety_properties"}}}}}