{"entities":{"Q5747766":{"pageid":7777317,"ns":120,"title":"Item:Q5747766","lastrevid":97044827,"modified":"2026-06-05T13:06:55Z","type":"item","id":"Q5747766","labels":{"en":{"language":"en","value":"Automated synthesis of induction axioms for programs with second-order recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785454"}},"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":"Q5747766$821BA055-CFEB-421B-9C16-27B738DA003A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa80f7822c4f6a277e11a152eb077b8da76f7929","datavalue":{"value":{"text":"Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747766$F9B01DCA-E0BD-4763-80DF-881CC1B91B95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29027fbc7650b6b3526f44b008a4e0f739c969ba","datavalue":{"value":"1291.68316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747766$2BB3763C-538F-48B8-B96F-AC466957431F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7daad87f8020f290be937b7d8d287afeb2d1edb","datavalue":{"value":"10.1007/978-3-642-14203-1_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747766$D89C4933-2B71-4DA8-9B67-15FBFD845486","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"776c5611605b33995b265c521cf1d553220a628f","datavalue":{"value":{"entity-type":"item","numeric-id":2866335,"id":"Q2866335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747766$682AE580-54FA-4F38-8012-940146A075F2","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":"Q5747766$394BFC9D-C14B-4643-A26E-3E656F7BC05B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747766$0D643921-56EE-4D23-BCCA-22DB177FFF79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747766$983406FC-F3C5-4D23-A23B-7DEDA1EB1FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747766$2FCE6D52-997B-46D7-A411-862F17B41793","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"250ccb7f98d215b2f4702569e10ae73ace842c9d","datavalue":{"value":"5785454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747766$6931AE63-471C-4FE3-A834-0267F77E7BA7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747766$FFA04323-B260-4E9A-8CAD-42A0704386B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747766$B13A75AF-1812-4FA5-8440-1A709B4BFCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747766$31AC1DFC-C232-49AD-ACB2-1C7BA53CC666","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":"Q5747766$39A736D7-D582-4E39-BBDC-013BF85543F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9beabe189923f7f0de57c91736cccc351a12e74a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747766$5A39FAA7-B417-4393-A946-7D4888F76DEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a8386d25f800bec9dcd291bfb75dc8041700f77","datavalue":{"value":"W1523149815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747766$A8F785A7-993C-4C5F-806F-E90B96BA58CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"230c4999594727465a1b0bd22dd391cde443dd8b","datavalue":{"value":{"entity-type":"item","numeric-id":3557079,"id":"Q3557079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747766$AC178B7A-FC02-4964-A6F3-32DD99DE4E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747766$54C2F629-EFCF-43BD-B291-A4F4D6A92CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad38e0ef5109c872fd15da36ed5bb76b94d70ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3434629,"id":"Q3434629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747766$A7BCCCFE-3360-4448-B177-0BB14A8B2E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747766$9B8BE137-5FC1-4407-80AD-E42C3CD994E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9096cca42c1b60f729db4dc67f52c9bf70298bb","datavalue":{"value":{"entity-type":"item","numeric-id":3766888,"id":"Q3766888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747766$439DA7D4-354C-4214-B464-834A7EC62462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdb7eb1c321e8767f4208248e3db1bf7dc32efe","datavalue":{"value":{"entity-type":"item","numeric-id":3617771,"id":"Q3617771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747766$8AADEC2F-2C61-4602-A572-DCBDFCE01123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747766$E6F3D9CF-6BF3-4846-9979-050D2DC114DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c8f4c6b02114c3323bed666fcec0afbad9b7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4255517,"id":"Q4255517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747766$7079F17D-2D99-4EDB-9D09-6875530AC5C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb35222c649334b2ba24b6186c164c7c44df0c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3557079,"id":"Q3557079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a860fe9534528f70c12e307429619ee21069b01e","datavalue":{"value":{"amount":"+0.7994268536567688","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":"Q5747766$ABB3AE87-AF41-414F-AA28-C96E7A3CBDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2ef1dfb8450e1a64b77276d877120e7c94cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":4023948,"id":"Q4023948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032d92cc235a056ca307a618e630a249352ce5fd","datavalue":{"value":{"amount":"+0.7472668886184692","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":"Q5747766$824AEE3D-6FAB-4699-8995-40AD61713272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94f7cfa64d6abc31e9b501a0aaba7f2aa261f10","datavalue":{"value":{"entity-type":"item","numeric-id":1272617,"id":"Q1272617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d38ee774a09f8a4f024e94b11d2303ac61e7e1a","datavalue":{"value":{"amount":"+0.7468976378440857","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":"Q5747766$256828A2-888C-423F-BF6A-356B6400FAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f225124d15a7a6aa53392ac079722a1eb252bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":3345810,"id":"Q3345810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6d2fca02a335afe1710c2170996183329fd268","datavalue":{"value":{"amount":"+0.7366034984588623","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":"Q5747766$45A85BEA-5D70-4214-96A7-465461C1907B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042b3aa24439993402bfc57bb062c2501b2da7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4916212,"id":"Q4916212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cca939e0dfe601f01f2ddf4f9f4e7b52a2f464","datavalue":{"value":{"amount":"+0.7104047536849976","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":"Q5747766$A409FF85-D91F-42F1-AB20-02119D6E1333","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated synthesis of induction axioms for programs with second-order recursion","badges":[]}}}}}