{"entities":{"Q3334049":{"pageid":3344757,"ns":120,"title":"Item:Q3334049","lastrevid":87985670,"modified":"2026-06-04T13:20:27Z","type":"item","id":"Q3334049","labels":{"en":{"language":"en","value":"The use of ghost variables and virtual programming in the documentation and verification of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3866553"}},"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":"Q3334049$06D44E17-FE98-4D54-9FC9-146FDB01F1EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9905f3310644c04566624424f181a2ce2286ec1c","datavalue":{"value":{"text":"The use of ghost variables and virtual programming in the documentation and verification of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3334049$937CA2E6-7A8A-44CB-A747-8B669200371E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e01e03714d47cb795e6430bbe6b8b1c2214f5326","datavalue":{"value":"0544.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334049$07D60710-838D-48E9-9248-F695C067E3D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf6ed44237c8a846b39f80fa5d14c2c303f7cd80","datavalue":{"value":{"entity-type":"item","numeric-id":676843,"id":"Q676843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3334049$406B29C8-0648-4C11-A845-762A323172FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"276d3f0861778f54778d231398d506dfb5bb2818","datavalue":{"value":{"entity-type":"item","numeric-id":3334048,"id":"Q3334048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3334049$1D98CD66-B94A-4829-9BD6-C87A92652E48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6bbb50f7f5b3cd8a52a9219fdf89800968ce21d0","datavalue":{"value":{"entity-type":"item","numeric-id":111603,"id":"Q111603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3334049$D4DA6B09-B911-497A-96B6-89AEDB45D190","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3334049$FC00A757-3597-485D-BDCD-FB59BAFDF37E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334049$A1242B65-CFDC-4160-BA7B-66FE38F6C7F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95ac07f51637fa2c066ab83ee9252cf0eb964169","datavalue":{"value":"3866553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334049$3E0EF7F7-3320-4CAC-84CC-2F4BE617A116","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41712e5be6d224190b4f00c2b1d84dbf3af82072","datavalue":{"value":"ghost variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334049$B289B6F0-2E63-4AD5-864B-A0D7802C1DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be4992cc321e08a1eeaaa88d2f556d5607308884","datavalue":{"value":"virtual programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334049$FB4AC5EE-65E1-44E7-B0A3-CCE8DA07176E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66404f0ef3876fe0760a934bc2c5e734c4f1f7f5","datavalue":{"value":"documenting programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334049$29511E63-7328-4059-85A1-D615E519C88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0854c931f59dd8a8f98409639cd6a025ae5d913c","datavalue":{"value":"high level assertion language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334049$B36F291E-BCB8-4D69-B85A-9CC16CBD4E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c466a31828be4527e6fa92732efebe73d5786789","datavalue":{"value":"verification conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334049$1BC6477C-D904-439C-89A8-1AA2378860AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83b7e96f007eb3a56d5885b03a7cea2baaee5620","datavalue":{"value":"Pascal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334049$4F94D7C8-FC40-4ED8-A650-60666ED4F906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334049$39958463-E3F9-4AD9-8F96-3B82B7448628","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":"Q3334049$358E5ED5-E4C9-4FB8-9B29-2E00E37C0E46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c50ad689dd5f24ae31c67e56d3fe9d2f610ebdac","datavalue":{"value":"https://doi.org/10.1002/spe.4380140803","type":"string"},"datatype":"url"},"type":"statement","id":"Q3334049$B7716BE7-9C4A-475D-9AFB-54611716B3F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db5efb296895567a749d2b131ac75eff065c082d","datavalue":{"value":"W1973659599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334049$C0ACAB3B-BFEF-4E9E-937C-8AFA4C4E4AF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3477490df849e79071a93402bc0bc37aa20068f","datavalue":{"value":"10.1002/SPE.4380140803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334049$BE7344B5-3BF7-4048-A46A-128ABEE2AAD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7326458eadb3773dab7e3ec8bf1f5a351e1182","datavalue":{"value":{"entity-type":"item","numeric-id":4551129,"id":"Q4551129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e43061a73c183be1e038c9336df5afbe5f736a","datavalue":{"value":{"amount":"+0.6943095326423645","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":"Q3334049$6E84F233-C2B8-4541-89E3-E6EAF2F28895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729044d297e39b03dab2cfb6ca2442c52d6bfb6c","datavalue":{"value":{"entity-type":"item","numeric-id":1183788,"id":"Q1183788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f929645966b7e71a04b6f03eaa57c4e3730f7d0","datavalue":{"value":{"amount":"+0.6903640627861023","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":"Q3334049$8FCF7D3A-C221-42EB-B744-F247A157787A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02bf3828ac32796b3903183c7173bf49ecceaae","datavalue":{"value":{"entity-type":"item","numeric-id":3316551,"id":"Q3316551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a561decefb4241142a1a43ddae7a043f6d780923","datavalue":{"value":{"amount":"+0.6893280744552612","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":"Q3334049$B74ED941-B77A-42E6-BB2C-5B2926D1B942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee371577c67d4b614a19df5ffaabc82774f74045","datavalue":{"value":{"entity-type":"item","numeric-id":4004235,"id":"Q4004235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e476765010008f6eca2f92df8d5f7d69f02e95","datavalue":{"value":{"amount":"+0.6864492893218994","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":"Q3334049$F51C6D72-6568-4EBC-BA69-F9ED4B5F8DD4","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":"04d3a29cf78ccfb49d686ff99a1049a627e65356","datavalue":{"value":{"amount":"+0.6859102249145508","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":"Q3334049$198A5D71-3F7D-427B-AA88-C963873D2ADE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The use of ghost variables and virtual programming in the documentation and verification of programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_use_of_ghost_variables_and_virtual_programming_in_the_documentation_and_verification_of_programs"}}}}}