{"entities":{"Q4934147":{"pageid":6963729,"ns":120,"title":"Item:Q4934147","lastrevid":47432278,"modified":"2026-01-01T17:59:55Z","type":"item","id":"Q4934147","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389654"}},"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":"Q4934147$DA7AF873-9D0F-4786-A7FC-4070E8155983","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fa2facdf478c06d70c0e8d4404a7cdebb8fa254","datavalue":{"value":"0951.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934147$2C78B016-69BF-4EE0-97A7-D15CF3655BB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934147$03717B31-4612-49DC-9211-62F68A3AA0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934147$CC246F83-AE4F-4FEB-A6DA-4699B2ECC894","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95ec5b043115e52ee0328702da430700e7365687","datavalue":{"value":{"time":"+2000-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934147$07BC5703-0D13-4275-9CB4-C9EB85A4D78F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934147$31BC4DE8-6A61-4D94-99B8-233BE68CCF80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d21c2f6001800b2ed12102656c21d292c90aa4e","datavalue":{"value":"1389654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934147$D55896ED-191E-4904-BDAA-08C6242CDEE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1792e15f1cb444f6fbe7c4502196aac696ba360","datavalue":{"value":"logical proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934147$848BFE70-8B11-4A57-A9F4-7523D4B226D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d5047793650a441381186e71bcd7039a1c9011","datavalue":{"value":"rippling heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934147$AD1853C7-DBED-4141-853C-19990D5C7515","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934147$FB5FC547-BAB3-4D63-AA94-B797A3A3BE4A","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":"Q4934147$6F3B056A-CD94-467E-A580-118113A2FAF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fac03fc28094dc9e2c5577fcf6cb715a2dca930","datavalue":{"value":{"entity-type":"item","numeric-id":5955618,"id":"Q5955618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9520ee86b3dee934f1cdcfdc01dd06f015d3a0ff","datavalue":{"value":{"amount":"+0.8170320391654968","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":"Q4934147$CDC025E9-0A77-4A30-8D66-8F4945D1A4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4a89a7c13b6470a95b012a7f5ee0837e0223f6","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ed5da4e1a8d26ebd98374dce2000af859d089f","datavalue":{"value":{"amount":"+0.8058940172195435","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":"Q4934147$867D23F3-FF3E-4F4F-A450-4A1EBEEAD2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f225124d15a7a6aa53392ac079722a1eb252bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":3345810,"id":"Q3345810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ed5da4e1a8d26ebd98374dce2000af859d089f","datavalue":{"value":{"amount":"+0.8058940172195435","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":"Q4934147$EB788EB8-8ED4-4CC7-908A-99ADC9217B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88a3cfc856daad835529caa810c632aa4871286b","datavalue":{"value":{"entity-type":"item","numeric-id":6488527,"id":"Q6488527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d87e69cfe4bcf83b42e8be7f5c88b9348cf676","datavalue":{"value":{"amount":"+0.7864260673522949","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":"Q4934147$6536883F-50AE-446F-A38B-2BBDADC4FA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51852894019aff4da996e23e31ecb38fe929c33b","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe536e450634c91370c13e15b4705827352f0ef","datavalue":{"value":{"amount":"+0.7828689217567444","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":"Q4934147$0CAFE140-1D85-4C7C-BEBC-C5220878F9CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934147"}}}}}