{"entities":{"Q7034870":{"pageid":21712104,"ns":120,"title":"Item:Q7034870","lastrevid":77522540,"modified":"2026-05-04T15:31:22Z","type":"item","id":"Q7034870","labels":{"en":{"language":"en","value":"Synthesis of recursive programs in saturation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977152"}},"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":"Q7034870$2CDC7B40-8758-4FEA-B23E-642E508D5601","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"636ce6b1cff21393f0d6ef8f6d7f10b4b0313fdb","datavalue":{"value":{"text":"Synthesis of recursive programs in saturation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034870$6868D99E-60FB-491E-A3FC-CC924C0EB3EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75616378ff725fe3b1afcd3616800644c4505e95","datavalue":{"value":"10.1007/978-3-031-63498-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034870$2B3B9BE2-3058-490B-BFA1-1D6E1E4030C0","rank":"normal"}],"P16":[{"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":"Q7034870$0C763922-9CF9-4AC5-B2A2-D41191F00B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea881ac09fadc09a2eee7a26b035e975a8dbccd7","datavalue":{"value":{"entity-type":"item","numeric-id":6164419,"id":"Q6164419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034870$FE259715-CF97-4991-8223-40A9E8DCB335","rank":"normal"},{"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":"Q7034870$55BA32CF-D0CE-4274-875E-76D8B7B3C061","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":"Q7034870$513EFE84-EF8D-424E-B34C-4400CE050C69","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":"Q7034870$CB4ED9F3-A88A-472B-A9DC-39D41F6A647F","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":"Q7034870$E22A37EB-6828-4125-892E-7C91F3BFECB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034870$F27C3E87-CDBD-49F5-991D-7018F7A19EE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034870$E0D74590-E131-4D70-B5FA-52ECFC9944F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0277660bac7178fd1e90701b98254847be053005","datavalue":{"value":"7977152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034870$1240EA21-E1F9-41F8-B15F-7C5927ABDAC1","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":"Q7034870$52486E47-4AA0-44CD-966B-7C7044018AF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034870$7F49DA49-CD4C-498A-B6BF-9EE8279B2B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034870$12FEEF32-0520-4EB0-A6DA-D803137B07EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86a171fa82c1ea15db4e7a7c23402cbb117f3b1","datavalue":{"value":"superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034870$43B8CE2C-0FEA-4BEA-89B8-15F714C1DE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034870$CD920C08-60B9-44DD-91F4-8CF402034927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034870$DC194DFD-0B53-4062-82F7-EB81F162F164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034870$0AB530A1-143B-4FF9-883D-8D02926ECA29","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":"Q7034870$3737B1AB-BE0A-4795-9B2E-75BDBC9DCF79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2eaf1c8e5e649a3c59e663efd73652b24868feb","datavalue":{"value":{"entity-type":"item","numeric-id":4941840,"id":"Q4941840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034870$DBD749C5-0D27-48D8-9FAE-4A7408483BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5d1c9416cd7ab21c7bc34b16c6a49e713b4b9a","datavalue":{"value":{"entity-type":"item","numeric-id":832155,"id":"Q832155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034870$40230975-8549-459D-A235-E8EAB47BB4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8452c1df9b2612b34848e6018918c0be8c81a6e9","datavalue":{"value":{"entity-type":"item","numeric-id":5649989,"id":"Q5649989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034870$54D4BE45-8A25-4D96-8CED-CE7885A34175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"067318735db9707e0f17d8a952a409eb52ff0056","datavalue":{"value":{"entity-type":"item","numeric-id":6828138,"id":"Q6828138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034870$DD44FF60-D6E3-4B4E-9D4C-42902E8429AE","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":"Q7034870$874D193E-DAC6-4688-B4A8-5D672ACD892E","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":"Q7034870$22DCEB31-730F-4543-B876-E6862028E502","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":"Q7034870$BBEA1EAE-D41F-48D1-9BAF-48FD9F901BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3a5e3bf8edae398f2b61b56d57d442756c8064","datavalue":{"value":{"entity-type":"item","numeric-id":3303897,"id":"Q3303897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034870$F9F6DC9E-4C60-4AC1-8C2F-D83074A9A62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034870$EF536811-4E0F-4689-B4A9-4018A4B1DF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d24892d871ceaa1ea557f44b46e8e5184a00927","datavalue":{"value":{"entity-type":"item","numeric-id":4404413,"id":"Q4404413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034870$194E6964-AC04-4FBC-8808-B4BFFE6AB142","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":"Q7034870$85AFF64D-72FD-4978-9997-49B4A4D091CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034870$156B084C-199C-4106-B575-AFDBE1A4FFC8","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":"Q7034870$8A94A264-1B65-4D98-96DF-9D37639801BC","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":"Q7034870$66BF03F7-0F6F-4706-A9AB-2246ED979D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f26918fbada64c1f3b77f3fcc6bd24c4b07c93","datavalue":{"value":{"entity-type":"item","numeric-id":3184508,"id":"Q3184508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034870$14A7ED73-D9AB-424A-81FE-A2719BD55261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034870$AA9C9C77-0A0E-4241-9B9D-283D69C7F053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7702ef7d08a68ade24848da2e5c61a513039e9b2","datavalue":{"value":{"entity-type":"item","numeric-id":4847378,"id":"Q4847378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034870$F48C0D93-240F-418B-B46C-61147D34A858","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of recursive programs in saturation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_recursive_programs_in_saturation"}}}}}