{"entities":{"Q4304770":{"pageid":6334371,"ns":120,"title":"Item:Q4304770","lastrevid":46284267,"modified":"2025-12-24T11:48:55Z","type":"item","id":"Q4304770","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 627500"}},"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":"Q4304770$199146B7-0F47-444B-B4E0-4C75F9603D72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce048d29a43a415d46fce3d3fc0d5c61eb866429","datavalue":{"value":"0799.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304770$241AABEC-C233-4783-97E0-CBE2DAB0FEE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74da7004a25a0d65393c1d946b8799a150c4bad5","datavalue":{"value":{"entity-type":"item","numeric-id":2843859,"id":"Q2843859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304770$8757B295-0304-45B7-BAB9-C60B176DCF66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb7328fa250b0e22157c1a026d2aa10f157d3ba9","datavalue":{"value":{"time":"+1994-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304770$672A0739-66EC-4D1E-B6A5-81AF5CD22519","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304770$B2E97C49-E394-4517-860D-AE4E4893EA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304770$184A17F0-DF0C-4C44-B4CF-308A1735D067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304770$110F08BD-C199-471D-A8D3-F12D5E1C8174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304770$EA095A7C-87C9-4A25-9BA4-8D4D0B1EACEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304770$450BAD30-5211-48E0-955A-C743F7585E2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c73968ae32e8cf6026355c2778430310297b007c","datavalue":{"value":"627500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304770$C71833FB-FEC8-488B-A904-DE6CDEB250B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304770$8FBF240D-44D4-4C48-B130-FF87F7C965D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c92926836d113aee1a308ad83e72230bf6a493","datavalue":{"value":"non-classical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304770$0B5C1518-03D1-49C8-9CC1-6075C7F984B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304770$29097C69-756F-45BC-A9C1-53F0D6E35CB7","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":"Q4304770$636205F8-C071-4186-A426-091F3CA6201D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bfe2283112d88bc5f01fe3ba130ed363ab5f907","datavalue":{"value":{"entity-type":"item","numeric-id":1924731,"id":"Q1924731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02dadc7f1981502cce6aede69700df35708bce48","datavalue":{"value":{"amount":"+0.7466630339622498","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":"Q4304770$3EA04115-F06F-41BA-8C82-9EF2D20AC94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a42fe5b10cd7a85cb73b625a16f6530f794c72","datavalue":{"value":{"entity-type":"item","numeric-id":2385426,"id":"Q2385426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0112ad16d42375fc22d070bbdb6ed7d8718703b","datavalue":{"value":{"amount":"+0.7430059313774109","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":"Q4304770$48CD650B-D95D-4607-BC59-503F13C10BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93856f6d8a30f831a4551e2ce9e59d3efcb4e212","datavalue":{"value":{"entity-type":"item","numeric-id":3752368,"id":"Q3752368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b1c97533ae783f65172bc0a533513228f04b6b","datavalue":{"value":{"amount":"+0.737599790096283","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":"Q4304770$74E9CA0A-87BB-4D6E-9231-6298A760AEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b6accdc28ed9bd5a821192803bb5bcf97ed027","datavalue":{"value":{"entity-type":"item","numeric-id":3338217,"id":"Q3338217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9c856aa2998974d98302ccfd09c9da6d22b97b","datavalue":{"value":{"amount":"+0.7186861038208008","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":"Q4304770$4A2B2C57-4285-465A-B16A-1FAFA88B0BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c99f4be2e494ef6df6a66e4bc9b2f2d793a701a","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a8cdcdb0b68f08717c8cf2a9450a394b46dc18","datavalue":{"value":{"amount":"+0.7126286029815674","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":"Q4304770$EB19AD61-1FF7-4A5B-A4F5-0200EE86E636","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4304770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4304770"}}}}}