{"entities":{"Q518394":{"pageid":520161,"ns":120,"title":"Item:Q518394","lastrevid":62444376,"modified":"2026-04-11T06:08:02Z","type":"item","id":"Q518394","labels":{"en":{"language":"en","value":"The spirit of ghost code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6697745"}},"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":"Q518394$8CAE5783-A4F9-414F-BAE6-5FFF1BEED3F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfd4307baa0ec61275a0b5a244cd21bc9f6ac20d","datavalue":{"value":{"text":"The spirit of ghost code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q518394$2FD32F6E-DF13-4399-9BCA-E7109B1BB8A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68ac7c19bca07b85b315bc9d3d1ae8a14b160ab8","datavalue":{"value":"1358.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518394$428A9144-369B-4AB6-8481-66F097AB80C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5151e47b3481ef47c9a033843060abd7b1dc0f3","datavalue":{"value":{"entity-type":"item","numeric-id":352949,"id":"Q352949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$F3DCEB8A-65C3-42C9-AD38-FDBD13A4AE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b71e88285d60bde4f6ad6634d1787a6e8fc11f25","datavalue":{"value":{"entity-type":"item","numeric-id":518393,"id":"Q518393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$48A0C0EE-00BB-426F-857A-33215C43E641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec54547b4f5c25170660bf9ec332f673814ae34c","datavalue":{"value":{"entity-type":"item","numeric-id":287383,"id":"Q287383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$D9CC98F9-3784-4DAC-9AD5-C0283ADC98C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$619DA093-579E-4CC5-98D0-39DCB74F0798","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b1176cdd607c21645d7c2ae40c91c6f83a8c91f","datavalue":{"value":{"time":"+2017-03-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":"Q518394$05E5C9D4-F181-4F8D-9C2B-BB0649688215","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518394$9C9440DC-5E99-4F6D-A113-4D08F73BFEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518394$FCAFFC27-48F9-4C83-823B-127AFDCABE09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7505851e24ce3d28885432c6958318e01faea99d","datavalue":{"value":"6697745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518394$2FE9FA68-ADD3-43BA-8409-867F202E6007","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"650ec247fa642d29273c4c98847dec0a481d44bf","datavalue":{"value":"ghost code","type":"string"},"datatype":"string"},"type":"statement","id":"Q518394$0EF75A35-C756-49C5-96E2-A9FAFE34E544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3057088dc8f72f086891af1e0485b2417037bd9d","datavalue":{"value":"deductive software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q518394$BD44840C-EF8B-4D77-AD7E-E1E511A5BF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ace784b1bf6b3ec86687dceb5e087ed5c12bfdd0","datavalue":{"value":"Why3","type":"string"},"datatype":"string"},"type":"statement","id":"Q518394$915F02C9-0CE0-443B-8BC6-8BFFB8AF291B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$95C37141-D770-407B-BC18-784BE3B96B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$6FBFC691-DD1D-4578-9725-70805A86336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$B3ED157A-DFF7-42A9-8C5E-D3855247283C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$BCAC7FFA-82E4-49D6-A58E-074ED7C3A91B","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":"Q518394$5AA2A063-760E-44E9-8DA4-6E2DCBD2169D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a9d993c63ba44a88fb754c24182eaea3a9b4781","datavalue":{"value":"https://doi.org/10.1007/s10703-016-0243-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q518394$E422A31A-EBFC-4A20-BD99-6DF818B29C2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"300f681c2893cdc2d918962f944dc7ab2cfe410f","datavalue":{"value":"W2318327664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518394$D2327814-2566-4650-96C8-93A4631A6E3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$2548C7D0-7B56-4D08-8ED7-A273C00DE338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9971a8b9ead8fccd2d646b5dfe136f3be07427a","datavalue":{"value":{"entity-type":"item","numeric-id":4134927,"id":"Q4134927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$54991C8B-0350-4DD1-9FDB-D554E86AD8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$7B6E146D-64CB-44CC-A4E2-5FB0B30CA911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e044e9e3b21b228718f89e1b64de2c48e2e3f3d","datavalue":{"value":{"entity-type":"item","numeric-id":2875082,"id":"Q2875082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$7426C49F-510B-4A64-891E-D20EBC3AC7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$610AD2A3-24B9-4F69-B6BD-45A8B1B5F235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$DC09ED87-46EA-4380-A0C4-D078F6248C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$4658F875-62C2-4E30-B085-6E421F472E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690a2cf3538761a016ee7f2e7f9e1e7cdbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$61E6F660-222E-419F-BAE5-AB939630392B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$BDAFBD10-F4E1-422F-AB2E-3885A76AB9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac99736d07c065a26eb18ca18981b4dd3446eb3","datavalue":{"value":{"entity-type":"item","numeric-id":2898019,"id":"Q2898019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$21D9990B-AC72-4896-9368-8DF3861506EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dbf7aefd036132700ee76f6e8980c2e03bb831a","datavalue":{"value":{"entity-type":"item","numeric-id":2943356,"id":"Q2943356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$8E535E93-ABB2-4D33-9AC3-3264F9469658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6947c276ea0486d17b34d548d60077b5116d17","datavalue":{"value":{"entity-type":"item","numeric-id":5178916,"id":"Q5178916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$E24B1F03-8582-4BB2-840A-A33EE205F3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e02759ce8c8ae852d43a0e7634ebdc12071131b","datavalue":{"value":{"entity-type":"item","numeric-id":518394,"id":"Q518394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518394$1EEBAE28-AB0D-4710-B0A4-56E04676401E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f261441e2c9d067091a561ade5b8fa6f2a898d0","datavalue":{"value":"10.1007/S10703-016-0243-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518394$9313A37A-9866-42A7-8861-7DC5BFEC1C58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fad51ce4dd63c98038b47efebe26da4e1b5d26","datavalue":{"value":{"entity-type":"item","numeric-id":4885947,"id":"Q4885947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd004790e3e78e218d89b56f5ad3b26fe6bd1330","datavalue":{"value":{"amount":"+0.7875304","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":"Q518394$9CA5DA4E-A492-499C-B35E-3AABB3392ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3571378de446f534dc7f44f747f7e34eee7611e","datavalue":{"value":{"entity-type":"item","numeric-id":2861111,"id":"Q2861111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be10602dd107777282a1891fee24f571a68df37e","datavalue":{"value":{"amount":"+0.77474445","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":"Q518394$CB41E880-FAEA-470D-BBDB-0B02C743400A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4542ffbc99afea04390d33831f580814840589b","datavalue":{"value":{"entity-type":"item","numeric-id":1326723,"id":"Q1326723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4375392d676e41e5587c027df65d7df91dd917a","datavalue":{"value":{"amount":"+0.7504854","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":"Q518394$6AED5213-370C-4C85-8424-E95DC12451A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b6eeabc62faf3fe7d7b35465a793fd3ed87e90","datavalue":{"value":{"entity-type":"item","numeric-id":3518632,"id":"Q3518632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1727dea9ef50ed147b2add34a687a75fb9567ca1","datavalue":{"value":{"amount":"+0.7484252","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":"Q518394$34E20ED6-2D77-4E7A-8AAC-E1C1F0965065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a04dc4c0a17b48bf63566c347ab24642112aa9ab","datavalue":{"value":{"entity-type":"item","numeric-id":5199034,"id":"Q5199034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45a713a3de1e8068bf4623c371542174aee8410","datavalue":{"value":{"amount":"+0.7465558","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":"Q518394$D5B93A84-BF11-4BED-B4B9-5F428E7709F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f854dbbd88087bcdb9241dccb41aa3ed0fe749","datavalue":{"value":{"entity-type":"item","numeric-id":2361271,"id":"Q2361271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef1a827b9e7d7e2dc5e4def4935f1f26f1fd0ac","datavalue":{"value":{"amount":"+0.7400623","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":"Q518394$BD7D12FF-D50E-4BF3-B187-F143C952F73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c039ad96bc052f138d89c44b1949755c0f91bad1","datavalue":{"value":{"entity-type":"item","numeric-id":3413890,"id":"Q3413890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4472a62e4a4b4dbc1026f140eb58941493773ee","datavalue":{"value":{"amount":"+0.73623586","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":"Q518394$6268CA93-6738-4BBE-BF14-6405D06BBB0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The spirit of ghost code","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_spirit_of_ghost_code"}}}}}