{"entities":{"Q1978033":{"pageid":1988775,"ns":120,"title":"Item:Q1978033","lastrevid":46897770,"modified":"2025-12-25T19:47:30Z","type":"item","id":"Q1978033","labels":{"en":{"language":"en","value":"A model and a first analysis of distributed-search contraction-based strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1456930"}},"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":"Q1978033$75427678-D40D-41C2-B185-46CA2B68FE97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11fc0efd5f2b2dd72181dbf87055f16d85da4d9d","datavalue":{"value":{"text":"A model and a first analysis of distributed-search contraction-based strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978033$9EB44F62-0B49-400B-9B1B-86E5E00D8707","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4db3f1726cb5fc2d39474432e055a7e644a61a8a","datavalue":{"value":"0940.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978033$AE29C6B5-ECE8-4648-88A0-FEBC025EFAF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dfdcfd85e720648c782b252048b96940ee1a50c","datavalue":{"value":"10.1023/A:1018919214722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978033$CA3F3B69-9EAF-42AF-AB9E-785BFE6E4636","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b455290f5b835c3773a6eb2262897ac70e7a163b","datavalue":{"value":{"entity-type":"item","numeric-id":287273,"id":"Q287273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978033$AA164C92-5EA5-4744-8809-43291E2FBBFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978033$79751531-13E7-43C6-88D9-DEBAC9A3641C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f824e8df8660a01a22c6ea772f84f035aa08b14a","datavalue":{"value":{"time":"+2000-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1978033$D26C4584-3353-405B-81B2-F83A883734E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978033$C1ACA1DB-F341-4492-A319-C7EF0D961E7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a08022ceb4c1727f84e9609bc18ba75aa70df27","datavalue":{"value":"1456930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978033$BB36FBEB-F952-4D72-BDB8-BA084928ECE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba3b88277a9eeef2868fa3fc836701aecbbdf2a","datavalue":{"value":"theorem-proving strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978033$A65D2661-248E-4906-B366-AB35EEE614A1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978033$CC72B802-6F24-46CF-8507-CA9527BA3637","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":"Q1978033$3661BFF0-A934-494E-99AD-E9B2FFA8B5A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7d514f697d04c949b0b5831e5c1129126b38e31","datavalue":{"value":"https://doi.org/10.1023/a:1018919214722","type":"string"},"datatype":"url"},"type":"statement","id":"Q1978033$9EA60B7D-449F-4790-AB79-B74E6E11AA6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e66a32ac6cc422fe35e963cfe4491b748bf8a10","datavalue":{"value":"W2138980079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978033$046CBB41-7A62-4128-B6A5-1421F541F70B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7d4a5f397cd0588c895ddc029955642c41edbd","datavalue":{"value":{"entity-type":"item","numeric-id":4246963,"id":"Q4246963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10c89dec4dc2d872a0ec466b1a469b534bbda93e","datavalue":{"value":{"amount":"+0.9489527344703674","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":"Q1978033$802AD4FE-A533-43BE-8D9E-56ED252B14EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb959f515fd7c7236525feea8dded276d4ea8598","datavalue":{"value":{"entity-type":"item","numeric-id":1281504,"id":"Q1281504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f652760237e44e23c4ad49873ad3fbafa5bfff4d","datavalue":{"value":{"amount":"+0.8431722521781921","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":"Q1978033$FB433D89-0270-46E6-B77E-D4BA83882CC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1978033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1978033"}}}}}