{"entities":{"Q5178982":{"pageid":7208554,"ns":120,"title":"Item:Q5178982","lastrevid":100424153,"modified":"2026-06-05T22:06:04Z","type":"item","id":"Q5178982","labels":{"en":{"language":"en","value":"Compositional CSP traces refinement checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416539"}},"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":"Q5178982$F8D9B3A5-8030-458D-9B70-63068CBB003E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86e0837bb61db33e6c846c5c9b22fc4801546369","datavalue":{"value":{"text":"Compositional CSP Traces Refinement Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178982$36816A36-0346-46F5-8698-BBB79B1AB462","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"194a6819452697c7ed75775ab07596d2aa55453d","datavalue":{"value":"1335.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178982$F504CB1B-E1BC-4334-B687-2216D1D8FFE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bbcb6a51be542ef4c9b107d585f94d52d468fda","datavalue":{"value":{"entity-type":"item","numeric-id":3012963,"id":"Q3012963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$FADE79C9-6D2D-4D6A-B02B-114D88258933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec377ce736b6c6e493e8394b5df9bdb00d5fb01","datavalue":{"value":{"entity-type":"item","numeric-id":436355,"id":"Q436355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$BD623647-2991-4287-BE1E-800BB914B52C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$1D7E5F1F-B474-451A-8DA9-26A1D550AB87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178982$4A299903-4174-4D1C-B500-E0E76446686E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178982$FB1A6D5A-F135-47F3-AAC4-C70627779988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178982$5FAEF245-89EF-4097-882A-1545345023A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178982$3F03E1CA-5D5D-4642-8F1F-145FF92D71B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178982$6759B07D-7A95-4F31-B709-D6FA3574102D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71e7f09bf0e07225e6870d97c4d065400d4c2a3e","datavalue":{"value":"6416539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178982$B1B49754-0F11-4A40-86C7-EE995E57148E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178982$8303D2BB-E68F-441D-8DBD-11883F4F46C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"677f365aec193c36e005cdabd146419c65fbf061","datavalue":{"value":"assume-guarantee rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178982$52B2D9B8-70F9-447C-A347-6BE456EE5DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178982$B4E680E8-2C91-49BE-AEF2-BF90943C17C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ca76faeb672415cff41bbc3ad8454e227be1fa","datavalue":{"value":"learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178982$C186B53F-D17A-4E94-AB93-7B798E9E4CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178982$ECC00B3E-6B80-439D-A665-B2493DADB6CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9466f0b26c1dc8acd437f28f29f075bef564116e","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$3972A57E-AAAA-4385-B2DC-27CC89F8B47D","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":"Q5178982$242EDA08-BA88-4C77-9E5E-88368D4CBBA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05babbe4dad6ea9b4ca31b6e86b1013d5b4b3c5c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.08.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178982$A8965E2B-AB34-4A04-AABD-30CB88468129","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f8414ed47144925964f971ec4124fa455487d62","datavalue":{"value":"W2017623530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178982$98A7EFEF-62C2-4138-9B27-924DE75E94F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$92D5375B-8932-4A72-A4FB-AACFA926D623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7be545c35e3ad5c544a918892ae90433812d0b","datavalue":{"value":{"entity-type":"item","numeric-id":2849548,"id":"Q2849548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$73A36C5B-FAC2-4B4B-A76A-C702F2D7B366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$C41E22BD-B055-4779-9CBF-38FBCBDC286F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$3834AD5D-1C76-41BC-82B2-A24E0B67B2BC","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":"Q5178982$38CF6E6C-1896-467D-84D8-17768E226BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89579818d6e4d80a75d235c5b81c8830de4580cd","datavalue":{"value":{"entity-type":"item","numeric-id":931876,"id":"Q931876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$0499D1B5-FF17-4B95-B1FD-BA699C1FE7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$81C5B718-4084-4883-8EEF-302065EDEA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$0AD4D2EF-2488-4D8E-96F1-64B5E58DED33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$854072EA-A1FE-4D6B-A69F-A8EB852B2C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1dafc3f01ccb5786720a2526b847cd3aefa2af","datavalue":{"value":{"entity-type":"item","numeric-id":4804890,"id":"Q4804890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$BA2C111A-8B9E-462B-AC05-B3F0003763A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$05816A35-0825-4234-BB2A-9061C2AA9584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178982$EFD9DE6A-92F6-406C-9824-C6EB6E097796","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e67dfdd410d38430d333fe3186433f2537ef4756","datavalue":{"value":"10.1016/J.ENTCS.2009.08.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178982$AE140E60-A350-404B-BB01-31B49EC2163F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2277e536a691bbdc7d529657cc43d5222f39805b","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9e70e30b71f278b373e007016894e3e44fa0cf","datavalue":{"value":{"amount":"+0.7896211743354797","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":"Q5178982$30C1B308-5E10-4FC1-97D6-1F0A4E18EC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92352399aa1d6b6bcde4318d7c3f8904e98b5b33","datavalue":{"value":{"entity-type":"item","numeric-id":3512489,"id":"Q3512489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b592861b36bf476635e70408a7a0d0055e0d9a","datavalue":{"value":{"amount":"+0.7859312891960144","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":"Q5178982$E33B67AA-7A02-474A-B792-AE4934270D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60c2ca313a6cb60ede3bb494700554a7ac10a51","datavalue":{"value":{"entity-type":"item","numeric-id":934713,"id":"Q934713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2a111dde2fb82bac6b3dbf452110e0f6acacc8","datavalue":{"value":{"amount":"+0.7669320106506348","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":"Q5178982$9DF2B079-D55C-4A1E-B4A4-EA84B1F8F8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fcd3563b9925724c6e19b5fec069843398d3060","datavalue":{"value":{"entity-type":"item","numeric-id":5758115,"id":"Q5758115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bdd1ade62723b29552ec85c9b159d39985fea74","datavalue":{"value":{"amount":"+0.7618482112884521","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":"Q5178982$538B872F-8289-4B2E-B5DC-1158700EE889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4713b22089dcfb39aba365f723e953560ed05b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f307953017eafe1f3a6c28b9d1d9759cd8a38a4c","datavalue":{"value":{"amount":"+0.7605772018432617","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":"Q5178982$9FEBA172-A237-407D-B4C5-87E415701905","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional CSP traces refinement checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_CSP_traces_refinement_checking"}}}}}