{"entities":{"Q4549423":{"pageid":6579015,"ns":120,"title":"Item:Q4549423","lastrevid":47974162,"modified":"2026-01-03T05:56:18Z","type":"item","id":"Q4549423","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1790379"}},"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":"Q4549423$755A61A8-4CBA-4A3F-9502-2E9785155891","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dba5dc32ce4cdc1ade3aa6cd7b72da157f6f1125","datavalue":{"value":"1004.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549423$04B83789-09A1-4A0D-B446-E204C1EE83EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c50604727c5db199149a128a949eaefb772855dc","datavalue":{"value":{"entity-type":"item","numeric-id":4549422,"id":"Q4549422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4549423$33AF57AC-928A-451B-B402-EDB78B2A3271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f9bf560707208012ae4de6042822d4b20c2d91","datavalue":{"value":{"entity-type":"item","numeric-id":1674866,"id":"Q1674866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4549423$9B8929DC-0BEB-46C5-89C9-5A3BDB902567","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"142362e6d8f26628ca200c5bf9158be42ab9f824","datavalue":{"value":{"time":"+2002-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4549423$ABD5ED2E-FD7E-44AA-BE21-8DDF78465E33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549423$7BCF1EEF-3615-406C-B8CA-61750227D92D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"030d67b8ded40a26556f83861b439121927bc45c","datavalue":{"value":"1790379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4549423$340A4D44-CD49-45CC-BE9C-4EC43DA5BE7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549423$12F1E405-6257-4C32-8E71-D58AFC3E1CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549423$EACE52E0-F0E6-4D82-AD27-08CBC3630AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4549423$FF3C20C4-92DC-46A1-82EF-82F8A8CEFCFD","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":"Q4549423$FF6CCBE8-D602-4F1A-9963-403B68189CA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd28868fb9e5281dec742e518f016b5bea1547d6","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e09fb6918e9699862e2c7dd13b9d7e7fe8c6e86","datavalue":{"value":{"amount":"+0.7553550004959106","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":"Q4549423$AC682E31-F27B-414D-8125-2C8B55B9EC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f2996a5c5ea635ebfebe68ef369e8e7f8bea99","datavalue":{"value":{"entity-type":"item","numeric-id":4551132,"id":"Q4551132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf69a470e489dfd593cf657031e0760ab3feb3b","datavalue":{"value":{"amount":"+0.7382043600082397","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":"Q4549423$ABCE1783-A15E-4A9E-A08C-3177A00470EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846afb139aed527fc01206a57444f5a65f155eb8","datavalue":{"value":{"entity-type":"item","numeric-id":2767086,"id":"Q2767086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efd86b9e94a254148128000d26ab219a8c5757c","datavalue":{"value":{"amount":"+0.7229657173156738","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":"Q4549423$F04B7C9C-A72C-482B-8034-DA77716727A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e807ba28c404afbdb10d863d94e82cf902f46b","datavalue":{"value":{"entity-type":"item","numeric-id":432138,"id":"Q432138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78ba36b656121fae0132af7778e5a4793a5add20","datavalue":{"value":{"amount":"+0.7196955680847168","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":"Q4549423$99A6A33C-FB13-4641-AFAC-35ED4CB655FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04513c0bdccc1d14a9c0a4e20e6bf9eab9493b6a","datavalue":{"value":{"entity-type":"item","numeric-id":1190489,"id":"Q1190489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd52058511aac993bcd02735852cbe0d00dd5e2","datavalue":{"value":{"amount":"+0.7168692946434021","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":"Q4549423$8FC632F1-62B2-4B3F-B2E9-1A611AE40788","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4549423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4549423"}}}}}