{"entities":{"Q746774":{"pageid":748623,"ns":120,"title":"Item:Q746774","lastrevid":64030992,"modified":"2026-04-11T17:10:36Z","type":"item","id":"Q746774","labels":{"en":{"language":"en","value":"Under-approximating loops in C programs for fast counterexample detection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496665"}},"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":"Q746774$42E039E1-D494-46F0-8CFB-40C64767134E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81ad68730bd01f1fb34e9ce15835d7c0cacce580","datavalue":{"value":{"text":"Under-approximating loops in C programs for fast counterexample detection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q746774$514C0F2D-8429-4AA5-AC60-09E7FDACB8D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"954b13187483c840baef4e03ef6356e79339caf4","datavalue":{"value":"1322.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746774$86107F5B-D6BD-4C16-88D9-777C0A653308","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746774$A58C9850-A968-4632-AC9D-6627208BD962","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":"Q746774$71FD2F0A-4A8C-497A-AC8D-B53130EBF190","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-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":"Q746774$43FF19CE-C822-4752-BF3C-63FEE4249FB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746774$2FBFFA8D-345D-44F7-A848-00F569367383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746774$F8C9C863-D96B-40C6-A224-30788C78F9C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49989df195db5e8bbc99b4a2c53957f9de6b930b","datavalue":{"value":"6496665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746774$F3B9097F-63EB-4ECC-8753-7AA101413604","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q746774$C96709EF-4F43-4CD9-838E-D787E6F5EE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380e1c6ae8e86a4fec656c4385e7a0b171c4063","datavalue":{"value":"loop acceleration","type":"string"},"datatype":"string"},"type":"statement","id":"Q746774$14AC4E05-85F0-4B04-A4C0-699430104FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ae2e76a94134630492fbf529637ddb4e7cc619","datavalue":{"value":"underapproximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q746774$27A6EFB8-CD7F-4951-BA9C-E2C03F3A1F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e72f18a6d6d4af9d0b64b4577421c0d9b7a93b","datavalue":{"value":"counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q746774$9E7105A7-51BA-4FF7-920A-0672F16433FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746774$0B7ABBBD-A4B3-4BF5-86BD-8840113F2C84","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":"Q746774$3C0B909B-38DE-4D32-B011-13DD791EBE42","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e0ccaacf68d98c8afeac3506ed571d7ff46b51a6","datavalue":{"value":"Q38366581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746774$C3B312F0-4948-4AF7-BDD3-10C369358B6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1df8701a584b8c5628ea3c20a9a2790460550c5","datavalue":{"value":"https://doi.org/10.1007/s10703-015-0228-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q746774$4DABC5C4-CBF7-4EB6-A563-B96516E3C55B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7e7306ad6b17a8d925974cacd3c328c3d1e19b9","datavalue":{"value":"W1977456312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746774$DDBAA321-31FB-49F8-8628-7C372B1D8115","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746774$269B1D52-EA56-4D43-99A8-ADF8D1E01835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ded7338003111b779d67dbf9487475aef44bb91","datavalue":{"value":{"entity-type":"item","numeric-id":4415251,"id":"Q4415251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746774$8DC39117-3D4D-42EB-AC91-B763201EEE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746774$85C183E5-0555-4E1E-AEFA-F54915ACC846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d6099524e3f7bed0ce635b8cc10b44d3701853","datavalue":{"value":{"entity-type":"item","numeric-id":4649296,"id":"Q4649296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746774$BC13A243-0E36-448C-9FD5-F79A072ED610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3bb918603ae315ee0224631b7326b49acf86c5","datavalue":{"value":{"entity-type":"item","numeric-id":5899073,"id":"Q5899073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746774$79C30F83-20EC-48CA-9228-4CB0F308F72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73155d0a0c1c1ece043da583829b01e9b89c28f","datavalue":{"value":{"entity-type":"item","numeric-id":3540068,"id":"Q3540068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746774$E2743F53-E457-4BBE-B002-2A3AAB552EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5cdba5ccd777f7926c36768a490e23ba51eea40","datavalue":{"value":{"entity-type":"item","numeric-id":968302,"id":"Q968302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746774$1945507D-87A7-40D9-8B9F-12F97C941A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746774$E485F523-43E9-43B1-8579-DF91EFE1525C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b1fd65474e73bf7ed6d1c0109c90f143ebc0de","datavalue":{"value":{"entity-type":"item","numeric-id":5408543,"id":"Q5408543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746774$292DA342-5A71-4FEF-8794-D9D67A9A2EE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75f8219efa4b05fa1ac8d95413c98ac3a2e9fc2c","datavalue":{"value":"10.1007/S10703-015-0228-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746774$D89C18B5-34B5-42EA-AACB-4C3EA9400C39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46cecfdf3c710e7e808320885f34ba2e432a1ea","datavalue":{"value":{"entity-type":"item","numeric-id":5233241,"id":"Q5233241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0108aea963481dbda11ba1210407184f15aa1f8d","datavalue":{"value":{"amount":"+0.7415624856948853","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":"Q746774$C055702A-9AFD-4894-8EFE-72DE1C996F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"785d1c64153f1f6e83dc2d72b7f0ad649acaa215","datavalue":{"value":{"entity-type":"item","numeric-id":5206955,"id":"Q5206955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e3169f2e65ecda38ad1b8ada76006da1ab638c","datavalue":{"value":{"amount":"+0.7157232165336609","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":"Q746774$4DF133EE-6E3A-465E-8459-744D42C31C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6cadb8b2027b7d1fc2ad3edd90f665f13f586a1","datavalue":{"value":{"entity-type":"item","numeric-id":2849596,"id":"Q2849596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61daacef19aabd564649ac9c2bb23b85ebbff10","datavalue":{"value":{"amount":"+0.703034520149231","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":"Q746774$FDA30261-6D4D-40B7-9410-C18977CEA0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54370ed63cd311f800deddfd69bd660b9796ccea","datavalue":{"value":{"entity-type":"item","numeric-id":2894271,"id":"Q2894271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2dadf670610dc2fd39d98370cc8eb0e0c0e076","datavalue":{"value":{"amount":"+0.7009663581848145","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":"Q746774$BAFCD1B3-5B0F-4AFE-83FB-7E607228873C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f309308e6c0234e18c4fd7a6153702c84127b593","datavalue":{"value":{"entity-type":"item","numeric-id":5429340,"id":"Q5429340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9eddbbd2b1ddb3201f962f9aa4c685dc51153e0","datavalue":{"value":{"amount":"+0.6914128065109253","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":"Q746774$521A4273-3124-4836-8203-007C4193CA34","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746774$32BFD3A0-C8AC-4E1B-BD86-FF6EF3E557F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Under-approximating loops in C programs for fast counterexample detection","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Under-approximating_loops_in_C_programs_for_fast_counterexample_detection"}}}}}