{"entities":{"Q832233":{"pageid":834081,"ns":120,"title":"Item:Q832233","lastrevid":64674735,"modified":"2026-04-11T21:28:26Z","type":"item","id":"Q832233","labels":{"en":{"language":"en","value":"Counterexample-guided partial bounding for recursive function synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498168"}},"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":"Q832233$5B939A0D-348D-4AFE-A6E1-EBE23BA501A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"272e58420c204182ac10998e3b1a819ceb340ecf","datavalue":{"value":{"text":"Counterexample-guided partial bounding for recursive function synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832233$9F04AB43-50AA-45EA-B990-6A951A09449B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9e1d048e53253c93b7b7b440bca066f14f759e1","datavalue":{"value":"1493.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832233$8926F556-DCFA-4F38-9EAC-0E1766942558","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d424203e5d2526d3e5a688b4518432511d9b1de","datavalue":{"value":"10.1007/978-3-030-81685-8_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832233$A601B26E-4565-45E1-A9C9-B7FE88499E94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"447b7ccb3b44606d06749a82accbbc81e15a98a8","datavalue":{"value":{"entity-type":"item","numeric-id":832231,"id":"Q832231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$24CE287E-E8CB-4456-9E27-AA768323B033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"907a0716f1ea1fdfea92215ee8d3f91dfce365d8","datavalue":{"value":{"entity-type":"item","numeric-id":832232,"id":"Q832232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$07EED3A3-882D-44DC-953D-F0065329C9C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832233$1244C7EB-CA77-4CD3-91CC-F13CB3D91667","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832233$C8C92941-F6B0-4EF3-8C99-6D457D67524A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832233$85795A86-43C3-4850-BF02-5DBDA6D2C11A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acdd5cb2eb9e5b87f7d00b12fedd557c8821dc52","datavalue":{"value":"7498168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832233$D4D9C022-372A-4544-9785-C2052DE48646","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$4CA1F306-8CFF-4A5E-B824-CCCF6E4F34E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c48993fbd85f379ae45effaa429a7f913736c21f","datavalue":{"value":{"entity-type":"item","numeric-id":33285,"id":"Q33285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$AA0C62C2-0B3F-433A-AD80-8CDF7F9CBAD8","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":"Q832233$CAA5ABEB-47E3-4858-9C84-AB7AFDA9CB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$937D2091-4E6A-4204-B6EF-368A2DCE7C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$AE46AFF1-0EA7-401C-B630-1DCFD59B0AAA","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":"Q832233$08E37AAD-61DA-4B19-8977-F5DFF76FCF87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ec411394be5ca8257eee262481eb795a6a7edc0","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81685-8_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q832233$4E682A0A-5C60-4FB8-818C-FC3FFB243F88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d34718b7a41713f8c58688f5adfa8c42caf045c","datavalue":{"value":"W3185895498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832233$E7BD3CE8-2B2F-4AB1-8DA5-6FCD128BD20A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f0fd6c63318e1b03223fecb03dc0caa95c75da","datavalue":{"value":{"entity-type":"item","numeric-id":5056071,"id":"Q5056071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$2B958729-9B39-46DD-B578-4880BE135B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$11E5DC0C-3502-4F22-8A6D-1D6017EE10D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94cc1fe1c12ea2047d264ece3fe22a6bd2f3760","datavalue":{"value":{"entity-type":"item","numeric-id":3303891,"id":"Q3303891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$25BBEED1-56AA-4D96-A947-C146D766F6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba89e24c650d6f69085035ab2ee78d9f09dc9b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2828323,"id":"Q2828323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$84597A93-E5F2-4CE4-BAED-1B20A508D9F6","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":"Q832233$EBDC1020-9EB1-43C4-8EA3-C6E572128E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ceb28bb4c6d355783334e1ae2916b20c8aa5033","datavalue":{"value":{"entity-type":"item","numeric-id":3093353,"id":"Q3093353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$8F13FBA6-7BC6-4F52-9907-877CBF8C4EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83107292cc9d1671f2c4ce6828754df1cc86128a","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$FDDD1021-36AC-42EB-844D-C1973DF3C104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f1c4d780a5374e55b030ac066db90ef0de63fa","datavalue":{"value":{"entity-type":"item","numeric-id":5255106,"id":"Q5255106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$91040F1E-0297-4863-BC64-9AC4493D6D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ef1a1192ee56001b7d8d67ba17cd41c9fc9164","datavalue":{"value":{"entity-type":"item","numeric-id":3558346,"id":"Q3558346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$56A50386-2C5A-44D5-84A4-FDF497D4E82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50e7d4b4b2a7a711115847a2205614ed13b6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5261516,"id":"Q5261516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$6B065B5E-5C38-4FB4-BB64-E770C6169B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa2d23ab889941428910dce1c5f472bc9edd6d","datavalue":{"value":{"entity-type":"item","numeric-id":5408579,"id":"Q5408579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$E1E7EAC3-7A34-4E4A-A33F-821A7D601246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dc5730c6956a442fe56abd4ce427894b06e399","datavalue":{"value":{"entity-type":"item","numeric-id":5408403,"id":"Q5408403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$E3758291-955A-4CDC-9CB4-A9C408B2F50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4bf82aa5c825000208c5b437043a5cc9fbc4323","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$E953B1C5-C7D6-4EEA-856C-83CEC42A9124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4b0e749695597a922fa42d8c428aa436a92994","datavalue":{"value":{"entity-type":"item","numeric-id":4111079,"id":"Q4111079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832233$DDA480A1-1495-499B-8E88-4897695317EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fb1657427495232c5ae2608a0e6d15ca998a89","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7bab29795c072ad1df60ee8c5fb63374019234","datavalue":{"value":{"amount":"+0.730860710144043","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":"Q832233$CBB5DFB4-AFA3-4F68-ACFA-81AA84AEB3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df272bc2cb67fd7b7bf19bfde99b9b38cd5a5106","datavalue":{"value":{"entity-type":"item","numeric-id":832230,"id":"Q832230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14fe1ab25d3581db607767d5f2b9d6ed959f2777","datavalue":{"value":{"amount":"+0.7209435105323792","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":"Q832233$17F31EF0-0CBF-4AEF-825A-36ED80477B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a01942a02711b00fe4d9ca41ae8b4ea9eaaf7d6","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d326f9a7e6fdaf4f47e7b45cd7596278b82d14e3","datavalue":{"value":{"amount":"+0.7199079990386963","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":"Q832233$806793AA-5E2C-4DDB-8966-9F24BEDD9C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9065019a790f9bdf0886fc545dc798ce099bd053","datavalue":{"value":{"entity-type":"item","numeric-id":3763593,"id":"Q3763593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f8b38ad0c40573ba64c4d4a919399bb86347e6","datavalue":{"value":{"amount":"+0.7146391868591309","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":"Q832233$8DC46335-156B-402B-B32E-9C923535CA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819feb3a288616685e522fb27b106104ad0886a8","datavalue":{"value":{"entity-type":"item","numeric-id":3785924,"id":"Q3785924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd6e93326f54e40c1d5935a2741adf324691f95","datavalue":{"value":{"amount":"+0.7094837427139282","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":"Q832233$1EA7FFD5-D1DB-4563-B0D8-DCDD21299BAC","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":"Q832233$C5479A93-8C1F-40AE-B8DF-B60F7AADAFF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterexample-guided partial bounding for recursive function synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counterexample-guided_partial_bounding_for_recursive_function_synthesis"}}}}}