{"entities":{"Q6632203":{"pageid":14243355,"ns":120,"title":"Item:Q6632203","lastrevid":42392138,"modified":"2025-06-14T13:58:18Z","type":"item","id":"Q6632203","labels":{"en":{"language":"en","value":"Partial bounding for recursive function synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7938232"}},"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":"Q6632203$443D366B-4A63-4AFC-A67E-0BACF9876711","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"813b8518d860bf6f34970e750f8ff7daec48fe55","datavalue":{"value":{"text":"Partial bounding for recursive function synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6632203$62F152BF-27FE-43C7-86D6-62CFB156843F","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":"Q6632203$E476BA5E-2704-405B-99A0-0A1B365BA7C0","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":"Q6632203$0F324A5C-0F8E-4974-BEE0-A68D462C6955","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632203$200D9EEA-210F-44EC-B42D-35FCA0C6F3E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afbddbbaa886e152d37fb2fb83e2897e565225ee","datavalue":{"value":{"time":"+2024-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6632203$8DE550A4-EC03-43C7-9135-CF012CBC0F9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6632203$3AFB5408-482F-4B0E-8FA8-35F31AA69C8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35c40857ab732ce1ed81d8fa6585511c9b427ce8","datavalue":{"value":"7938232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6632203$76CFFC0C-7B97-48D0-BFCB-64E5C176163C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6632203$DCD39CAA-CC6F-412B-81D0-9A176DE8AC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1cda9b4ef397f5f46a64f2f361bd405fcfed1c","datavalue":{"value":"recursion synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6632203$FC29B06D-17A9-41B5-8960-1B13822D9DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c4f042277793bde754819f3937b6ac7f3e682f","datavalue":{"value":"quantifier bounding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6632203$AB0D628B-279F-4363-8835-D404B4940E23","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":"Q6632203$67420153-966E-4C93-A9A4-D46CE820BB4A","rank":"normal"}],"P223":[{"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":"Q6632203$C2154903-0F55-4205-8891-3D687CC43F90","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":"Q6632203$6B1ECBC1-8771-4052-8100-B8E33B8470BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4133cc3f6d012e4eb1d1464f6a6670f5d96aa8a","datavalue":{"value":{"entity-type":"item","numeric-id":4376491,"id":"Q4376491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632203$AD79FF8B-F861-47C9-8066-B46DAC7A1670","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":"Q6632203$AE7DF9D2-86DB-4BFF-BEBB-E867A8E615B4","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":"Q6632203$60DF9FC7-53FA-418F-9DBC-9468BF960D73","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":"Q6632203$282213F4-0F1C-4D16-868D-E04C86E66E38","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":"Q6632203$58ED66CE-A2D5-403F-B8BE-28D3553881FB","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":"Q6632203$0D4DBB17-1776-4438-B037-494F575479E9","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":"Q6632203$2C04E1BD-3A91-48D1-95BA-D94513CD67BD","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":"Q6632203$F6EDF2FC-E9B0-4A2A-8D7D-006B69472326","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31e56ef043b7e47f030ab35804713efc671e4e38","datavalue":{"value":"10.1007/S10703-023-00417-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6632203$8A1F614A-DF09-46AB-A766-033F8B2761C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6632203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6632203"}}}}}