{"entities":{"Q287275":{"pageid":289042,"ns":120,"title":"Item:Q287275","lastrevid":60718323,"modified":"2026-04-10T18:42:47Z","type":"item","id":"Q287275","labels":{"en":{"language":"en","value":"Interpolation systems for ground proofs in automated deduction: a survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585554"}},"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":"Q287275$E8078387-C2B6-418B-8F82-4C883844476F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61c6323dd573a423baae42fb434eec524fd98a91","datavalue":{"value":{"text":"Interpolation systems for ground proofs in automated deduction: a survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287275$DD5F6CE6-C685-4FFB-AC29-EBA3F1FADDEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4afa28a3fa8d380934b7a8a4694f7e4db927f049","datavalue":{"value":"1356.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287275$EF826FB3-96FB-406F-9BFA-36683779A16A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b455290f5b835c3773a6eb2262897ac70e7a163b","datavalue":{"value":{"entity-type":"item","numeric-id":287273,"id":"Q287273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$1252BA5D-DD4E-4FF3-B95E-78087697D2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff9a748cd6fc1ff0926984ae3ee01554f12fa14","datavalue":{"value":{"entity-type":"item","numeric-id":287274,"id":"Q287274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$C8910185-26D4-4B4D-AE0C-D62A3E8D0A4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$2F0BAAD8-4CC6-4E54-8993-F1331B869446","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q287275$97E52BF9-6845-4492-B0A0-3CCE1B88F437","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287275$C7F7D317-B7FC-4856-A286-D3A9373DCBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287275$A9EBBA7A-2817-44FB-B3F0-84F27AA5E15A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ede898dc093608b268ac04c306a78c6530bf4019","datavalue":{"value":"6585554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287275$D449517D-8F15-42F8-8ACA-97A5B0846714","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c34a73072a62031add770afdbba480679efa8f5","datavalue":{"value":"interpolation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q287275$9FDE194E-A80D-400F-9430-16E9246F98D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q287275$F424462E-374E-488C-8891-F6A4D6D2F024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q287275$C45CA09C-B44B-43B9-AF49-129801FB3F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c97c87aad358aaa4a159991a487a984d3a19cc4","datavalue":{"value":"theory combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q287275$1FD8F671-59BD-4A48-BAA5-665A398EE4A5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$E45125C9-DD78-4E79-B538-2A78FADEB05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$1B627EE4-6387-411C-8C30-734C2CAF4F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3ad9fce9060c14f348316440256eb8b089be466","datavalue":{"value":{"entity-type":"item","numeric-id":26383,"id":"Q26383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$434D6284-0497-4F9C-82E7-263B06028872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b194bd31d37c1243d7e8c5eddae754651b6b0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18941,"id":"Q18941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$DCFED87E-2D4A-455C-B363-901B7376FAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84555c80f390a6027108910a1237246dadca1460","datavalue":{"value":{"entity-type":"item","numeric-id":23352,"id":"Q23352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$8B376C41-03C8-4C77-9CC4-B029E60326FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$0E10D4EC-32A0-4381-8DB3-6ECE439F2F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$B3C24F92-ECC6-4370-828C-D7D6400A6B22","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":"Q287275$65C8BCD7-804C-4FC7-8FCA-1EB047DA056D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1539da8b532738a75a00f911ead09961d0b31cf","datavalue":{"value":"https://doi.org/10.1007/s10817-015-9325-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q287275$74D57F58-4AEB-4ABF-BD33-8254A984E3EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a1e7e8077df2aea8ff050dd4a4761cd82b9535e","datavalue":{"value":"W2028087487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287275$EA439BC4-BF28-4C22-B66D-6F0CEDA8451C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c1485ed0a3aad5c5aa1f45a6c20be221e01119d7","datavalue":{"value":"Q113901252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287275$C2BDC184-184C-47DD-8EAD-5C01F8A30D0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a257ff0958ba2ab18651e0ae0e647b82a1a678f","datavalue":{"value":{"entity-type":"item","numeric-id":2891439,"id":"Q2891439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$AD5C146F-2743-4470-9CBA-411B91C98F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d76e46128bb0e55696f95b3bb5f826ee9e8fcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5277822,"id":"Q5277822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$596132A0-AFA3-44EB-ACD2-C5AC8591216C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103360585a9bffb1c1cc70bf60b5d74438ed3255","datavalue":{"value":{"entity-type":"item","numeric-id":1401930,"id":"Q1401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$234B34FD-9922-4DE1-84F3-8854151D2B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc64d6d31493ac74da4f6c177f509ec4a9d4b14","datavalue":{"value":{"entity-type":"item","numeric-id":4804899,"id":"Q4804899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$2C6C752D-D541-4EA8-AF3B-D500B36C305C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c10bd59885420c4841d56d098f27b4158c1d680","datavalue":{"value":{"entity-type":"item","numeric-id":4737130,"id":"Q4737130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$DCF34E9E-A223-4669-A02A-BC333080BEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d47d7f807ff440d37ec1151957e0741b3996e143","datavalue":{"value":{"entity-type":"item","numeric-id":5277771,"id":"Q5277771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$2F4BF9DE-57F1-455A-984B-76DD4B09BDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe638b8906f8f43ecb88c7284ff6ff2706007295","datavalue":{"value":{"entity-type":"item","numeric-id":2864524,"id":"Q2864524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$5A41EEE8-085A-49B0-9184-0DF9C806C311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6386f9d9d555cce966644dfe59274fe1062f77ec","datavalue":{"value":{"entity-type":"item","numeric-id":5450569,"id":"Q5450569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$E10A8942-98DA-4AD6-B65C-0ED32C37A70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64546dea5edcb439503d41ef37e4c3a53136602","datavalue":{"value":{"entity-type":"item","numeric-id":1281504,"id":"Q1281504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$D622A6F2-E51F-48EA-AF78-8B5855693C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4b5bde526a32e6c0478b3694b30b3d39157307","datavalue":{"value":{"entity-type":"item","numeric-id":3010355,"id":"Q3010355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$0E600102-3003-4AB5-A9E3-3CF92CC59132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662f20bf140ab4dcc547b620fa203d92a51df7b0","datavalue":{"value":{"entity-type":"item","numeric-id":2352502,"id":"Q2352502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$F60E4683-BC75-4F32-B01C-7A9B022985AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64edbd4b0368a46cc24983dcdc802e4982142495","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$C31E93E9-C387-4731-AF66-B9F04CDEB15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d02295b918ee0afc1f76dac5b90054e0bd92879","datavalue":{"value":{"entity-type":"item","numeric-id":5747778,"id":"Q5747778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$347FC393-5346-4B2B-AB64-F959EE2C554A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9877add428dd78103388124da498b7c045cd5b18","datavalue":{"value":{"entity-type":"item","numeric-id":3075472,"id":"Q3075472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$F710E2F1-0CBF-4147-8274-4E959FACF30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579e56ef44df2e062e8ac9efb91412ff14b1f570","datavalue":{"value":{"entity-type":"item","numeric-id":3172885,"id":"Q3172885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$91095389-7B93-4D40-BE30-A465669F2AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7fd8013b2ee9a7ba48cbb231bcd96db7bd85791","datavalue":{"value":{"entity-type":"item","numeric-id":2908483,"id":"Q2908483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$FFDD3DC5-A96A-4862-A9B3-7399807EABDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47f4caa1bcc6109e148dea42df8b52b62970850","datavalue":{"value":{"entity-type":"item","numeric-id":2887061,"id":"Q2887061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$8EF8C444-49C4-44B7-ACBB-93B2943AF5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377f0d71cd9d722dd42123f66faf2eb9ee85276b","datavalue":{"value":{"entity-type":"item","numeric-id":5410332,"id":"Q5410332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$8F58B25D-12CC-4FD5-A361-F128EE87FAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dac129a159e5019d1399be30aa2aedbb8b57223","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$12BB5151-F73F-4ABF-9F8E-644572160FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$5ACBA865-644A-4926-A692-9AA7551CEBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$01D95119-D269-46FD-A01C-C3AE97C7C40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$FD5D4997-DC32-4FD1-829C-DF9C85FDF940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$F04BC059-320F-48F5-B558-6B8CF82018F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$D4D73574-A1D6-4F65-9A34-315892C4D610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46b48d71d3c521c2ab242461308274d7f131a2c9","datavalue":{"value":{"entity-type":"item","numeric-id":5747779,"id":"Q5747779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$B55AC851-8694-4FE1-A896-6705FBB2ED1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db15afe119e4d8924199889dafaa491710809a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2751361,"id":"Q2751361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$6D72F15F-FDE1-45F0-8C14-BC16D7BB4B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$E12424F7-96FC-46D8-8BFD-A9EFE8AA2049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e33ec3f29ace8a55c4dc1616933c1ca1e6fd350","datavalue":{"value":{"entity-type":"item","numeric-id":3558223,"id":"Q3558223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$2D053172-96F2-468A-A5E9-7B34E205AF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1f27d5e14d456aa8b6031d92ee27db277fbe0e","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$54A93EA0-1FFB-40EE-BFD7-23AC1EB82EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$AF7BD259-EFEF-41F3-BA1A-B09CE0D190DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b6e216af7e475ea44161ceb6159f9152bcc04f","datavalue":{"value":{"entity-type":"item","numeric-id":2881073,"id":"Q2881073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$D40834E2-1CFF-42B0-BADD-0E9DC4F41BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$79B85560-81D0-42EC-B653-55870F6BD40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7474c1769098271dfa8760cf06b0b45182f69ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2432764,"id":"Q2432764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$867B2007-2D6E-4309-9EA7-E6F6438BCD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d425524c539f34b2c20b8cfec23a758c1eb81a6","datavalue":{"value":{"entity-type":"item","numeric-id":3608772,"id":"Q3608772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$6B1EE12E-03D0-4F1A-A247-8E6CD7C65327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$C97E4C15-1FF3-4D23-AB9E-507E45FB00EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed74b949115e5d18e129857075f73d9c30bc7f7","datavalue":{"value":{"entity-type":"item","numeric-id":5747760,"id":"Q5747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$8D3C2C88-EA52-4A23-93E5-1614D91C7C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb60c55290ccc2425872093c601ec557fb400edd","datavalue":{"value":{"entity-type":"item","numeric-id":5191102,"id":"Q5191102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$DD6342FE-93E5-43D7-BEF2-3809CD4CEC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$F3F0F951-28A2-46A2-887B-521B91EF5D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c91a28a758cef65772d101c4d9ed9dccc99d931","datavalue":{"value":{"entity-type":"item","numeric-id":2942878,"id":"Q2942878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$2C62C734-A50A-4723-ABAF-100C59D83950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$D811CD79-F517-45A1-93A7-E56EB14E3BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13219530e3d06874c8e2749c80d201a39fcadb63","datavalue":{"value":{"entity-type":"item","numeric-id":5191103,"id":"Q5191103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$9724DACF-5E25-4855-B230-8B49CF93FF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$E6D35EFD-8B3E-45B2-9B6B-D5D229B4F16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59453e58f7cfaf844d3b63583cdaa54741e69f19","datavalue":{"value":{"entity-type":"item","numeric-id":1383164,"id":"Q1383164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$3143C5D5-F1F8-4774-B705-F12056B95EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe753357a6d82c52967f1976a05f5e36a3cab5a","datavalue":{"value":{"entity-type":"item","numeric-id":3498479,"id":"Q3498479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$6FD593AE-691F-4A3D-B429-CAAE46423864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa504e0f08fb80deb55e9670109c1f4ade70333c","datavalue":{"value":{"entity-type":"item","numeric-id":5286164,"id":"Q5286164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$E7523F1A-305C-4A2E-975A-698CC1153E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$6C798E2D-FF0E-4456-991E-E887D6400889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$7D57DB32-F7D0-4DF2-9E72-CFD40BCB7D48","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":"Q287275$B1B04978-013F-4509-BE7F-A9315AC1CB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a62c24cddf605dd86a399f231d937d5444e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5458341,"id":"Q5458341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$B372DF44-DB0B-4CD6-85ED-BEBCB6116A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6178f47fbbfa344f8cdf396e9f7efff797a1782f","datavalue":{"value":{"entity-type":"item","numeric-id":4744264,"id":"Q4744264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$B7BC4658-52DC-4ABA-80E5-A68577417B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a11574a9e9ab53768e977b5417eb20cda54355b0","datavalue":{"value":{"entity-type":"item","numeric-id":3677735,"id":"Q3677735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$EBB42745-F269-44F6-BC2C-3BB1C6AF2789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$B83128AF-31AF-4F5B-A852-3C09396479A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$71D9DF85-F9FB-4989-B706-6D2F0C913BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$3BF2D408-9274-48E4-8765-E0742B35114C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$42118293-6D21-4EF5-8928-BE8E9BA96EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc11b91ca2fd7ffd0fca9c3fdb8d39ab9eb0695","datavalue":{"value":{"entity-type":"item","numeric-id":5228111,"id":"Q5228111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$7B174CE5-831D-48B6-9261-38A8513D2528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$67759836-4DD7-434F-9AA4-60C43F992FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de1369bcfa1d17b3d01465224f930d9fc6fd3ba","datavalue":{"value":{"entity-type":"item","numeric-id":3622999,"id":"Q3622999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$6E37C485-735A-406E-8BF4-027FEFB8F737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058eea150b9df2856b4c1fa01610e8100a8e4283","datavalue":{"value":{"entity-type":"item","numeric-id":5966925,"id":"Q5966925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$6FBD7A6A-00A2-472F-A064-794BBF3D2CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7903ffd8f9b852f272a22a95cb583ad2910295a","datavalue":{"value":{"entity-type":"item","numeric-id":5394624,"id":"Q5394624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287275$0440757E-C114-4C7D-AAF0-4800473B3560","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4e0feeaebc1d86e8ffc1a3e439292aba4e8b256","datavalue":{"value":"10.1007/S10817-015-9325-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287275$BE96B0D4-EAAF-4F44-BC67-1C8A19C4F7C5","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":"461418cbb1b59593eb764db241d1d1cd93132633","datavalue":{"value":{"amount":"+0.9130756","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":"Q287275$DEA01058-42D6-4F7C-A42D-792CA9E0ABB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a2f57ff74cc16c6d2e4cca08d4f026a7fbdc47e","datavalue":{"value":{"entity-type":"item","numeric-id":5702666,"id":"Q5702666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94af1ccc589c3c7eb15900a646f2e0c64fe3d067","datavalue":{"value":{"amount":"+0.90916824","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":"Q287275$EBB2D688-4001-44CD-9ACB-104EFFEF72AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d36b5404b898fe62c53febb4672b0854595158c","datavalue":{"value":{"entity-type":"item","numeric-id":4729756,"id":"Q4729756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2fd70d57698da02d052fd2b1cd7a369ccbc9ec5","datavalue":{"value":{"amount":"+0.8874226","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":"Q287275$66DCF8E4-1955-42A7-8D96-051F798ACCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3345a29edcef780667c3b9873989614f74c8e27","datavalue":{"value":{"entity-type":"item","numeric-id":2510774,"id":"Q2510774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac0cb92bfe6a3cda7eb8817a780a17d89ca0fc9","datavalue":{"value":{"amount":"+0.8840569","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":"Q287275$6AF047AE-3F19-45B0-BE02-C511752A8F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f89b535f861ae50dd992023025b885cfdcca1d","datavalue":{"value":{"entity-type":"item","numeric-id":584241,"id":"Q584241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f2275d97c8ee8e51b3b6f7d40146a1c1fc3673","datavalue":{"value":{"amount":"+0.8815012","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":"Q287275$634E2C80-EA69-4A3F-BBBB-9D5CEA191DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e412e6216b54f0d01b161d965adaae87ffed390b","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3890a40c99230289aff14e870c7c770724a56e","datavalue":{"value":{"amount":"+0.8812941","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":"Q287275$7E3520F8-F5A1-4947-906C-874A6A69A717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192babe1f332f85d504aff10a4562aaa3e265788","datavalue":{"value":{"entity-type":"item","numeric-id":5308386,"id":"Q5308386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3890a40c99230289aff14e870c7c770724a56e","datavalue":{"value":{"amount":"+0.8812941","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":"Q287275$6BE8D887-7DE5-4741-B062-2A536AF94893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fda515df108299e64087c7d65192e21c2c5c8f2","datavalue":{"value":{"entity-type":"item","numeric-id":3534985,"id":"Q3534985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09979ed5dcb12e918e739b584c280356c92f8a35","datavalue":{"value":{"amount":"+0.8810746","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":"Q287275$949FE526-9689-45FC-9351-784626613B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d7e98ea691cd731ff332024b59eb4c51286d82","datavalue":{"value":{"entity-type":"item","numeric-id":922543,"id":"Q922543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb8db62aedd6a57c81bef1c7f09397b0f62b462","datavalue":{"value":{"amount":"+0.8797024","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":"Q287275$C268330B-57C6-4584-8AA7-D3F62A2B16D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9d14725bbe7a418d4e6b915ab7d449f6fd0985","datavalue":{"value":{"entity-type":"item","numeric-id":286731,"id":"Q286731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08390d64e2c877648e232775d69f23c2379a6efb","datavalue":{"value":{"amount":"+0.8792541","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":"Q287275$E3C8D6DF-0989-4614-93A0-134CD5D4F6CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation systems for ground proofs in automated deduction: a survey","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolation_systems_for_ground_proofs_in_automated_deduction:_a_survey"}}}}}