{"entities":{"Q4331757":{"pageid":6361357,"ns":120,"title":"Item:Q4331757","lastrevid":41612316,"modified":"2025-05-06T09:13:43Z","type":"item","id":"Q4331757","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 976352"}},"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":"Q4331757$AB9F0470-CDC3-4D03-BB4B-64D47130DD60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e3d0af2874b9ac675b4972263e4910f26560de9","datavalue":{"value":"0866.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331757$F846EF80-54F6-4F90-A295-2EE20964B10B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4331757$D6BDBEE8-682D-4B52-BE46-C437C37A785B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcab75d64016047a02a857c2fbf6460cf97916cc","datavalue":{"value":{"entity-type":"item","numeric-id":688550,"id":"Q688550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4331757$2DAF19AA-5EF0-4871-A10F-6CD36F39F8B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34220bae1b10d2bb0cc29076c803958c352b0a02","datavalue":{"value":{"time":"+1997-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4331757$35CFF854-6811-423D-8CA4-58EEAB084292","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331757$D7E845F0-C940-4E83-9B11-BA0E2247ACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331757$A80E63DF-58BA-42D9-9328-81A3D2C9E5A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"182709a0176198d8033406379a03a7e14f8b9b99","datavalue":{"value":"976352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331757$17BECC78-EE12-4DD2-BA7E-9E4B0E2622FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331757$1B17E235-78E0-4910-8EE4-531187B65E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bfc82cd2b2ee92b69c7f111662956e373788f64","datavalue":{"value":"sorted resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331757$B19340E9-EFAA-4C69-A1C8-F6455E01E311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331757$A0FB802B-C656-4877-BAD8-2F91E2057885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331757$F369A26A-9736-4628-AD96-93C0BBF2A2B2","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":"Q4331757$43B15158-B857-4745-AC04-DC8CB20A1E64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c7460402212b3da27076353fde422b4d855972","datavalue":{"value":{"entity-type":"item","numeric-id":4323894,"id":"Q4323894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4331757$099C50F5-89AB-4920-BC04-1469F7402049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab463613f8d8ccaea4319c9870c5f85b2b2f4b1","datavalue":{"value":{"entity-type":"item","numeric-id":4342088,"id":"Q4342088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6afecfe9a254c7219bce01f63505fd7e97cbc7","datavalue":{"value":{"amount":"+0.97289187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4331757$94AA09C1-59C2-4F1B-BBA0-1613F4E1FE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492f2440b2b0d2a7a437e5615cc6263ffc83d23d","datavalue":{"value":{"entity-type":"item","numeric-id":4789453,"id":"Q4789453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6afecfe9a254c7219bce01f63505fd7e97cbc7","datavalue":{"value":{"amount":"+0.97289187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4331757$77B7B4A9-5035-4DF8-A009-4A4F7F9DDBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede4449c0f1437da8caff6e2819ab599811dda53","datavalue":{"value":{"entity-type":"item","numeric-id":3781064,"id":"Q3781064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2df49a2085b0e33c1ea579493f08ff2b36d6ceb","datavalue":{"value":{"amount":"+0.9173112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4331757$8C0F5585-882C-4D07-B7F9-C8FF6EDA5335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e6e60bf37f84724ccf90df04b54d320419b88c","datavalue":{"value":{"entity-type":"item","numeric-id":3992431,"id":"Q3992431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80a763e44632b623805b65b387802a4117f83e3b","datavalue":{"value":{"amount":"+0.9117463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4331757$AD7A7222-83F9-44AD-8D87-02CE17F6297B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414b60ff6a16349d68ff5ed5e9ca8178c6f6629f","datavalue":{"value":{"entity-type":"item","numeric-id":3134859,"id":"Q3134859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c455fb2669e321d4a7c30d91754801db1fd3cf6f","datavalue":{"value":{"amount":"+0.9075871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4331757$F32E1EA5-0126-489B-8F84-2F8050D72817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab23fb5d31690a8c3147a4d7785381ba3500e34","datavalue":{"value":{"entity-type":"item","numeric-id":2774635,"id":"Q2774635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b6f0f59378b2f22df2b0340afda75b13de0c90","datavalue":{"value":{"amount":"+0.9044701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4331757$7B0492ED-9F06-455F-A068-CB2B28F06ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cc26d81c0bcf1f4078dd0024fe1b511eaf4ced1","datavalue":{"value":{"entity-type":"item","numeric-id":5061418,"id":"Q5061418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f5d9fd9e2835bf210265ffe7ce9ce32ecf30b3","datavalue":{"value":{"amount":"+0.8808367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4331757$807A91EB-5B54-49CA-A4F9-4D53770D215A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4331757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4331757"}}}}}