{"entities":{"Q7014301":{"pageid":21588729,"ns":120,"title":"Item:Q7014301","lastrevid":78861386,"modified":"2026-05-06T12:36:23Z","type":"item","id":"Q7014301","labels":{"en":{"language":"en","value":"A query-based constraint acquisition approach for enhanced precision in program precondition inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8009323"}},"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":"Q7014301$839F4C99-C96E-4AAD-9F12-20FA04F46752","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e59a8cce539f89cdc157780b91b2e70308729cb","datavalue":{"value":{"text":"A query-based constraint acquisition approach for enhanced precision in program precondition inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7014301$EB8E6659-2EC6-4EF0-99BE-653191D9EE74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10c4bd0e41db221528ae51d879674b598780f0f2","datavalue":{"value":"10.1613/JAIR.1.16206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014301$128F59C1-FD90-4820-A15C-B774DB377EB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"216e17fb090fdafaaff6cea3f5e6102d6f03580d","datavalue":{"value":{"entity-type":"item","numeric-id":7014300,"id":"Q7014300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$D84399A3-4797-4F7B-A589-F38A81ADD281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c846912811352f98fc953a6e77fb4be64f213bc","datavalue":{"value":{"entity-type":"item","numeric-id":832219,"id":"Q832219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$D9D24E2D-16DF-4180-B2B0-98523FF27EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b2644a80507c7989343f90e5f2508e0b5d93ba0","datavalue":{"value":{"entity-type":"item","numeric-id":2767074,"id":"Q2767074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$52CB5001-2F99-4154-9E62-FC430CE91CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab31999b262990b6f1d6444bfa177e0578b92f1","datavalue":{"value":{"entity-type":"item","numeric-id":511789,"id":"Q511789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$BA68E6BD-C892-4968-8EC8-017114E424CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8a215d385f75fb3e358378de413ed23462bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":6488778,"id":"Q6488778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$A73BFC1D-39BC-4FCB-9A7F-AC92EFB32E32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07a15b3ca4d65ac9dee0d320c7a989d04762cbb0","datavalue":{"value":{"time":"+2025-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7014301$FC192DE8-E09A-48D1-AB96-59C741CEFE35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014301$5961468E-FA54-4BE4-906D-C2AA0B07A0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014301$4E9E22A3-8C03-4385-ABB2-DAA538D206DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68256d63678222cda97bd26ded2116e562d9153b","datavalue":{"value":"8009323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7014301$ACD5E194-7E71-43AB-B7E7-F3244B1EEA6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd9726ccea5822bb0cec99b7b8da78a2d8ec79ce","datavalue":{"value":"constraint acquisition","type":"string"},"datatype":"string"},"type":"statement","id":"Q7014301$49791489-2C8B-477A-94C4-CBEDB7116D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q7014301$3E61DAA7-9044-46CB-A56E-12A183C20A8F","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":"Q7014301$86F48D05-5D04-41B4-A35C-D3280B8E36CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd937cd2c454cde29e47351d9b3303c52b8c3a1","datavalue":{"value":{"entity-type":"item","numeric-id":6161490,"id":"Q6161490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$71B1DD8B-532B-481F-8EFE-5F5934427965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0fa239e1c4ced10f6a00f7bdb6b4745b6b21e10","datavalue":{"value":{"entity-type":"item","numeric-id":511791,"id":"Q511791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$4AB3EAAF-4FFD-42FE-B806-3BC5EF2A72CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$94BF4F85-89FB-4B84-8743-C2BFBA29C653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f815bf2ad909de0fa6e89988501157b6f777d2","datavalue":{"value":{"entity-type":"item","numeric-id":5554728,"id":"Q5554728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$57E28333-00BC-4616-8E17-92FB507C5079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a65ffb571a528db3397171c550c87447a2021d6","datavalue":{"value":{"entity-type":"item","numeric-id":1702924,"id":"Q1702924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$2CF9A55C-8962-48DA-A45B-85EB0F5781FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$ADFF1AAB-BC1F-444E-8416-BDDFDF18E692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb4997204bc98e36e5e60323b8e6d191c059c22","datavalue":{"value":{"entity-type":"item","numeric-id":4559813,"id":"Q4559813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$C5E01245-BCD1-4F04-9654-EBCEE8527982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d03c749807f109d751e7a33ee19c908d6bbdd2b","datavalue":{"value":{"entity-type":"item","numeric-id":557549,"id":"Q557549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$FC973EBD-C9AC-4244-803D-065AFA3C14EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ac8008fc7a5a5734156abe6133cadbaa63c0ab","datavalue":{"value":{"entity-type":"item","numeric-id":6194583,"id":"Q6194583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$E9C702FA-8AEF-4DFB-96B2-FE937456ED1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$34769720-6002-4AF6-A6EE-C2BC6F541529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e129a2d157f11eb104b6683d0c548da586ae805","datavalue":{"value":{"entity-type":"item","numeric-id":5823276,"id":"Q5823276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$9E3240E7-300D-434B-86E8-C5C8BA50C152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$E73EA27A-5C53-421A-A9CC-B75B78B25BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead2f2394bd82c5e3e712d3d100d9df2814d0320","datavalue":{"value":{"entity-type":"item","numeric-id":5326301,"id":"Q5326301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$30C92A56-8F9F-4A5C-B319-4314BD2726E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7014301$767D6464-CA75-42A4-85EA-B1E9E3D60E71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A query-based constraint acquisition approach for enhanced precision in program precondition inference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_query-based_constraint_acquisition_approach_for_enhanced_precision_in_program_precondition_inference"}}}}}