{"entities":{"Q4395611":{"pageid":6425210,"ns":120,"title":"Item:Q4395611","lastrevid":46890432,"modified":"2025-12-25T19:23:48Z","type":"item","id":"Q4395611","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1163984"}},"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":"Q4395611$2BEF2E11-88B7-42F1-935D-EEBF5782BA19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb1000b640f86118f0598a9ca00362cc3e6e2a3b","datavalue":{"value":"0907.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395611$E4250112-2E99-4FFB-9DDF-E1F8B39184DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4395611$86F2CF69-3DBA-4FF4-A953-44D2B468D6E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7c4f0103c31dd03c07afd36e9597ef27a0e1e7e","datavalue":{"value":{"time":"+1998-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4395611$D9D9F921-9C08-415C-9107-14C07D0A0035","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395611$A60B5EF9-4870-404C-9C09-DC6DD6DB1BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395611$30B7F64E-C9E4-4C17-9C03-F7F545AABE8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27b932ac63474d0a11df7b9452eca656079bdc33","datavalue":{"value":"1163984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395611$BD9F9C22-B9C3-42FF-839F-79C48E37CDBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7adb08f73618ed08b7edbcf6cc00609a1c55bfd7","datavalue":{"value":"hard tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395611$25B386AD-0285-478A-A3A2-FB28FA2DBF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395611$6F3C0A09-6C6F-4A69-ACDD-B58F1343FC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395611$820E2ED4-BB86-472F-B83A-8BBC95B6D472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"274aca5060548546007ca758623db28f9530ce75","datavalue":{"value":"partial Boolean valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395611$CCEF571A-6F01-464B-94E4-8079D849135C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ded0c0813c2e992c767b78a441636133e3515f4d","datavalue":{"value":"local Boolean valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395611$6C56186E-0632-4E66-9203-2771E45B55B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca0ae078941d96bd94adb60bdf91dd6431c9c67","datavalue":{"value":"prover-adversary games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395611$6B88DEB7-1B82-4088-93F0-F4EEA1744C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395611$AAC3CCE1-E2DB-4DED-84F2-1DCFF6540A79","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":"Q4395611$EBAF831D-BCDB-4468-9AA1-F153EADFF7D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede333e06f1da3162b3a541fa4bbf91926fc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d96aacf2901e69448bd36c767226f37c98566e","datavalue":{"value":{"amount":"+0.7990047931671143","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":"Q4395611$716F1A40-8B41-4175-AAD3-8ADDA40A03DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5833a3200f583df63b1c24fcc9379c74df5d59c6","datavalue":{"value":{"amount":"+0.7880955338478088","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":"Q4395611$2661F41B-E338-490D-B299-05FE50262AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7045ba48b3e09ff0eccb6ce32a40ef40b5a7060a","datavalue":{"value":{"entity-type":"item","numeric-id":5135261,"id":"Q5135261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf2e78fe23ad57e02117b85d700e630bdf682f8","datavalue":{"value":{"amount":"+0.7862423658370972","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":"Q4395611$BE102398-4E7C-4DC1-8CC1-20086AA8E4D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4395611","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4395611"}}}}}