{"entities":{"Q2920991":{"pageid":2931711,"ns":120,"title":"Item:Q2920991","lastrevid":44730396,"modified":"2025-11-25T13:42:08Z","type":"item","id":"Q2920991","labels":{"en":{"language":"en","value":"AVATAR: The Architecture for First-Order Theorem Provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6349542"}},"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":"Q2920991$24703D5A-80B7-4AA7-9A95-7283E6AC0F0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c2949b9c7fc139ed818761ea290073ce741873a","datavalue":{"value":{"text":"AVATAR: The Architecture for First-Order Theorem Provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2920991$8D487F5D-1B4A-461D-AA7E-DC8660C6D801","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c1adedee8fd6889de473f145c8b6996a0c7dbba","datavalue":{"value":"1495.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920991$13A0D404-2309-423E-9AA2-77F7599A7C2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efa4c5a73db7bd43ba33776649691b1f3648684e","datavalue":{"value":"10.1007/978-3-319-08867-9_46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920991$188B7E89-F75E-4D6A-91D7-39B22957182B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920991$F707F9F8-DCC5-4494-9611-E0F797B357FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920991$E029A7EE-7BDD-4C28-82AA-859EFD6CFAD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"610e294d6379c22730dfe398da4ff9dc44ff4c1f","datavalue":{"value":{"time":"+2014-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2920991$A7192D02-1D15-4F9D-9E91-941CE011707B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920991$15534394-AAB9-4A1E-9BBB-E19736013F05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32cb03c8640ab6a3ac3d14c51244cbf6f928fe33","datavalue":{"value":"6349542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920991$0C9AA7E1-5E98-4E76-95FE-040BA45A2B43","rank":"normal"}],"P1463":[{"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":"Q2920991$575BF299-D93B-43E4-AD59-7AA7E8CB76E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c7c18880caa813a6bdace0f373d3dec3147690","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920991$531F5F4C-5E9D-460D-8671-81D6B05CC20D","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":"Q2920991$6A2BDD53-5A66-40A6-BCA9-BB053569C5F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"696df3577155725d18c1da9fe22498aae236c92e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08867-9_46","type":"string"},"datatype":"url"},"type":"statement","id":"Q2920991$3C343BC7-1AC7-4746-8874-1E69EA528BFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21e20c685b9561234dc85b23dc465992582fcdf4","datavalue":{"value":"W2221495694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920991$8E960B60-5182-48C4-B1F0-1990968B1CE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddcd94f921aa20f6b9b45b22d22d4796be094a6d","datavalue":{"value":{"entity-type":"item","numeric-id":429582,"id":"Q429582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6679739cc4b4ac3df58e234d321acc8088a08b3","datavalue":{"value":{"amount":"+0.86182165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920991$810F6049-6C0B-4699-AF4B-8830AF5B48A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf175ca02fbfe4698f3e33445ec7cdc416b1c24","datavalue":{"value":{"entity-type":"item","numeric-id":5477663,"id":"Q5477663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7ac2ccb39bb74f9e326a4a56492a5bd51088b1","datavalue":{"value":{"amount":"+0.8583132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920991$A413E8CB-E61D-4EC3-A0C7-F55A2D8F2CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5172a92f343de86c9809e312fd2211d411a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2964455,"id":"Q2964455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31944dc5690fb7df81648e8143be6978f33edbe","datavalue":{"value":{"amount":"+0.85550344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920991$EC5EF440-C434-4F60-85D2-A98889325298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f91f2a04af7ed716280a69b31bd5722b64e604","datavalue":{"value":{"entity-type":"item","numeric-id":4246725,"id":"Q4246725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7a5afaecc29cf44122f2e88c5c246d0ca5e1a51","datavalue":{"value":{"amount":"+0.85331005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920991$CB9A6B30-5F61-4E56-853B-82CCE2EA4DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d370192bbaebdd64f89013897ae67d132d2f82a","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6ddeda8d50299a96ef97b64236ae35eed25a5a","datavalue":{"value":{"amount":"+0.8489755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920991$F9A6B22F-D85F-4524-B30A-719FA8D11E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"006b7fde6af592f6799db7f14c1f8600cd6b606c","datavalue":{"value":{"entity-type":"item","numeric-id":3457212,"id":"Q3457212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52d5f7bba14b9e0143af40ae94bc303d3cf1c72","datavalue":{"value":{"amount":"+0.8424673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920991$F2AE97A5-2D07-42B9-AB22-4372CB846481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66a676533dcd495b9a796a7f6bbde83344fee32","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d91f52371b64ceca6a74d34efaf47c9fb7a484","datavalue":{"value":{"amount":"+0.84185314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920991$AF2F6B0D-F229-4326-839E-D6AB30287ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3f83f9d1560842ccb6cefc27dc6f7eb892fe81","datavalue":{"value":{"entity-type":"item","numeric-id":5452598,"id":"Q5452598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d02692aa2d88848018f06ac1f52218b0799ca588","datavalue":{"value":{"amount":"+0.84093434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920991$B4159230-743C-4D88-BA0C-471B6099570B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2920991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2920991"}}}}}