{"entities":{"Q2128807":{"pageid":2139550,"ns":120,"title":"Item:Q2128807","lastrevid":55910095,"modified":"2026-02-21T01:48:56Z","type":"item","id":"Q2128807","labels":{"en":{"language":"en","value":"Inductive benchmarks for automated reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7511930"}},"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":"Q2128807$40AB96F6-DFC4-4B05-AA0D-20B53AE0C23C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc2a2afd04b25396b72e871e603640e8c2c6c21a","datavalue":{"value":{"text":"Inductive benchmarks for automated reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2128807$3E542E7E-D1B1-4E95-9571-A446BCB383AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b3c6fb532856ed1f5db2d2a8d12e5650b4a6c6b","datavalue":{"value":"1485.68281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128807$AD5925FA-0983-4DEE-B22D-79411E47F123","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa2fee4edebf1467da7e01f0a6aa40d71163f102","datavalue":{"value":"10.1007/978-3-030-81097-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128807$CDC6803C-A79F-49AC-BB4C-2320050CAC8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81e031b0ff1ac4c6f60f57047e51b6dacd44a70","datavalue":{"value":{"entity-type":"item","numeric-id":2128805,"id":"Q2128805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$5D2B626F-AB6F-4A47-80D6-8BEBC9FFD24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84a6ad58c1b0ac98058096c0fead27fbce22af9","datavalue":{"value":{"entity-type":"item","numeric-id":2055870,"id":"Q2055870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$A6EE8618-5FCE-4088-9BD5-89D262D9AD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$26C043AE-66B0-4094-9F55-104AC13DA89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4356e07e26c819aaf28872c09ac7d0a6f42a7b72","datavalue":{"value":{"entity-type":"item","numeric-id":2128806,"id":"Q2128806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$620C0560-E9CF-4E51-9B8F-0FD1BB9DB25E","rank":"normal"},{"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":"Q2128807$39D44206-1ED0-4E6F-A952-718E48893B0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a2d220bbda83e730799716cad61153265e68ffa","datavalue":{"value":{"time":"+2022-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2128807$2BE240FE-3D17-42AD-92AE-80649207B384","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59737f6d8cebecd659d7263610ff2083b8126c4f","datavalue":{"value":"http://hdl.handle.net/20.500.12708/18558","type":"string"},"datatype":"url"},"type":"statement","id":"Q2128807$56423C13-16AF-45B7-A4E9-BDA4329AD0E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128807$FDBFABB7-EE1C-4972-B5A3-A48D9FA9E9DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71dcc866ef07016c6e337da9cfcaaf5c01dbd906","datavalue":{"value":"7511930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128807$D8DC6036-B6F7-402E-9879-AB799410A5F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e93281c110950912d53a233ffbf2f43d63e892","datavalue":{"value":{"entity-type":"item","numeric-id":5974215,"id":"Q5974215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$34B10515-163A-4C16-86B5-89088D1C0CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$82DA1F56-11DF-4B6F-83BC-B9338181B3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898d2836e77c209a26cdc90309154e79d6e4a365","datavalue":{"value":{"entity-type":"item","numeric-id":3453129,"id":"Q3453129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$647AC305-EF64-45D5-8DF1-38EFF47A03A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c32d3283dbc1fe39bfc7c16048659fcd75d91f","datavalue":{"value":{"entity-type":"item","numeric-id":1687553,"id":"Q1687553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$31A42E36-AD8E-4FB2-9BEE-8B1C3D3CD726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb4b03f78b4696a9667616097693fb4018941f4","datavalue":{"value":{"entity-type":"item","numeric-id":2055871,"id":"Q2055871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$B3990960-4891-4FB6-B7F7-216AA03F3286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$7C491533-E607-4EF5-BE1D-BD18F75F52E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ebfe73c4af93de38a926b953d335f0d3eb1fd6","datavalue":{"value":{"entity-type":"item","numeric-id":5049029,"id":"Q5049029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$491A80EA-4131-4916-9EC7-7B51D2E5ED38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44e9e532a60b0c2fe7f69fc24b91b25cb2cddc4","datavalue":{"value":{"entity-type":"item","numeric-id":2305434,"id":"Q2305434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$C579D007-51B4-46E8-8576-C7CACE193EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797d69ccc16ac41adec3adfdcc63bc05d0208ed","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$14FAEDF3-F455-4203-A595-7A5B61A7B4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4073212e5e8a290d1249a88cf67061f68759f7","datavalue":{"value":{"entity-type":"item","numeric-id":2894285,"id":"Q2894285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$A80CBAF3-393E-4E8B-ADCB-44314A1599E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0a45cd96f549d8d8d247a100f432efed6070034","datavalue":{"value":{"entity-type":"item","numeric-id":5974215,"id":"Q5974215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$2ECB93E8-E104-411D-A97A-B51B316D5C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35f666bf20d55d5a67913c2d3659e6090962784e","datavalue":{"value":{"entity-type":"item","numeric-id":53612,"id":"Q53612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$91622EAB-4759-44EB-B071-FCD0F581C25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$50BD168E-09FE-4BFB-99A3-ED2FD62F0E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"811a0fe9a7b57bf2a85ec487f0e3db8c3368751a","datavalue":{"value":{"entity-type":"item","numeric-id":19752,"id":"Q19752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$FAB99C50-4BD8-41C1-8AE5-A3A37956FBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90f139681161cf03fca3b88a13657b8b8fd37862","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$7F6E3F9C-461B-4A9B-9162-9F7644D53C2C","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":"Q2128807$02E6EF2B-084F-4E34-9268-305747DB8FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$929465E1-BD3D-41D8-9E32-3077BEF8C872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$C240AA9B-D4E3-4C9B-9ADA-D2C2C6F905E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$F4DB2793-A834-4E30-B4CE-B8F1D2E6A129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128807$F0CE892D-58CB-4F44-B781-1A6B45E2E8DB","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":"Q2128807$69A06027-7353-4748-ACB4-54E50CC36CAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37166db6a0aa42d91a956355632a396d749f31ad","datavalue":{"value":"W3160880798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128807$423CE2D8-DEA0-4ED5-8139-BC659F89E2C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e835d642ae671928185aa99028b1bdc13e409b","datavalue":{"value":{"entity-type":"item","numeric-id":3453129,"id":"Q3453129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc72b014f7d2403b0f2b4c2b4bdcad4802a9d156","datavalue":{"value":{"amount":"+0.8382197618484497","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":"Q2128807$4110B660-1B43-41BE-B9A5-61106E496594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4396432ef5ab133000893590ebe84a1984c3c53","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e0c10f9d49be264da58d0af167c53372f7f9b1","datavalue":{"value":{"amount":"+0.7735462188720703","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":"Q2128807$FAC70664-D9A8-4D2B-AC9C-5BB1676B6F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ac25501e10601116990b60965b583eec10389c","datavalue":{"value":{"entity-type":"item","numeric-id":2891425,"id":"Q2891425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76f424f40a50228a3aa61d43abbbbce782fa8d1","datavalue":{"value":{"amount":"+0.747005045413971","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":"Q2128807$85438538-C842-40C2-84FD-AF0706783E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6074c0b456c2c33d336d95d4f010c844e0e7d639","datavalue":{"value":{"entity-type":"item","numeric-id":5200023,"id":"Q5200023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297b327b512b7f56135d9feaac5f4b4cd6613f9c","datavalue":{"value":{"amount":"+0.7279072999954224","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":"Q2128807$0F01822B-69F3-43C2-9FA1-70D3CD6D11AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"904181582e9db5f13343bbb896d848cf85c3db9d","datavalue":{"value":{"entity-type":"item","numeric-id":3021913,"id":"Q3021913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e667aa8131c4db2ffaa96ef6faf6843a14d2a6","datavalue":{"value":{"amount":"+0.7247835397720337","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":"Q2128807$FB684DB2-5A66-41CA-89E5-336CC462ED88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2128807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2128807"}}}}}