{"entities":{"Q6973202":{"pageid":21342267,"ns":120,"title":"Item:Q6973202","lastrevid":76210071,"modified":"2026-04-23T06:12:39Z","type":"item","id":"Q6973202","labels":{"en":{"language":"en","value":"Two-level realization of logical formulas for deductive program synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8051389"}},"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":"Q6973202$9D0DA754-5574-4E7D-B9AB-174C7C99694B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f58131bd34d14d28c28692750ca09e1df0be409f","datavalue":{"value":{"text":"Two-level realization of logical formulas for deductive program synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6973202$BB995AA6-A134-43DF-A8C5-9E05D011D798","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f3ade9fdf7389ea46afda17f846945d77f7c12e","datavalue":{"value":"1565.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6973202$9335ACEB-530E-425B-A3F1-A23D11B3CF90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bbce3f49f13eba7e9114c76215742cc7dfc50e4","datavalue":{"value":"10.35634/VM240401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6973202$FB219389-CC40-4811-8347-95D48D28EAB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8774127e4ad100242fe892c6e43426cc179241cd","datavalue":{"value":{"entity-type":"item","numeric-id":6973162,"id":"Q6973162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973202$8D5B6B36-EA76-42A0-B0A4-BEE0221ED6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea2b64f0961f0651858ae8900a541d0d880eb189","datavalue":{"value":{"entity-type":"item","numeric-id":1885029,"id":"Q1885029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973202$EFCD531D-0750-44CB-9DF6-B467F04E3D37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5908148a01367f76f0efac5d5d457120664e505","datavalue":{"value":{"entity-type":"item","numeric-id":2932281,"id":"Q2932281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6973202$13CFC5A0-B00F-4BAD-87FC-CF0AC9DAAEEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50452fbce433f8b24c960231ec3b671377e4d142","datavalue":{"value":{"time":"+2025-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6973202$C674CD5E-9788-4619-B712-B3DEF30A3CC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6973202$8ACE8683-4751-4F97-A14A-B84A261889A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6973202$B66F93A4-4D20-4948-BAF7-0E519157E90C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad2f816e4ce13634c1efd9af42f5843d144b9ab4","datavalue":{"value":"8051389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6973202$F14F4EF9-5495-43EE-99C3-C59D58ADD200","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faa505f6f0b62215e5b156ed2e79e24276c16180","datavalue":{"value":"logical formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973202$5FA00016-4ED3-4D99-8A8A-35CFA113CC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc8be07ac551ab83e4335385a09ae0b05d11975d","datavalue":{"value":"algorithm synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973202$7EA30CAA-27D4-4AC3-B82C-B6FBF19F808C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973202$BF572DCD-CCD5-462C-B4B3-63F2A005F4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973202$5E8E573D-5D57-4A7F-A787-7C7D90A4EC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b11aecd54043c46ac2be26cc9bd52a4ee06a800","datavalue":{"value":"calculus of sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973202$087D112A-1750-4174-AF5E-8F21658D10C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e2bb29096bece740dc8e645256701aee83d754","datavalue":{"value":"proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973202$84D3723D-C738-4204-A712-07FB7C3AF50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66a1d43488a71018d1c2c41f9467a887b29930d9","datavalue":{"value":"interpretation of logical formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973202$CF137497-EA14-4738-A0E0-D616C3958AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6973202$ED730FE5-34FD-4D96-8E28-C03A83E9F89A","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":"Q6973202$68CB4397-5F37-4CD0-BD66-2D7FA1E8D20A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two-level realization of logical formulas for deductive program synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two-level_realization_of_logical_formulas_for_deductive_program_synthesis"}}}}}