{"entities":{"Q4256519":{"pageid":6286120,"ns":120,"title":"Item:Q4256519","lastrevid":46678911,"modified":"2025-12-25T09:34:19Z","type":"item","id":"Q4256519","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1315584"}},"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":"Q4256519$E337D81F-E072-4482-B51B-2B622B643976","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fb0a9de195b91739f8d642afc3a849e8c5290be","datavalue":{"value":"0918.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256519$4CF7CB3C-218C-49DC-8721-E10E577C9922","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fbd230127b7ff1701ac1747dc194bd9dab0b331","datavalue":{"value":{"entity-type":"item","numeric-id":4256518,"id":"Q4256518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4256519$F0F5D5F5-56DF-40B6-98AF-0AFB332C0C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1b386cb15465c96138c789d08a0a2f482c7b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":688557,"id":"Q688557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4256519$B377F134-EB49-4252-82F5-C5C885B8D630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15e79b911281d7335b148829a2415cb4e1e39b23","datavalue":{"value":{"time":"+1999-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4256519$04D9B1AB-90E8-4BFA-980B-E3F961ECF31B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256519$031E9CB8-33E9-4B22-9900-83DEE0816E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256519$EC223374-EE7D-4E70-BC1D-F7CF58068EDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e95e56c7c4897723cb0d3edb14da5178e39d67b9","datavalue":{"value":"1315584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256519$BCBBB6FE-5A1A-4CC3-97BD-626D850D0FEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2085f6ca6b5f22ff227aa538ed50fc77fe1a47b","datavalue":{"value":"Davis-Putnam procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4256519$BF8E266D-D613-423D-98EF-5E8B09748AC9","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":"Q4256519$16F36F84-EB33-486A-93DC-601252E67D47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddacf8f0efd5fbb32f8c0003a5e58990093c7c71","datavalue":{"value":{"entity-type":"item","numeric-id":1197995,"id":"Q1197995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943bb30be66aae8f1e635d85e9ca2de39197d974","datavalue":{"value":{"amount":"+0.8703840374946594","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":"Q4256519$F4817B19-8E56-49ED-AF8A-13012DB1733A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8933811b8c1ade656838414e184b39137ff0c8","datavalue":{"value":{"entity-type":"item","numeric-id":5713722,"id":"Q5713722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251c5720368bd5774e5f128edea0ccdf78b69e98","datavalue":{"value":{"amount":"+0.8281311392784119","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":"Q4256519$D98405BA-C320-4676-9A8F-68D7CBFC3061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fb051308fb50b95b0bf9456983cabaedb5d9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3498488,"id":"Q3498488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3d27d07a1a436c413762291b3aaed65a0db314","datavalue":{"value":{"amount":"+0.8079464435577393","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":"Q4256519$E4D95B1D-E419-44F1-BEB3-F88D15EC65E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8d03f5f20b65b49aab0c9b93fca13933d9b7cb","datavalue":{"value":{"entity-type":"item","numeric-id":2266937,"id":"Q2266937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609493b1f007e76b45aee512eddb1040d4e7685b","datavalue":{"value":{"amount":"+0.802943229675293","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":"Q4256519$D89C89A0-32C2-42E6-A74B-34AED7C4B474","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4256519","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4256519"}}}}}