{"entities":{"Q3746920":{"pageid":5776826,"ns":120,"title":"Item:Q3746920","lastrevid":50990672,"modified":"2026-01-16T02:53:31Z","type":"item","id":"Q3746920","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3982556"}},"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":"Q3746920$4C9691F4-3B76-4920-9B2A-E431DACD1F32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be0f06f9142214c17644861b4adb4112923a8883","datavalue":{"value":"0607.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746920$CB8D130F-A8A8-4A04-BAFA-6996F9B11289","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e797d21326216ad55a231168906c9c452687c51","datavalue":{"value":{"entity-type":"item","numeric-id":209152,"id":"Q209152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3746920$01770A9D-D251-4D01-9D0C-D3502D6500BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daed725bd67311ea1169330a2e84cea207141141","datavalue":{"value":{"entity-type":"item","numeric-id":284333,"id":"Q284333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3746920$26837895-ADFB-462A-B54E-E708649A1CEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3746920$241F9F1F-4DB0-4FE2-97F4-F5738357E9D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746920$7D5F76C1-F5BF-4DF2-904C-8C0C7DBB45F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746920$AFAEB05D-1B67-4803-B225-B2393FE42CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746920$0A92C4F9-64AD-414B-9871-A085D71DE58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746920$B418EA90-2B34-4234-88C6-AE3962FE8F20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9b61e34b0a7add7c6beac142478c80ecbbb9172","datavalue":{"value":"3982556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746920$AF33601E-39E8-4E62-970B-98B78239EA45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746920$BCA29B28-39B9-4FEA-AE8C-D992093F52DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff7bf11626141f10491819543bc6e69eb57efdf3","datavalue":{"value":"depth-first search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746920$6795679C-ABB1-4E05-969D-CCCB07B9D99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746920$14FDE71F-1D2E-46C3-969E-F13FBC5D9158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cba2948435600a4be314560ea4191d11c90524d","datavalue":{"value":"OLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746920$EFAF387A-0606-4C38-AD14-C5D435F02A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7656fdb00e7d98a6f328ae84c57723e2306b594c","datavalue":{"value":"PROLOG search strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746920$233FDEDC-2983-4933-A83B-088F7F22482E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6ba1426c1ab3bc6ad3fa4b7fc7df5c6b31ff99e","datavalue":{"value":"tabulation techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746920$10814897-1FF3-4842-9E5B-8E2571276BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c21888c2b92c8706426f79ef324f57b449adab9","datavalue":{"value":"PROLOG interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746920$3428B851-9C4B-45B6-ABC8-21049FD99D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dabc167451582465dc41c73172d3f5ea8928846","datavalue":{"value":"OLD refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746920$F32A13A3-89BC-4E00-A662-327E07253940","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":"Q3746920$E6DF8E92-B081-4558-84BF-35536B32D0BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b91b983fa2c75285aa70d29c690c153aac91f0","datavalue":{"value":{"entity-type":"item","numeric-id":3142015,"id":"Q3142015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5c28fd0687c51c6a635d50a77bda8ffc222adc","datavalue":{"value":{"amount":"+0.7760726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3746920$2AA6A06C-1692-468A-9676-8AC1C95B7FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345ddda9f7e3a815e8525b8aa5bf4cc4863b58aa","datavalue":{"value":{"entity-type":"item","numeric-id":368658,"id":"Q368658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43904ac10da8ec029847f1122568ed20b4a006da","datavalue":{"value":{"amount":"+0.74261737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3746920$CC90C13E-68B3-4425-8776-5E96CBDC0DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"206070f2bd0f2da29ed7f5cf9d83f221b8620378","datavalue":{"value":{"entity-type":"item","numeric-id":2908999,"id":"Q2908999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fffd87996f6e9e1f0fdd5a77c69a4c12240576","datavalue":{"value":{"amount":"+0.7361586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3746920$D95D6430-3D11-405F-98E1-A7F343AB1DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51a363de72d33fb24e2ccbdf9280f02dec608fc7","datavalue":{"value":{"entity-type":"item","numeric-id":5867553,"id":"Q5867553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc69a03d12c33e1d28d86f350403525cda221c45","datavalue":{"value":{"amount":"+0.7336332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3746920$8215A1A6-8313-42E9-AE19-996128B8FEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83b09dbf83da13c208c75382690ac1552d6b3a1","datavalue":{"value":{"entity-type":"item","numeric-id":4036279,"id":"Q4036279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb752fd1de892c21b8522496982ccbde1a9a9e4","datavalue":{"value":{"amount":"+0.7313397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3746920$3E91AD97-70C6-44DD-9EDE-F1377D22BB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d07c04c10015713786421565234448f1e7ff4ba","datavalue":{"value":{"entity-type":"item","numeric-id":3817284,"id":"Q3817284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a360f3788717b07486d2c9b45f70d6ab21a68bdf","datavalue":{"value":{"amount":"+0.7278074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3746920$A2E20697-FBA5-48BD-90BF-A54FDFF3D810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806c7380a994add323dfc84886521ffff5ec7372","datavalue":{"value":{"entity-type":"item","numeric-id":2844825,"id":"Q2844825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5762b59de669b00550e1b8fd0ee96a41628dd584","datavalue":{"value":{"amount":"+0.71173984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3746920$C5470DEC-2139-42CC-8937-C51311DE695E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c4a0131f7f2823e2b8b2a8b223264b0d71d9c6","datavalue":{"value":{"entity-type":"item","numeric-id":674925,"id":"Q674925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dce92a465920063c09ed57997029c6c2fb337d5","datavalue":{"value":{"amount":"+0.71064645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3746920$7C422BC4-21AE-4443-B610-E882B28BAD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c531ef8436a69b0a3aebae7ad1281f69f2f88a7","datavalue":{"value":{"entity-type":"item","numeric-id":5015599,"id":"Q5015599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b77140472310ecc4f7a422b57196eb6adfe0e6c","datavalue":{"value":{"amount":"+0.7095666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3746920$269BB538-8D9B-4B30-97D9-89878D97E7D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3746920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3746920"}}}}}