{"entities":{"Q436372":{"pageid":438139,"ns":120,"title":"Item:Q436372","lastrevid":61814802,"modified":"2026-04-11T01:51:27Z","type":"item","id":"Q436372","labels":{"en":{"language":"en","value":"Function extraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059138"}},"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":"Q436372$3CB17351-5124-4D62-8D32-E8A3DDF18252","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"365281b057970b846dbdeae1250cb164b7d0d533","datavalue":{"value":{"text":"Function extraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436372$49D0BADE-5183-4775-BE56-F3BA8D400A02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bea38db90a6f6fe0e1f8f96fc5df47285b6a4e0","datavalue":{"value":"1243.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436372$7C4D7769-51D3-4511-92E7-318C99E8541A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c330e55e5dc72ba4e46dcf35457734e0df28701e","datavalue":{"value":{"entity-type":"item","numeric-id":286789,"id":"Q286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$D29F4159-47A8-4261-A7A1-33A02548C542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"931e30a40c8472ba029c509504f463b9cccdfd3d","datavalue":{"value":{"entity-type":"item","numeric-id":436371,"id":"Q436371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$FB0342D9-DE5C-46FF-955E-BF5BDC3B9033","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$A4EFD118-BB72-47B4-813D-20800C7CF1E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-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":"Q436372$C58D71E1-79BB-4C2F-8B8D-666D3A29E738","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436372$587C3B80-3970-4F9E-93E3-69AEB170C4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436372$70CEFC74-85CF-4AEB-96EE-C4FC2BBAF221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436372$16A6044A-F227-4A14-B7F2-276DEFF05E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436372$26BB35FF-2E39-49A7-BB38-DD1DC3D7AAB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6344cea8236691a65d252a516351494af6aca4b5","datavalue":{"value":"6059138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436372$83FF867C-8ABE-433A-9D63-FC9DB97B0A7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d62798ced101241ac0d5e46110e32d69e73a0c1a","datavalue":{"value":"proof automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q436372$6E79C305-45D0-4E64-946A-D9E45F2AE087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q436372$F6056DBF-32DA-4717-9D75-DE762CA17CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q436372$D6B7D0AE-F8BF-43BB-8526-4E2B6AF43B14","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$5FE76F1C-41D3-4C6C-A07F-53988CEC8AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$66029248-5FFC-4161-AEED-9BA8BD888211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8400ab86b306a4378eebf43133a98098c8e98ab","datavalue":{"value":{"entity-type":"item","numeric-id":46220,"id":"Q46220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$33686AE1-1D25-4C06-A302-6B0A7554C0A0","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":"Q436372$AC0FB67D-6143-4760-BD37-F6D960507679","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee6da8901025a8bcb9cdf06f4fb3a05627a06115","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q436372$EF16987D-B75E-4430-AB4F-6BB4ED914816","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dcdbb40e1ed89dd6a07508cce1febee275de574c","datavalue":{"value":"W2912721414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436372$53264D93-4F15-4904-8E37-1E385DCF4C4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d7ecce912cc5f4fa85ef8ac5c3fc2ce5a5f7fd4","datavalue":{"value":{"entity-type":"item","numeric-id":5179363,"id":"Q5179363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$FEC383D2-9A11-4B60-9F1C-42A0A2A79AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$58802196-C310-407C-ADDE-70513F637CDE","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":"Q436372$FF5DBBF0-4285-4429-B823-CDAAE2330D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7396a7d7693b676318207b9fce821ae1fe747e9","datavalue":{"value":{"entity-type":"item","numeric-id":1425160,"id":"Q1425160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$1A78E37E-B179-4705-B080-35411F91D357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$CD7EA482-F0F3-4D4B-817D-58B52495D4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6d5bd4ec1b04ca09af94140053300276a52e01","datavalue":{"value":{"entity-type":"item","numeric-id":5255066,"id":"Q5255066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$0D8A6B08-F464-48DE-9390-14045B345A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c24d98fe8151a7ee984475d5ecd61101306ad23e","datavalue":{"value":{"entity-type":"item","numeric-id":4461768,"id":"Q4461768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$A48B154E-E829-4811-92F9-E20C0B515500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb02b7e20425b30233dacd162a319bfc06e7fe05","datavalue":{"value":{"entity-type":"item","numeric-id":2763683,"id":"Q2763683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$6600AB02-D746-4A44-8EA5-111B3AC80F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527c7202e783b352edb1e0158278fe604f9a2b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4105761,"id":"Q4105761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$7495BA93-E108-4861-A557-338C4BCFF619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6d7f1190f279c50b64f59e003fedc9f8646b8bd","datavalue":{"value":{"entity-type":"item","numeric-id":5464646,"id":"Q5464646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$8F47E977-6D43-4828-91C8-098A8A3ABACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba4064bdf078febee6c0f0306d2549b942863d8","datavalue":{"value":{"entity-type":"item","numeric-id":4371519,"id":"Q4371519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$858E51AD-2D3F-4EF5-A348-E99F8BB3E9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde0c5acdec560094faaeeaf74535ff9bab476f","datavalue":{"value":{"entity-type":"item","numeric-id":5348933,"id":"Q5348933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$EDA72D26-FA86-4611-AC00-5D32250BB30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55e0a58381c15f5903e387200484cc6e3cf6cde","datavalue":{"value":{"entity-type":"item","numeric-id":3523175,"id":"Q3523175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$E4AC413E-0FA3-448B-A3BA-9AE6FFE9469D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df66c3373ee20520c5ed216e62e84be7c2aa7441","datavalue":{"value":{"entity-type":"item","numeric-id":4460723,"id":"Q4460723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$1239DDED-5C6D-454D-B972-059E95B240D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$63754FCF-C3ED-49D6-862F-12082262F656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff75baea05c748f9ad363c0a0f9a8b26cebdcc9","datavalue":{"value":{"entity-type":"item","numeric-id":835051,"id":"Q835051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$C8D139B2-A13D-40E6-827B-36387ACAAC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80015c982f395703eb961f7d88d9ea85973eed1d","datavalue":{"value":{"entity-type":"item","numeric-id":5387904,"id":"Q5387904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$076F0327-49B4-4DF0-85C7-31F3ECCB6CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df2553495bc38f714aaa2197b34e11b69c06ef","datavalue":{"value":{"entity-type":"item","numeric-id":5674963,"id":"Q5674963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$34E4DDF3-DBE9-43A2-BE31-02B7D1F88EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$E071519D-0B4B-4F1B-8EBB-0282CD5E11EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fca8c6bae599173b38636aaeee9a044e8d5419f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$D9DC3ECB-034B-46F6-BEB9-D741743DC7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$30860BC0-CB79-464E-B28C-0D32143B84F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e6d523626b41cd1cc43094dd846b1a6924f519","datavalue":{"value":{"entity-type":"item","numeric-id":3183546,"id":"Q3183546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$304196A5-1A2E-4EF3-9C8D-549902C53CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436372$C613AFE1-6935-46D7-B3DC-D0354535DF51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66573af1c90c711646e43894ebe58051d820a071","datavalue":{"value":"10.1016/J.SCICO.2010.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436372$58E8A426-1532-4131-AC44-484F48A5A487","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563a28a1390fbddd982d25c50770ab5427719e27","datavalue":{"value":{"entity-type":"item","numeric-id":2763220,"id":"Q2763220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee227c212a438d6531c7d0cf273b921d5c119a52","datavalue":{"value":{"amount":"+0.8549824","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":"Q436372$26C0CB3E-077B-4D79-8676-53C400A11E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3990e021fec5d54d2479060ee8d869910d119a5","datavalue":{"value":{"entity-type":"item","numeric-id":4287468,"id":"Q4287468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc74cc6ad67d7d4c0fbfcd9fbc083392251d5c52","datavalue":{"value":{"amount":"+0.8499437","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":"Q436372$B63C08ED-C43A-4645-9EAF-5BA92B55B4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af23bd739729877e80f0daf4458632afa22390a1","datavalue":{"value":{"entity-type":"item","numeric-id":3611790,"id":"Q3611790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"638ebea096c96419968feace24f2c26bed354281","datavalue":{"value":{"amount":"+0.8476832","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":"Q436372$087070BC-5723-4A47-9009-90D544F6E5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a069a5b8e73d5ede44ed1d4aec0c1b87cdd7130f","datavalue":{"value":{"entity-type":"item","numeric-id":5716452,"id":"Q5716452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0734ba3624fe4c69a04b574d6b3e827730c34a27","datavalue":{"value":{"amount":"+0.83851457","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":"Q436372$7C323745-03A9-4C53-BD19-A803F65CF1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321d680e3ecd0819739a196166556b47eaea4723","datavalue":{"value":{"entity-type":"item","numeric-id":5714743,"id":"Q5714743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b81a803fe6ec88f73034b5b6652b6ac9999f99","datavalue":{"value":{"amount":"+0.8068818","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":"Q436372$44A48D54-D03B-4173-A040-8D635666FC93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Function extraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Function_extraction"}}}}}