{"entities":{"Q1817148":{"pageid":1827890,"ns":120,"title":"Item:Q1817148","lastrevid":46449054,"modified":"2025-12-24T19:39:20Z","type":"item","id":"Q1817148","labels":{"en":{"language":"en","value":"Strategies for symbolic processing and synthesis of algorithms and programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 952265"}},"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":"Q1817148$C8FBD898-9125-4FF1-9055-C4DBF127C656","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11dd44140a4301c248fd270b4062672bda5ec0a1","datavalue":{"value":{"text":"Strategies for symbolic processing and synthesis of algorithms and programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1817148$E3360EF1-9A42-4FE8-9593-66D58F62D3F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27164aea93aa358540c3356011a74c8244a3875e","datavalue":{"value":"0875.68569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817148$D3F4621A-695A-461F-A98E-D93605F9151D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e25d52c9d94fab2eafc6e810908269d03ae14fbe","datavalue":{"value":{"entity-type":"item","numeric-id":800710,"id":"Q800710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817148$DED91053-00E7-4F88-B6BF-3CCA6E66CCDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817148$05982728-DDB3-4171-908F-5A5D2A68CA80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"253a0cc57300e2194fc1b5d1f13fbbc8bc97b0de","datavalue":{"value":{"time":"+1997-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1817148$B00F0634-DDFE-4D3C-BFB0-81964D681997","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817148$693D6D8C-4F31-42D5-B756-33B145089A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817148$27A3F947-F635-4B38-9762-142B90E8ABF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817148$7C6FE080-68C4-4CBC-9A3F-BD9B56FADECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817148$2EB88B98-D4AA-4F12-89E1-AB9FF25BFFA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd22ed48045a86e825454e87933a93f57fe9d3de","datavalue":{"value":"952265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817148$6D3B6F98-9FDC-4783-8F6E-AA9248C22C98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0babccae7e0f2747c230a8c5c802ba92e93aa74a","datavalue":{"value":"symbolic processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817148$B135D435-39C4-4441-A126-83F02CADE7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2867c835f20ea057e293e3146462c22f49a36bf","datavalue":{"value":"algorithm algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817148$58D399FA-BD02-401B-9286-ACF5B9E39A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f11a697ca4320b2c5e334107aae45a37f7f8f8b","datavalue":{"value":"sorting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817148$CE1D9D11-0B5C-4897-82E1-62D28351B3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0c7481e3c5c308fc47ea6e648bd33e7ea295f7","datavalue":{"value":"searching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817148$3D1CFA5B-E570-4B68-AF72-80353ABC1302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df7f42035ab6e39be6bd914af43c7eb6f7898c70","datavalue":{"value":"syntactical analysis of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817148$65D852A2-7255-4F7D-82C5-3CE4BF6674C5","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":"Q1817148$F88D49F8-1452-4B23-AC68-3191BD0ABE06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983e64ea95e11950c97ba3363d84903ee16727bf","datavalue":{"value":{"entity-type":"item","numeric-id":3683523,"id":"Q3683523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a90152bc056ec399595c1dde4f799bbc32ff51e","datavalue":{"value":{"amount":"+0.7195620536804199","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":"Q1817148$66106ED8-2B31-4F36-9AAA-209F44C8F50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"620dc478aba2d0a7349eb85b9fd811aa5113bc8b","datavalue":{"value":{"entity-type":"item","numeric-id":1091120,"id":"Q1091120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a750251e5e51c906bbc0451ea9b451948698f527","datavalue":{"value":{"amount":"+0.7151443958282471","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":"Q1817148$BEEB5D86-0846-4248-AD06-9CFC164B22A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0114c1ec517cb84f65cea0e19190f43a615eb6","datavalue":{"value":{"entity-type":"item","numeric-id":3773329,"id":"Q3773329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15aa7be9765c4453304034d5f25b3ce4937ff288","datavalue":{"value":{"amount":"+0.7114461660385132","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":"Q1817148$CD5ACB1D-EFEB-4877-A8E9-BB76639EC840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611b43495264736222d7a1613f4ac9c8a1275d4d","datavalue":{"value":{"entity-type":"item","numeric-id":1118415,"id":"Q1118415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ce9d72732795a7f1dccfca29725d4581b895a5","datavalue":{"value":{"amount":"+0.7112593650817871","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":"Q1817148$92E1A803-DA2C-4DE8-827B-3CBF4509F19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986ad5d2db9ecc2cae35bf5860bf64ef35e74492","datavalue":{"value":{"entity-type":"item","numeric-id":1319749,"id":"Q1319749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b8ff40c06fb9e7c3b66d39290073261f12f8cf","datavalue":{"value":{"amount":"+0.710858941078186","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":"Q1817148$B5022B46-DEED-4B8E-BADF-5EF29782765A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1817148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1817148"}}}}}