{"entities":{"Q4040872":{"pageid":6070588,"ns":120,"title":"Item:Q4040872","lastrevid":55257721,"modified":"2026-02-05T10:06:38Z","type":"item","id":"Q4040872","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 194080"}},"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":"Q4040872$98771DB3-DBD9-4E6B-ABF9-2B0DEA89929C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3ef00ca87c1a9cbf402ffff3bea06551b7171de","datavalue":{"value":"0703.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040872$5039BF32-1CC4-4AB0-B3D2-342F85120644","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b5fc245d6c2f488a185c542bc48081bcf8ff7ab","datavalue":{"value":{"entity-type":"item","numeric-id":1073781,"id":"Q1073781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040872$885E28E0-CD0F-42FE-9C40-8A2A98A0DCE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4040872$55196927-1910-4FA2-B631-F20883C42959","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040872$7C31983C-A8A6-49A6-B80D-2DDA70521F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040872$88A0FD87-B8DD-47F5-AAA6-C4E74AE0F8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040872$2642F837-A5CE-4550-9EFF-81CD676C8737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040872$F2DB4940-F735-443F-897C-7FB351517422","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e04966e96741c2fb7cb93f8c8c4a485922d8d46d","datavalue":{"value":"194080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040872$A4809EDA-E9F7-4DD4-8AC2-1EC7F8284D5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a737d57830bd39c6e0b4446cb3961afe6c6e5a13","datavalue":{"value":"heuristic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040872$C6317617-A358-4655-8792-0DFB113A6A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"841f927b991cfefbebcab936dc2f50367897fd8d","datavalue":{"value":"graph and tree search strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040872$0C169D60-9209-4812-A79F-FB4F2D8FDD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040872$B2517EAD-AD17-4192-ADD7-59E5AC4F2971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a88a28f752c87aaf3f268de9f4de69a9417c2e","datavalue":{"value":"backtracking resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040872$8413217F-D280-4FCA-B75D-6A2DA46861AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040872$C5610E8F-A00A-4249-B26A-BF915B4005EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040872$83D424E2-A944-440D-B87A-021907F628CA","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":"Q4040872$55BE8599-E916-44B3-9645-26795AFA1967","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfb506bf92651aa9b059c66ae3934c021be1557","datavalue":{"value":{"entity-type":"item","numeric-id":3995432,"id":"Q3995432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67fd11ac92f5742b7b14cb03bf9cffaf33208aa","datavalue":{"value":{"amount":"+0.777330756187439","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":"Q4040872$95BFA373-44CA-41C1-B6FF-C7707970527C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7daddcfd2ae6f0eeee59c1f3c446bcec5c0942","datavalue":{"value":{"entity-type":"item","numeric-id":3741098,"id":"Q3741098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcef57a169ef93e48d1f8d4394f52a6c6a40e9e","datavalue":{"value":{"amount":"+0.763150691986084","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":"Q4040872$C2EF38FB-546D-4125-9FA5-12225C7F3806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"108368eb7705b147922b69c1828e518e009e6534","datavalue":{"value":{"entity-type":"item","numeric-id":3809221,"id":"Q3809221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557ed28e44f749c7fb7c2f79d5a383787fe6a735","datavalue":{"value":{"amount":"+0.7620079517364502","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":"Q4040872$9D19814B-0244-40D0-BB92-C65BD3A16CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a5be4ce6aeadb7f743c0625f17259370d718c6f","datavalue":{"value":{"entity-type":"item","numeric-id":3994937,"id":"Q3994937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0f3e9f26c05b7e6d0b156d2230254b01163f85","datavalue":{"value":{"amount":"+0.7586165070533752","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":"Q4040872$4D9272E5-0E3F-4D5E-9A0D-E4A92C35A378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001ae2a5619b5393986fa3b0417cc077b65d890b","datavalue":{"value":{"entity-type":"item","numeric-id":4207556,"id":"Q4207556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a724f9292f994cc73af3b038fdc8d356af6410b","datavalue":{"value":{"amount":"+0.7560240626335144","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":"Q4040872$C589E526-849E-47D9-9966-671FDC462238","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4040872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4040872"}}}}}