{"entities":{"Q439714":{"pageid":441481,"ns":120,"title":"Item:Q439714","lastrevid":61837227,"modified":"2026-04-11T01:59:46Z","type":"item","id":"Q439714","labels":{"en":{"language":"en","value":"A formal semantics for program debugging"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6067072"}},"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":"Q439714$73423A2C-FA11-4714-90F5-B2EA24312F51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69cbbb53c7208e7c17db2b3d0e0db591aae01718","datavalue":{"value":{"text":"A formal semantics for program debugging","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q439714$1C49A8D8-3A87-47DD-BE77-3CF0BBB484EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0047aa4e0507304c2fca3b57b33f4d95d248af4a","datavalue":{"value":"1245.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439714$C70952D9-111A-4C36-97DF-2E473F22E640","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7b3ebf4ac97b0d8d1ac329b9977e8a8c87c3ce5","datavalue":{"value":{"entity-type":"item","numeric-id":351017,"id":"Q351017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439714$958D0D47-9343-4DB2-B35D-388559E0D912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e110d0e0f2b30a54e45f19fecb8e70ffb08bdda","datavalue":{"value":{"entity-type":"item","numeric-id":6649247,"id":"Q6649247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439714$20572C19-12D5-41D0-9327-2B9321E67FD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b603f6512fef6ae8133f8f1ff885bde2efd37af6","datavalue":{"value":{"time":"+2012-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q439714$78889484-F0E1-4AF5-9799-362B108C4051","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ad378b5bb153d4119703449bc66f65f1fba7289","datavalue":{"value":"http://engine.scichina.com/doi/10.1007/s11432-011-4530-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q439714$5B0A3460-1B6F-4554-965E-66696744F7C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439714$9C1AAABA-AAF6-4A04-B14A-7FA74070BE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439714$AC1C1D8B-632D-4D51-99E3-934C4FDAEE65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94c8129947a5136b6fa43512646785f6523db99c","datavalue":{"value":"6067072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439714$89B7A32D-EB32-4702-89AB-D1CD915D3BCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q439714$2A74351C-B92C-4FDD-8EEA-74FF45B60DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q439714$75FB7F6F-8D4C-476E-83CE-EAC4356A74DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be707744c92cd0d08455bd75294acf77d0346bd1","datavalue":{"value":"failed test case","type":"string"},"datatype":"string"},"type":"statement","id":"Q439714$B9CE9202-430D-4130-B3D5-8A697DABD084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51c575a436e4db9ae61d4fe014ba306a5f8563e8","datavalue":{"value":"fix-equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q439714$62636339-A78F-412F-A1C6-508D944CD9D1","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":"Q439714$909FDC6B-C2C2-4298-9195-8AFE032AA7E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d6d7885cb25460adb16b0a2bef7f0c569fd2c54","datavalue":{"value":"W2106910606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439714$1A0CA787-A098-4498-89AF-83B2D15AA7E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c0ad4b3e09eea1b3127519255dcf268aaed23b","datavalue":{"value":{"entity-type":"item","numeric-id":4023884,"id":"Q4023884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439714$C7CAEA31-EBD0-4BC5-85D7-96627D7CC77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841df77b5e5e2d994ab30d1be873a76e763763b2","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439714$E6390DAC-07D9-4629-8EAB-BF83AF159193","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5777f7df14d5f435a192d9ff4e3f70ba4901339e","datavalue":{"value":"10.1007/S11432-011-4530-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439714$53BAEEFC-9F37-4DCC-9353-315E1483F4FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e61521466efc69453d03c996ffe47614665c4523","datavalue":{"value":{"entity-type":"item","numeric-id":5018141,"id":"Q5018141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439714$4042A411-21BA-4555-95B8-B01A708687EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca37f50bdde62114d8da894f41ae725a0fa1857","datavalue":{"value":{"entity-type":"item","numeric-id":4737145,"id":"Q4737145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7344e1401ab919c5a28ebcfee891a28c2867d68","datavalue":{"value":{"amount":"+0.9147552","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":"Q439714$8CBEBCE8-C1B4-40F6-A867-36E085247664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bcdf4fdb7ab27b54011d22e0425631c3033ea7e","datavalue":{"value":{"entity-type":"item","numeric-id":4787239,"id":"Q4787239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d58e36b845cbf7b35fc5e697265e80d2690e7f","datavalue":{"value":{"amount":"+0.90690815","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":"Q439714$2ED7FED1-786D-4592-A153-4883CEDE1E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1957ffc09e9f61c1d2f2c86dabaf4cd0f211cd7","datavalue":{"value":{"entity-type":"item","numeric-id":4259962,"id":"Q4259962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741cd651765c911b7b0d89fd12c250ed10c62599","datavalue":{"value":{"amount":"+0.9061791","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":"Q439714$6947EA49-237F-4F89-BF09-C6027D8532D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df91e743906003348d465c0b1da0cca342270a8","datavalue":{"value":{"entity-type":"item","numeric-id":4929334,"id":"Q4929334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22dfe6aa45ca798178c98ec74b44b0f069a0e528","datavalue":{"value":{"amount":"+0.9030885","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":"Q439714$D2C1B577-6E99-4856-ACF8-0CD5B869B5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1963487ed0f1b0b68ccef19a06922ec03f01bf","datavalue":{"value":{"entity-type":"item","numeric-id":2841284,"id":"Q2841284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39370332e26f4e36fdd1faa503c964787277ae61","datavalue":{"value":{"amount":"+0.90254605","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":"Q439714$63CE7D3E-5EAA-4488-BE95-719853E8C3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e758bfcac0e1942492fb9482f5dccbbe6cbf7fe","datavalue":{"value":{"entity-type":"item","numeric-id":2348946,"id":"Q2348946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"533d0eaed299dcd83285ae1ecf534318d2b4041c","datavalue":{"value":{"amount":"+0.896683","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":"Q439714$CC226A42-8727-4109-8361-C71DF01C1C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa72a588189d2ba27101ef10fef8df36aba10bf","datavalue":{"value":{"entity-type":"item","numeric-id":4281583,"id":"Q4281583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bcdaa534bf7cb05a37ae1fc329d0992b29fe810","datavalue":{"value":{"amount":"+0.8964142","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":"Q439714$0FB4B5A8-0A80-4F82-9787-2A139E065ED8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal semantics for program debugging","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_semantics_for_program_debugging"}}}}}