{"entities":{"Q4923384":{"pageid":6952966,"ns":120,"title":"Item:Q4923384","lastrevid":51732635,"modified":"2026-01-19T18:01:28Z","type":"item","id":"Q4923384","labels":{"en":{"language":"en","value":"May testing, non-interference, and compositionality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171402"}},"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":"Q4923384$656A2D10-13AA-4BC9-B15C-B1A1F08F4B42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee58df0e8d7f41446b2631fff7d2990ad3399371","datavalue":{"value":{"text":"May Testing, Non-interference, and Compositionality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4923384$2109CB1E-225E-4927-97D6-E8C5304044DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bea84429342515f1b2ec97a3f485ec7154e82b5","datavalue":{"value":"1264.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923384$89250B69-37A1-4E25-8653-E875DE5B3F97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8709fe2a423a254b2a5c5f236d163dbc712607a5","datavalue":{"value":"10.1016/S1571-0661(05)80064-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923384$335D431D-54BA-4845-B687-B4DD7BC2E256","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":"Q4923384$EA57D50D-B61B-49B3-9E39-8FCB9E38FC08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4923384$1B091D6F-15B3-4164-99A2-4B06F504D107","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923384$8F8FB25B-C837-4340-B132-1361FE011E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923384$F8CCE5D5-5D05-479C-80BB-B7C96F4C03A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923384$C3AEEBAA-A76B-4AD6-BDC4-3585FCD417AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d6cf444d6b0b2f5ce4602a0c8b66e64d2c2a47c","datavalue":{"value":"6171402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923384$F5A11697-07C3-4816-AD74-D231CEA83CA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf760af8264fe1b213073283cef0a10d170b64e","datavalue":{"value":{"entity-type":"item","numeric-id":293166,"id":"Q293166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923384$C44FC090-5411-46A9-AB16-1440DE95C141","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":"Q4923384$34310284-BFE5-4F35-9754-7DE0FBCDCFC1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1411127a94355b0c8b601625670bb2d349d1c445","datavalue":{"value":"Q60173610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923384$481E3E9B-D500-47CB-AB76-B33CBF9E76E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dec0b0e7666406d2ead6b70adfd641079e3f0b4","datavalue":{"value":{"entity-type":"item","numeric-id":1329195,"id":"Q1329195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923384$D0EB1218-3D62-4D85-B69D-1D7895C92A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923384$42500A68-675C-4DFF-9084-E4A48AD4F5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923384$8F2EF985-4089-4B09-A922-AB93EE492103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ecd39f927ba2e29cc15b7c3fed51bd6a608899","datavalue":{"value":{"entity-type":"item","numeric-id":2754161,"id":"Q2754161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923384$E13298AA-7971-4EC5-9594-1E79DA7BD244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516c05f43b68537a5c72310725dbfca17470f25","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923384$D1A5D515-6021-4E2A-8AD0-3D2C839F8311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ce33e7b79de385c7b6906025ca480ceb20c474","datavalue":{"value":{"entity-type":"item","numeric-id":826053,"id":"Q826053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923384$645EF235-4C7A-4E3E-93FB-2C963CA97B3B","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"1f9fe01ec0b818178072f9d228b590438e5929a2","datavalue":{"value":"journals/entcs/Schneider00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923384$B178AAFD-2CBD-4767-8C20-31A35258AEEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b90eb49c64c4f620b7190e024e159aac79e8eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1941887,"id":"Q1941887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8f7d823a04aec821a0d7b479e9a69f1b4373e1","datavalue":{"value":{"amount":"+0.764950156211853","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":"Q4923384$3F7259E5-F0CB-4990-8ED8-87AE3544F8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49713591421d542ac856c60647732701ed74a86","datavalue":{"value":{"entity-type":"item","numeric-id":4916055,"id":"Q4916055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff1dcaed86863a9e91c8fb22ac9cc722098301f","datavalue":{"value":{"amount":"+0.7474073171615601","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":"Q4923384$658F013C-16BD-4423-88E6-DE0D3E14B129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de636f508bbfc51f0cef38b5f56912694cd1bd34","datavalue":{"value":{"entity-type":"item","numeric-id":5394792,"id":"Q5394792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94eacc29bcdd939c18579ee6ee376cde6c04545a","datavalue":{"value":{"amount":"+0.7297391295433044","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":"Q4923384$0135864E-C4E1-4C86-B81A-FCC8A5A744BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14c2a9ffdbe3b908d7427834a24f16942a71da06","datavalue":{"value":{"entity-type":"item","numeric-id":432152,"id":"Q432152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1d339ddead0369129395afb09301d4cb36b43e","datavalue":{"value":{"amount":"+0.7272225022315979","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":"Q4923384$9627E01B-98F3-40C9-9122-D9404AE4CEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508b3f50a1bc845a7286cb66a16d7d0f187e3555","datavalue":{"value":{"entity-type":"item","numeric-id":5348913,"id":"Q5348913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2994b28ca4df01dd388b458d3d64bbaf81128811","datavalue":{"value":{"amount":"+0.7195749878883362","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":"Q4923384$BE303126-E5C8-47B0-9FE4-EC5F0717539E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4923384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4923384"}}}}}