{"entities":{"Q3490995":{"pageid":5520895,"ns":120,"title":"Item:Q3490995","lastrevid":49416022,"modified":"2026-01-07T03:11:13Z","type":"item","id":"Q3490995","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164177"}},"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":"Q3490995$4085AA59-D183-44BD-9E8C-4305FF69C2F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e69aaf02deebe760d624da6241989627881ca24e","datavalue":{"value":"0708.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490995$95679A58-D156-4E97-8917-24B512FE6922","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6a5cb47bfb987a892c1ea29852a7967462f77d1","datavalue":{"value":{"entity-type":"item","numeric-id":215106,"id":"Q215106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490995$B266127B-6FE8-48B2-AEDD-9C2FBAA1A4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99809ed495e654999be3f275423a0ba7027d3b10","datavalue":{"value":{"entity-type":"item","numeric-id":219437,"id":"Q219437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490995$EE3BC90D-0BFE-4C34-80F5-F8FFCC352D0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3490995$BD2CF44C-4A79-4930-AAF3-358565136E10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490995$06E31DAE-ECE0-4BAD-9219-97B7113559F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc63b33eb66a7f40313443f374387c4ba1180bfe","datavalue":{"value":"4164177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490995$33701CD7-CAB1-4983-942F-5FCC17FFC10C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4514efad3d900b62eb5ef6eefcc0660b9b7ce94f","datavalue":{"value":"abstraction-based theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490995$DB104B67-CE9C-483E-9B61-B3A8ACE755E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"210044e5d624e277147218d20780a330d23e6e4b","datavalue":{"value":"theory of abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490995$FD982833-FBF9-4549-980C-A9669AB6594B","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":"Q3490995$45E7A6AE-4E4C-4699-9923-5991FC48A826","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e77ab50134bd75d1485395c3ef3f2f3f81bfb4","datavalue":{"value":{"entity-type":"item","numeric-id":1199923,"id":"Q1199923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e9493a2f69b345c5ac5036a56b6142b1eaf819","datavalue":{"value":{"amount":"+0.8538781404495239","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":"Q3490995$CCFF74D8-616A-4A7F-AD92-A12B2F2A26E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cf4a098c4740b58a63a324276145b1e9ddbc66","datavalue":{"value":{"entity-type":"item","numeric-id":4028090,"id":"Q4028090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f805a8adbb2a13829ff04d3a564626ee68d6264","datavalue":{"value":{"amount":"+0.8422346711158752","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":"Q3490995$17D8D980-8817-4788-8A90-C526C4FC4E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b2a4fa2021ec70c273f1fa81767e34b70120bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4375212,"id":"Q4375212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f805a8adbb2a13829ff04d3a564626ee68d6264","datavalue":{"value":{"amount":"+0.8422346711158752","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":"Q3490995$2F5915AC-742E-43B6-8D3B-D729B389ED82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25ba9d5a5cc31ec71cabb06d167817ef666cd5c","datavalue":{"value":{"entity-type":"item","numeric-id":1311395,"id":"Q1311395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a3dd6d927060160aefad09a98172357f558005","datavalue":{"value":{"amount":"+0.8212652802467346","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":"Q3490995$98200550-6B9E-4363-BF25-D770118BD0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d72b1cf3201e826373b30f24f35b6eeaa866a3","datavalue":{"value":{"entity-type":"item","numeric-id":3783620,"id":"Q3783620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc880fa3f705f6204a86d6c9eaac7b64ebdf032c","datavalue":{"value":{"amount":"+0.8004766702651978","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":"Q3490995$78E04532-1D2D-465C-AA7E-6E05CEDC90DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3490995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3490995"}}}}}