{"entities":{"Q3490986":{"pageid":5520886,"ns":120,"title":"Item:Q3490986","lastrevid":49416520,"modified":"2026-01-07T03:11:32Z","type":"item","id":"Q3490986","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164168"}},"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":"Q3490986$D7C2245A-BD72-4D42-88DC-8679FB5F5FF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"028905057d8bc69faa34088c528f964046050e21","datavalue":{"value":"0708.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490986$FA18B564-080B-4954-9835-B3C74DBEE61E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"513a43e5300bed081f7fd98480be32f3af92753d","datavalue":{"value":{"entity-type":"item","numeric-id":693294,"id":"Q693294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490986$DB1550E6-BFAB-4579-9AE4-02AC41FB205F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"646719c8036b1307f835e0bf21b70451a2cfe024","datavalue":{"value":{"entity-type":"item","numeric-id":920969,"id":"Q920969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490986$226DECC4-BF40-402E-8F43-B5C50B823C59","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":"Q3490986$78D9F9D5-7524-4CFB-B43D-09725BC5AD55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490986$CAA8254A-451A-42F6-B02A-D0205F5BE494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490986$992C8061-4EE5-4F4B-8E1B-B7B7F0FF5635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490986$F46269F8-F240-4689-BC24-8C6ED76DEE41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e542607be896897bb1b7e15678722afc750d2c94","datavalue":{"value":"4164168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490986$07516799-4D1E-4DCD-9B8A-357956548D22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50a39a5df30167dfd1aaf4b42ba78fd79c422d4f","datavalue":{"value":"algebraic-equational methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490986$D8E17228-E751-4F34-A0FA-31D4CD677242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39600061ba26338b317f9eaa4c5321d7e2c8ff2","datavalue":{"value":"theorem proving in first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490986$1A14421A-9A1F-4A7E-B5F0-E0D64BB919E4","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":"Q3490986$20DF3F7E-6CF9-4911-8A9B-9E600A8B7533","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878c40185ef8793f4b2c6b23e206ffdc354f49d1","datavalue":{"value":{"entity-type":"item","numeric-id":3030268,"id":"Q3030268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c3c201b3a139fbf763570e24d697449a39ef9c","datavalue":{"value":{"amount":"+0.8450813293457031","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":"Q3490986$77974BE2-EB58-4807-BDB7-69F1FB2A24B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c920ed85419125dfdb595a601c3e525a0405742d","datavalue":{"value":{"entity-type":"item","numeric-id":4924965,"id":"Q4924965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2459042d41732683b7272433dcb979f30f5d3576","datavalue":{"value":{"amount":"+0.8311451077461243","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":"Q3490986$64D563E9-9244-4BCE-83E4-32FC4B21F8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a880b2d84fd24c903ed014494cd1a692dd5bd02a","datavalue":{"value":{"entity-type":"item","numeric-id":4018166,"id":"Q4018166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ed8d0304470c48e54dd549739d6a8966b757e7","datavalue":{"value":{"amount":"+0.8300355076789856","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":"Q3490986$C4E92E58-5324-4461-91BC-A49EAE1132EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4ca972053202fcadf05af1326afd1b3c2d5c94","datavalue":{"value":{"entity-type":"item","numeric-id":4287499,"id":"Q4287499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c549ca15f34db2d64ba2bc56fe04ed5eb2d3d73d","datavalue":{"value":{"amount":"+0.82757967710495","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":"Q3490986$FC3F3791-393C-4831-9641-5EB1E7D694DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb90dd38751d34581c8b2c1854daff88f7148647","datavalue":{"value":{"entity-type":"item","numeric-id":1332644,"id":"Q1332644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c015a55ac16f823a8177200131cfb59a8dcdad","datavalue":{"value":{"amount":"+0.809514582157135","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":"Q3490986$2DD74E54-50A5-48A2-BD35-182950D0DF83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3490986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3490986"}}}}}