{"entities":{"Q2867933":{"pageid":2878653,"ns":120,"title":"Item:Q2867933","lastrevid":51894929,"modified":"2026-01-20T12:05:22Z","type":"item","id":"Q2867933","labels":{"en":{"language":"en","value":"Enhancing theorem prover interfaces with program slice information"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241756"}},"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":"Q2867933$60D640F3-B794-445F-89B5-3CB986E6C51E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f04d352531b25881a0ec821fc62d9c86d0995ce4","datavalue":{"value":"1278.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867933$F3A6142C-A196-431D-B283-3A20CA15E3F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff7e731a225299809c7217b779a74b446dd9c768","datavalue":{"value":{"entity-type":"item","numeric-id":540691,"id":"Q540691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867933$45A3B5D7-148E-41A3-B5E1-F6505DB6081F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867933$FDC386E7-EA77-4688-B7E3-DBE53C6CCF09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867933$160B5FE5-E3AB-4D7D-A934-28EC13157C95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867933$AA8641CC-1263-4FCA-8572-849F1661B23B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"161059b04990fc30f7eeab84f3567b307a8cb9c9","datavalue":{"value":"6241756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867933$D7BF6D94-EB18-43DF-87D3-4093C3329B12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d1cf41692da354af9784f7b1d0303de8cae261","datavalue":{"value":"proof-directed debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867933$A895330F-61CF-4917-A624-D6ACF90BBEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867933$811099AB-2FEB-47F1-A75A-EBC0E5F40273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867933$AD2BC8EF-A1B7-43D5-9E4A-27D4F4245C8B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867933$F6E1BECD-566E-4CE2-A6A7-442BF98B5B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec97af8dbde1b3f52d57c157b7fa0c737d48882a","datavalue":{"value":{"entity-type":"item","numeric-id":31439,"id":"Q31439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867933$156B14DF-6A78-4FC5-84BE-84D428959DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867933$2D76C7D7-2AFE-4307-8604-3C885BC27F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1ccc8faeab7e6c417af9846c477f0e521ebe1b","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867933$DDC36FE8-4766-4E2E-9CB9-574E0C29EA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867933$645EFBE6-DE23-4E99-BD89-4B31E4D3868A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ff86482fed94163d1931fec7a795318bc929b32","datavalue":{"value":{"entity-type":"item","numeric-id":25593,"id":"Q25593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867933$CC8F6918-D827-4826-A4BA-7837FBA01EA4","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":"Q2867933$F86FE820-5695-4479-88A0-C41CB7B070D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07fe713df5640a328da9ce95c620debd1a4ac311","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.09.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867933$49FCE617-5466-4AAA-875D-716A3BAB6168","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f12c62c07073caa65862ec6e8da95ce97f0cb8d","datavalue":{"value":"W1969646064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867933$40DBDED7-875E-413D-A9ED-661E71F381BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1196f5e17dff99bc1a9d16ec3c58ef966832597d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867933$86878F75-1AB4-4E7D-AA55-E3E1AD821482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58671ef901d1a0b9acd6c3d7e85c3d1ee42f3517","datavalue":{"value":{"entity-type":"item","numeric-id":5423548,"id":"Q5423548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867933$995DA7CB-470B-4BFD-9D4B-3D86057D95EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"775f848c07e2910ddc8d27e87a054f309a1f89a4","datavalue":{"value":{"entity-type":"item","numeric-id":4943360,"id":"Q4943360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867933$FE52DA12-8443-40FB-8ACF-B26E0D26D3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867933$C63DB12A-20D0-43F7-AC1D-6F1602F8A3F8","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":"Q2867933$3E20C2D7-EA4B-4367-B541-8FAED89A42BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bcd33943731bfa2ecd0fbea7c90d9866badb75","datavalue":{"value":{"entity-type":"item","numeric-id":1819255,"id":"Q1819255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867933$F675DAAE-E693-43CA-9093-383800E4CCE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bad698334d004799851f5335af653680f794769","datavalue":{"value":"10.1016/J.ENTCS.2006.09.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867933$A9E50D89-B00F-4FF7-A63C-A6EC61094848","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b1fde51b2d50aa7249322269f820311cb128407","datavalue":{"value":{"text":"Enhancing theorem prover interfaces with program slice information","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867933$CEFFDC3F-9B38-4289-A206-4727F160887B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa7c9af4d130238eec9032f3cc35e60dc60ba21","datavalue":{"value":{"entity-type":"item","numeric-id":4793050,"id":"Q4793050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b34f76bc545a8fe37474db371ecabb2a1be4a7","datavalue":{"value":{"amount":"+0.6952614784240723","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":"Q2867933$D8414E01-D76C-48C4-A802-7C661FB77C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441897fe7904c9e44fbfc08e8a7a55eaf5c3e772","datavalue":{"value":{"entity-type":"item","numeric-id":5392587,"id":"Q5392587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b34f76bc545a8fe37474db371ecabb2a1be4a7","datavalue":{"value":{"amount":"+0.6952614784240723","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":"Q2867933$2A356B67-FC91-4000-B4F7-6FF4EC26509A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011d6b6f8d5f087cd69d826b5f2ae5f647470f67","datavalue":{"value":{"entity-type":"item","numeric-id":4943360,"id":"Q4943360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4015a9538b1aeeb9748cea3702c89879cd4eb9b0","datavalue":{"value":{"amount":"+0.6856077909469604","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":"Q2867933$B50308D1-3B32-4322-AD14-62736E721FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a4d121c0b6c693763e001d38943bd6a2b8219f","datavalue":{"value":{"entity-type":"item","numeric-id":4916225,"id":"Q4916225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc356816835381cecbe3160053e8731d332dff29","datavalue":{"value":{"amount":"+0.6745648980140686","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":"Q2867933$BC6AB0A6-6AA9-4556-8489-2FA76BC85D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbcf6ac7b922960650d85d7ae515431b7d8a054","datavalue":{"value":{"entity-type":"item","numeric-id":4267722,"id":"Q4267722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6cc4173c8bc607cbcf82fe532d709faddf2067c","datavalue":{"value":{"amount":"+0.673288881778717","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":"Q2867933$FA589203-7F8F-496A-B6D9-9944DE219ED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867933"}}}}}