{"entities":{"Q3541709":{"pageid":5571613,"ns":120,"title":"Item:Q3541709","lastrevid":80954534,"modified":"2026-05-06T17:22:58Z","type":"item","id":"Q3541709","labels":{"en":{"language":"en","value":"iProver \u2013 An Instantiation-Based Theorem Prover for First-Order Logic (System Description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374249"}},"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":"Q3541709$682A0220-204B-44DB-9852-407D838E1735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7851bd19ad3b175b1bafcfed86810619bb0be8a","datavalue":{"value":{"text":"iProver \u2013 An Instantiation-Based Theorem Prover for First-Order Logic (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541709$0BFE18A1-5C81-4C90-A7AA-8CD2D5AFDD75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f9737c40615c75df284dc8f5eab31f7628cb555","datavalue":{"value":"1165.68462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541709$A3330325-B116-425E-917D-CEBDC76DB213","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eea25b9b08c01b8d31113ed28010294e5a781dcd","datavalue":{"value":"10.1007/978-3-540-71070-7_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541709$99E8B8B5-495B-49A4-A08A-3FC8218DF814","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce9e1735095a7237c0c699c31f4c0eb57566d709","datavalue":{"value":{"entity-type":"item","numeric-id":1401931,"id":"Q1401931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541709$1A6CAE5B-BAED-4B35-AB6D-888C6D72FCD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541709$6A6C21A4-5A56-480E-9EA9-16735BB35DAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541709$A10632A3-BA0D-43EA-A1F0-679FABB2B2E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541709$D828BA4F-62E3-4B85-89C3-82FE20F5D580","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fcb8cef48ddb241c54ec4b17ff23136b858c5e5","datavalue":{"value":"5374249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541709$D59C0B6E-4EF7-4C0B-99CD-60F0365FC3F1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fdfc7d4176ed5831a8a5733e2f553fe4c6d1538c","datavalue":{"value":"Q56020735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541709$EA5F656E-9DE2-4995-A1EA-078073669729","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541709$BE043DA4-382D-4CCF-8A42-9168E87D0DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541709$B326B074-A257-46A5-BABF-02B5919132B0","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":"Q3541709$FF373506-14A7-49C4-A0BB-E25C76B2EAE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c75425350f350a1e9f03b59f23a223d69c2e7db1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541709$24C9A5C4-E87A-4D23-8526-3A7AEEA8D589","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f71212771f00e1e3bb2c2187ee0622d5afcd4e1","datavalue":{"value":"W26338302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541709$8B2CFAAE-D67B-4FCE-A1BF-D575FA4DE406","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6652699d6230149600104f6166091d8338b2df","datavalue":{"value":{"entity-type":"item","numeric-id":5747761,"id":"Q5747761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0344e94e6d0071a8ae4706d83599f20f272255","datavalue":{"value":{"amount":"+0.8806310892105103","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":"Q3541709$1DF1CA74-A384-4C64-8CBC-8547343B3FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b065cdf9ee5815d7aba3bc448dd3137c103308e","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78a858d72b79f1def3e49c9164dededd73468ec","datavalue":{"value":{"amount":"+0.8108822107315063","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":"Q3541709$072D05A9-5A75-4337-84E8-8209D3DC15FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb894dc8eab22398caf3bbbbff59981daa6bce8","datavalue":{"value":{"entity-type":"item","numeric-id":4916080,"id":"Q4916080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd49c8df5cb251d96faf94ed52757db33a7047a","datavalue":{"value":{"amount":"+0.799786388874054","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":"Q3541709$F688EC2E-6022-4C1C-983D-820DE858ADB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8522d2416898af206aef854d5fb2e109849c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a25df6e68be86047ff5f343565f146c28a65ff8","datavalue":{"value":{"amount":"+0.7897571325302124","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":"Q3541709$5AA17177-B08D-4D05-893B-D9180B1829CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa5821d5bc9687fe29222b473d9339797d836dc","datavalue":{"value":{"entity-type":"item","numeric-id":5311286,"id":"Q5311286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ab6a38ae0f20944fc19d9bd6a735535ca87a24","datavalue":{"value":{"amount":"+0.7706086039543152","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":"Q3541709$30848AF9-3C8B-47BB-9CCA-C9C703CB7B82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"IProver \u2013 An Instantiation-Based Theorem Prover for First-Order Logic (System Description)","badges":[]}}}}}