{"entities":{"Q6039396":{"pageid":13121142,"ns":120,"title":"Item:Q6039396","lastrevid":56668971,"modified":"2026-03-18T14:53:23Z","type":"item","id":"Q6039396","labels":{"en":{"language":"en","value":"Program analysis is harder than verification: a computability perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7682373"}},"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":"Q6039396$1DF43057-BF91-434C-8B30-9547EE82C134","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b452ffa8c4ff6335c222fbe40075252688efee5","datavalue":{"value":{"text":"Program analysis is harder than verification: a computability perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6039396$E36C48BB-C6DD-4B3F-9E28-8BD081AAA562","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afc6f5925eef049edb6c180c2cf5e8eabbb37ebb","datavalue":{"value":"1511.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039396$F9EAC9C7-4DA4-478F-B788-2B4E1C52E6B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d44121ba7b8db3d4065b13a4b124fb161cb9a998","datavalue":{"value":"10.1007/978-3-319-96142-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039396$03AC61EE-3010-49F0-A570-7B468A42B1FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039396$97CA6360-CEA4-49CE-901F-B4F263593F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039396$31E68DE9-6D59-404D-A80A-97B4FF2F9D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039396$1F5ACB90-4C78-4F80-8CCB-773587BF5AF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039396$C4B905E0-37DF-4A3D-AB97-3024AD76B07E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a9ffdd3d0278110160d03bdc1ac988576aaeda7","datavalue":{"value":{"time":"+2023-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6039396$E831A9ED-BF1F-4A74-8026-F44EE51F99D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039396$1DF2053A-83AE-4165-9F6A-4CCC7A13A558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039396$18BAC62A-CA8F-4AD7-8A77-CF7E35B83BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039396$5AE190C5-D1F4-4265-9166-A9CE35662BA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94f3252c53fd32ee0b7f03bc09f2a32528543d95","datavalue":{"value":"7682373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039396$DCF32C32-D3A7-4C05-8F66-F4C4401A24B2","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":"Q6039396$D7119FAE-8BC4-48C7-AA13-91658F5B463A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"670cf889d939917ae928ee9e0ae7c755dfe7be69","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96142-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q6039396$0A51762C-0FFA-4ADA-959F-74237F4AFE5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f77892548e9454d10581c5aa2d6267135b2e016","datavalue":{"value":"W2883500998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039396$B80BFE85-D543-4FD4-8352-2B80B194C6E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ab4c510ef083e83de4aa739e7989de6f525d9c","datavalue":{"value":{"entity-type":"item","numeric-id":4281545,"id":"Q4281545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bbf8fdcd91968fb53712f9b112fd93010290d21","datavalue":{"value":{"amount":"+0.87179697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6039396$32C3AF30-5A4B-46DE-9E52-61881511977D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34ba54a75409a2902c04421224b5f6bd7ce386c","datavalue":{"value":{"entity-type":"item","numeric-id":466002,"id":"Q466002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae507a4c14360c3fe59f02f7a2103692510fc09","datavalue":{"value":{"amount":"+0.867818","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6039396$355E2261-D974-4AA5-AE26-321C76AAFD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a660e4dceed4f556c6af12fe4bc3a62ec1c67ef","datavalue":{"value":{"entity-type":"item","numeric-id":3525156,"id":"Q3525156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a63e5dbc9ac0b719690d02f22bbe31635169e7b","datavalue":{"value":{"amount":"+0.86776966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6039396$12DCA6D7-AE4F-45A7-809C-366BB7592C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe603bd2816a7377c708a6d590b5e092b2b23d8","datavalue":{"value":{"entity-type":"item","numeric-id":2963953,"id":"Q2963953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6678168c06d6f52e9904c3e13b81c899f58396f3","datavalue":{"value":{"amount":"+0.8649752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6039396$13DA0583-8220-44D1-A0AE-7BEED9F113C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450f9f766a5c3c8d35786fe303890243742c71ff","datavalue":{"value":{"entity-type":"item","numeric-id":1733103,"id":"Q1733103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6877366cc4e7718adab5d2e1d04eed2ec86271a0","datavalue":{"value":{"amount":"+0.8643648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6039396$307D92B8-6375-48B7-ABF9-2CCA1FAF818D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b118c2ac436345e01dbbd5d7847afe9f16241e6d","datavalue":{"value":{"entity-type":"item","numeric-id":928673,"id":"Q928673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b63a731dcd60e153d9c7927b0d8915fc37188b7","datavalue":{"value":{"amount":"+0.863641","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6039396$F642706D-62B6-45CF-B3FA-E155346005EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d23bb3a37ca2a12a3bcd367720640c4dcc3a0ae","datavalue":{"value":{"entity-type":"item","numeric-id":466416,"id":"Q466416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993bdabd21baeaae368cb8179306b213c14bbedf","datavalue":{"value":{"amount":"+0.8620324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6039396$1A0C3F9E-E406-4E9D-8B93-370E308E16AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286621dceae39ed4c4865eaae2eefab2f27b11b1","datavalue":{"value":{"entity-type":"item","numeric-id":1316958,"id":"Q1316958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04b078c2b980f534298f4c5f1bc35613c2436da8","datavalue":{"value":{"amount":"+0.8620295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6039396$9210502D-AD0C-419D-81E4-CB69C8DB26E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf843fc562649d5f1d6e00070732b576086513d","datavalue":{"value":{"entity-type":"item","numeric-id":3654815,"id":"Q3654815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79cb99d8c9000f1ced74e34f6241105eb8e6786","datavalue":{"value":{"amount":"+0.8616255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6039396$A2E9E00B-0A69-4BA7-9B71-FEF523B550B6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039396$A679D4D7-BE27-4054-AFF1-E1E6A2E41A20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6039396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6039396"}}}}}