{"entities":{"Q4282525":{"pageid":6312126,"ns":120,"title":"Item:Q4282525","lastrevid":47233252,"modified":"2026-01-01T02:12:45Z","type":"item","id":"Q4282525","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 517002"}},"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":"Q4282525$12E83DCC-1EE9-4C85-B230-624789535BFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d47834b037bf4be831851763ae2b62a7935cdff","datavalue":{"value":"0793.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282525$5F83E996-ADD7-44DC-BC37-94A54B65472E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af7e025189305bad11f686c710fe3b187470eaf","datavalue":{"value":{"entity-type":"item","numeric-id":438567,"id":"Q438567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282525$33F4B795-E18B-45A1-BA56-81487D478371","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf17ffed152fcfc225788e46045afef4af283259","datavalue":{"value":{"time":"+1994-04-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":"Q4282525$53B73565-9806-4DF6-88F4-66D4474656AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282525$0A8E5733-CB19-40A8-A74E-E2539D2FACA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282525$B1B573AE-AA0C-4CD6-8856-4A7F62E0A0A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aeef8219640ce44ed0d46c8e7c77a2a7d4839a9e","datavalue":{"value":"517002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282525$8EB56FC0-C60B-4FB1-9B50-D5631A1AA810","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282525$36EE856E-9C24-4670-8F68-B8524F7922B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282525$E00EBE4C-5FEF-4E50-B03D-855B46101656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ca106ef01d8fec4153d4b404b5a0c354d8066e","datavalue":{"value":"propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282525$C1649E91-D34F-4B31-9780-955EE1031EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282525$C1A32352-4205-4609-AB99-6543310F7BDF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4fcbbc12ff0cc07e406341b97e062f2fb672fc0","datavalue":{"value":{"entity-type":"item","numeric-id":23614,"id":"Q23614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282525$28DEC02C-C72A-4643-9991-FFC4B8454A3C","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":"Q4282525$7FD4FF12-A63F-4C11-932C-C678E340A3BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b6bb9dc551ba9a220b7a51f14cd07bdd3a25b7","datavalue":{"value":{"entity-type":"item","numeric-id":3704917,"id":"Q3704917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942c6ee9c747cbd0890a630ccf86920b179c525d","datavalue":{"value":{"amount":"+0.8516576886177063","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":"Q4282525$0A245F1F-E930-466A-B24A-FA9B166ED35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7b269e781d4aa3c4ace2f7c3de9f877cc3c90","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e88146007808dd68fb4acc78eaf24668253df9","datavalue":{"value":{"amount":"+0.8391523957252502","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":"Q4282525$CF1EE0FF-36B5-4BE2-9BB8-7668ECD3005F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54821d0c308119635f722a0f5763584c2b30e7a2","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add499d608299bdfe43a1a7d7f4ed3493b300db1","datavalue":{"value":{"amount":"+0.8293648362159729","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":"Q4282525$2ADAC739-6A25-4B42-B0D5-C476C91413F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588597922c70d0be936d8a4fb9ac82086f22414e","datavalue":{"value":{"entity-type":"item","numeric-id":4215602,"id":"Q4215602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add499d608299bdfe43a1a7d7f4ed3493b300db1","datavalue":{"value":{"amount":"+0.8293648362159729","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":"Q4282525$0424B703-7408-4D36-9438-91FC357D2BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4897d4b1954ac91ae95528226939bdfd467b5c45","datavalue":{"value":{"entity-type":"item","numeric-id":4207883,"id":"Q4207883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3270dbacfd59bde151d62919caabcc56b785a94","datavalue":{"value":{"amount":"+0.8239426612854004","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":"Q4282525$A201332E-526F-47A7-BABE-EF5F1E1B95D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4282525","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4282525"}}}}}