{"entities":{"Q6856431":{"pageid":20635225,"ns":120,"title":"Item:Q6856431","lastrevid":84259289,"modified":"2026-05-14T07:47:41Z","type":"item","id":"Q6856431","labels":{"en":{"language":"en","value":"Synthesis benchmarks for automated reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8161303"}},"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":"Q6856431$68323989-41A6-4C33-8D9E-DFF591B10F9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52e06d9d8b4be590db33af585e949db1cb7e6ed1","datavalue":{"value":{"text":"Synthesis benchmarks for automated reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6856431$26C80907-FA22-4623-B739-EE75E968DBE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1caf5bca4c0ebb0fdf29c31c4869e4e755b14e88","datavalue":{"value":"10.1007/978-3-032-07021-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856431$F5BE3DA9-1CEB-4699-BB86-BAFE85FD2254","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":"Q6856431$CC933A8E-F62E-4CC5-BFF7-3911FA8937F0","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":"Q6856431$1C17A13E-1EBB-4B67-9A50-EAA70B9E83D9","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":"Q6856431$E4F7B7C8-90D7-4815-9034-948A7760B7B1","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":"Q6856431$D02EB825-5450-4576-B38C-44FA76014347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9d309513eb094714228f27770f91dcfb6622c7c","datavalue":{"value":{"entity-type":"item","numeric-id":6856429,"id":"Q6856429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856431$039E7E36-05CF-4CDB-B8E1-373A8BE4FB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18961ca87596aedbc2f7758e91b79005576abcd","datavalue":{"value":{"entity-type":"item","numeric-id":6856430,"id":"Q6856430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856431$52FED631-F42F-4119-ACFF-D56D5BAAC442","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0acc3e310b002e7d9eb6bd1bd0a699ed13f8904","datavalue":{"value":{"time":"+2026-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6856431$3B94DE7E-E1A7-453E-AB8F-5347F50AD599","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856431$EE7CC95A-E15E-4ECC-8B1B-E45A5C3CD330","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a955920ee38951d50e08c92696a29a16eac7d0cf","datavalue":{"value":"8161303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856431$F165D133-8BC8-4787-8B00-2FC0DF046D0A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856431$C10D5E78-C42F-47F7-9B17-BC54938E3C7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856431$F7F5C3E2-1816-4E14-81A9-40BB15509E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856431$66EE9296-D777-4198-8D24-548E739E62B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856431$0937C68F-651C-494B-8725-4C683B84EDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856431$D0DED576-B4EE-4D8B-9B0E-BA162EC6EDF6","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":"Q6856431$C295CAE9-20EA-42FC-A0EA-8729293A3E90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"180392334766a1b3f2f31b22b8eed5d02e89c6b1","datavalue":{"value":{"entity-type":"item","numeric-id":7034866,"id":"Q7034866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856431$52BDDD2E-B1E5-44BE-8749-5133CC3940A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde84dbc1bd93e579f924beb7ccadffefd3b72db","datavalue":{"value":{"entity-type":"item","numeric-id":7034870,"id":"Q7034870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856431$5C836CA5-1B4D-493F-93F1-0FBEBDBE39E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93099bf2680fe8445f2b5addd647801848b755c4","datavalue":{"value":{"entity-type":"item","numeric-id":6492751,"id":"Q6492751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856431$EB119EF9-E3AF-4183-BDC0-FDC716B2D0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856431$070A5F67-B29C-4DB3-92CF-3160227F3D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9189730146ba7a588b1523afcc7cd91ee49cbfb8","datavalue":{"value":{"entity-type":"item","numeric-id":5617314,"id":"Q5617314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856431$BA5C78A4-0443-4E26-BDDA-6D1710B02052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a83428767e1f7920f2dce5105ba967ac8bf5f6","datavalue":{"value":{"entity-type":"item","numeric-id":2280222,"id":"Q2280222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856431$ACFF7D8F-FE13-4376-A8CD-75DFCF4FE725","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis benchmarks for automated reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_benchmarks_for_automated_reasoning"}}}}}