{"entities":{"Q4507332":{"pageid":6536925,"ns":120,"title":"Item:Q4507332","lastrevid":41707703,"modified":"2025-05-07T10:39:20Z","type":"item","id":"Q4507332","labels":{"en":{"language":"en","value":"On Interpolation and Automatization for Frege Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1519236"}},"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":"Q4507332$70951A8A-1DA8-4CBF-B378-1135FCFE29B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"355f19320c7696598ec68ce6a848f8ad829e8746","datavalue":{"value":{"text":"On Interpolation and Automatization for Frege Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4507332$4172B9BF-D761-4F53-A33E-5A52C9BFC9EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4eba822c63e8b907e16aefec9848b19defe68b1d","datavalue":{"value":"0959.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507332$09794428-6CEC-4ADB-A7FC-AF0540718040","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"061af24bf2b748a1847ac7f2c2d53eefdee0d76d","datavalue":{"value":"10.1137/S0097539798353230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507332$3207DC19-8773-4B39-A305-FB1A0714DA54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e092db0e8dd3eb069452d08315b921747f610dc1","datavalue":{"value":{"entity-type":"item","numeric-id":360041,"id":"Q360041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507332$12B4D26C-DCC8-4E16-A72C-A425D9947E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507332$1340A997-E888-4D8B-A977-0EDBC29E98C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b481d9d1e1fd6339de38d10a65dabc0f21090cc0","datavalue":{"value":{"entity-type":"item","numeric-id":168589,"id":"Q168589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507332$7DA0CDA3-8ECB-472C-B88E-3197E73BDF54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507332$D91D3897-A863-463A-B9DE-1DB8D28CF7EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d142b1df5744501b8c2c66aa20cc87664cc9f4f","datavalue":{"value":{"time":"+2000-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4507332$2E40FA68-5BBA-4110-8FD6-3DED673A4840","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507332$17ECB650-FAE7-4708-ABC1-C646D2F3A9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507332$6B0461EF-DADC-4AF7-8331-B12C9C25FCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507332$449BB676-BB8D-4107-9584-9FAB0B10E2D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e48cf2b3671de92a9b2289636c6cc1f18e77027a","datavalue":{"value":"1519236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507332$1EBAF5C8-B4BD-42D3-9CD3-3EA5F93E91AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b24e51e460d663f6ecf18860b761adb8bb29e572","datavalue":{"value":"propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507332$14ACF5EE-4855-40E3-9CD7-F4DD3B95F17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b55eb8ddc3c2b5e75b527ef0e3f5c5ea2cd5c1d","datavalue":{"value":"Frege proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507332$FAD9C909-6BF4-44B6-B6C3-253853730605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1594d4a699e0c2684bcc4dbba382a715262068ff","datavalue":{"value":"threshold circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507332$2C14DD35-F1EF-41C7-B5E3-71BCC102D096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e5a10493622941180c4de9db51dfa83cb4923d4","datavalue":{"value":"Diffie-Hellman","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507332$04109CD3-74C0-487A-B084-E1170F5CC40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507332$962AFA76-60E7-460E-ACE0-48926AEE74FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507332$60DE10B8-C12A-4EF8-93A7-9B44AAEEE205","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":"Q4507332$CFE239FB-DBDA-4BBE-9337-91777C8EE7B9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b5aca4b470326c93a888607511d0a14a7f95df21","datavalue":{"value":"Q60512241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507332$129DEBA0-8D61-4E31-82EF-4DE59CAF13CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d051599a92a778760c32010d66f8e2784220f6f0","datavalue":{"value":{"entity-type":"item","numeric-id":2352502,"id":"Q2352502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b23d39486f6f522d217b32f35783ac38d57e8f6","datavalue":{"value":{"amount":"+0.9002226","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":"Q4507332$31C7D722-34FA-490F-AA3D-134EB653EB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee50e67a6067ce4a8aaf5363d50feea43e37e23b","datavalue":{"value":{"entity-type":"item","numeric-id":287275,"id":"Q287275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abacedfa58773df523496ac646dad57b36c58b6","datavalue":{"value":{"amount":"+0.87726426","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":"Q4507332$DCB9087A-5A4E-431E-BB35-643832A835D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c4a36a31274c5966ce09e345f4fcb7cb21489c","datavalue":{"value":{"entity-type":"item","numeric-id":4997234,"id":"Q4997234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b29e2a386e3dfa0efd3331d12afdf41149bfad","datavalue":{"value":{"amount":"+0.8546572","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":"Q4507332$4F70A1EF-C0DF-4DCC-B492-6C32934B3DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd63cb6a972a52dada0e2106853e3e303b2a95a4","datavalue":{"value":{"entity-type":"item","numeric-id":3546074,"id":"Q3546074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef564f7837d62428d710538213d6b8239a229e6d","datavalue":{"value":{"amount":"+0.85196567","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":"Q4507332$14F82CAE-4237-43C0-AFB1-2FD799031B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"480d6b897741a5c54182f742119885addcf10ac3","datavalue":{"value":{"entity-type":"item","numeric-id":3570172,"id":"Q3570172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb77d6b635b864318e78faf1923e69197556f382","datavalue":{"value":{"amount":"+0.85077107","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":"Q4507332$EC1530F6-9269-4EBF-A9C8-EF27AA6EEE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"218d78c81e7ca97063845afe34559bf119ffd0d0","datavalue":{"value":{"entity-type":"item","numeric-id":2885171,"id":"Q2885171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494951ecff60ea3c0fea0b0e7f64637efcf8ec35","datavalue":{"value":{"amount":"+0.8408311","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":"Q4507332$3ED22332-1727-4972-BEB5-5A219E468361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088db139749caf319dec6d04eac588774b575a9f","datavalue":{"value":{"entity-type":"item","numeric-id":4645726,"id":"Q4645726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b87844f28676061205d07b4531e3e5bfaa393d","datavalue":{"value":{"amount":"+0.8402593","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":"Q4507332$BC67F9FC-A33B-4949-A8C3-C1C08AAC7308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29f1ea0d1877e5c2b9de1968e56034687845ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4635819,"id":"Q4635819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e4220b52e3a796cdb3e364c6b6df3db97991cf","datavalue":{"value":{"amount":"+0.8370502","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":"Q4507332$1980607B-EC75-4783-B353-A078CBC9E6D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4507332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4507332"}}}}}