{"entities":{"Q1745866":{"pageid":1756608,"ns":120,"title":"Item:Q1745866","lastrevid":72890817,"modified":"2026-04-14T08:33:15Z","type":"item","id":"Q1745866","labels":{"en":{"language":"en","value":"The use of erratic behavior templates in debugging parallel programs by the automated validity verification method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6861425"}},"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":"Q1745866$5F4B64DC-5E57-4CE6-B0BB-EACFD97846B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c32fb3d64f8a0960acf1b2c41bb8ff97051a6bb1","datavalue":{"value":{"text":"The use of erratic behavior templates in debugging parallel programs by the automated validity verification method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1745866$4C4B7ED4-D46C-4A8C-87CB-027A5E4821D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2a4667316ff1e31683b02a3b516e5e755642645","datavalue":{"value":"1472.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745866$0D729393-83FB-47BE-8A5D-EE4C5EB39710","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65e70f9842055897e6e19c958a50c92e655816fc","datavalue":{"value":"10.1134/S1064230717040153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745866$11598AA0-D954-4C64-AF25-1E1ACE571175","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbac74f5561d56a736e6ab8ce811afe9ba0b7681","datavalue":{"value":{"entity-type":"item","numeric-id":1745864,"id":"Q1745864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745866$24B9AC42-6FCA-4F0E-8AAE-1096B1DE76D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee2b450c52308edf808cac746ea80431f114a8e1","datavalue":{"value":{"entity-type":"item","numeric-id":1745865,"id":"Q1745865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745866$26776885-330E-4042-BBC7-CAFD818DC126","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cf25ce818b85bb8b10c5d233e02ea9e0a830581b","datavalue":{"value":{"entity-type":"item","numeric-id":295575,"id":"Q295575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745866$38383634-39B8-4806-B29C-7C653BF1C975","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3c7d9692f5333e2f04da676c6d873cf90782793","datavalue":{"value":{"time":"+2018-04-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":"Q1745866$024CF19E-6304-466D-9589-C20861EA3592","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745866$09A6FA62-8DC5-4B7B-9A9F-C4217DE97A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745866$EB6B526B-B669-4550-91BA-6A45AD6D001B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76c87f1ff87d92ea4a2e83e60594d0e39a64d128","datavalue":{"value":"6861425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745866$6662BBF8-BE69-428C-8107-61619F341D84","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e7f3defde1d2673931f470e50c7bd81cc3021a03","datavalue":{"value":{"entity-type":"item","numeric-id":14024,"id":"Q14024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745866$075A0E39-A398-4BAC-A573-DD23D7185E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1d4175138d2871453ab9d5811491117ef5ebe0be","datavalue":{"value":{"entity-type":"item","numeric-id":14736,"id":"Q14736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745866$E2B712A8-D9A8-45AB-963C-E40EBCF6C19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ae88363a4104fa33d8d470f7de8981994e5e440","datavalue":{"value":{"entity-type":"item","numeric-id":21390,"id":"Q21390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745866$BF295E4A-A921-427D-A26F-549CB5AF1916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c2356fb1e44607a68c0c7fe98bb05a93c50eb7a","datavalue":{"value":{"entity-type":"item","numeric-id":41649,"id":"Q41649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745866$5CD162C9-B56D-4F94-8927-FEE9F753F9A9","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":"Q1745866$6D9D576E-3962-4735-92A0-2F43B47FCE70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4a104ba3aa82b7881539d0497cdc7097c1cb95","datavalue":{"value":{"entity-type":"item","numeric-id":4737814,"id":"Q4737814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745866$379997D6-46F3-4855-99C6-4DF3680B34E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc2c8c40659faae63f9e503ec8d0047e7544ffae","datavalue":{"value":"https://doi.org/10.1134/s1064230717040153","type":"string"},"datatype":"url"},"type":"statement","id":"Q1745866$1D723348-D2F5-4428-9940-A029DFE8A30A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a82f78fb29f64b6b9b16e49fbc669d07907bf15e","datavalue":{"value":"W2751483341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745866$882487CC-0937-4C32-BDB4-10ADE7E76BFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d0bbcf4330e88578be415c3949cbdfe5ab5e6af","datavalue":{"value":{"entity-type":"item","numeric-id":4813007,"id":"Q4813007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b580a579b873bcec2e91e69c8d059c9ed0cf1510","datavalue":{"value":{"amount":"+0.7536914348602295","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":"Q1745866$DAC80E79-CFB8-4C99-900E-0BAF7966CAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0533b2e0b71a4d593002aebfdba937e2b8de6467","datavalue":{"value":{"entity-type":"item","numeric-id":4472258,"id":"Q4472258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b874b724b32f75dd9cab8cf3e8c026618ff9d3d2","datavalue":{"value":{"amount":"+0.7305201292037964","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":"Q1745866$4569E1A0-9394-4380-ABA6-8494A6678639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b021dd94080ee97e3ca0b893d2512f46e73259a","datavalue":{"value":{"entity-type":"item","numeric-id":4242081,"id":"Q4242081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d46913e79d61a7680613e4015b530833da21ca","datavalue":{"value":{"amount":"+0.7277277708053589","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":"Q1745866$8960770B-E8DF-43D9-931B-BE9EC334F190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5042081f4a9359ce63ad7a8c723ccc9cfe640367","datavalue":{"value":{"entity-type":"item","numeric-id":4294559,"id":"Q4294559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"677870721bc571ac12bca2a3d721c38b6912b242","datavalue":{"value":{"amount":"+0.7252349257469177","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":"Q1745866$3FC7F62C-7432-4D36-8802-6E8641C0772D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d3ba2e6e5e1361ace684e95aec0deebe8844a28","datavalue":{"value":{"entity-type":"item","numeric-id":1059388,"id":"Q1059388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6ecd82c91335640745b71f271d1a632c5f4734","datavalue":{"value":{"amount":"+0.7225629687309265","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":"Q1745866$BBA4F52D-0E36-49E1-93A1-B29511CCA3C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The use of erratic behavior templates in debugging parallel programs by the automated validity verification method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_use_of_erratic_behavior_templates_in_debugging_parallel_programs_by_the_automated_validity_verification_method"}}}}}