{"entities":{"Q4924965":{"pageid":6954547,"ns":120,"title":"Item:Q4924965","lastrevid":51735719,"modified":"2026-01-19T18:21:10Z","type":"item","id":"Q4924965","labels":{"en":{"language":"en","value":"On two approaches to modal theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6172718"}},"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":"Q4924965$89F90D12-323F-436F-9411-D78BCB347590","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10742384dd515d27f05914dbf1c7abb0266b02c2","datavalue":{"value":"1274.68413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924965$9635BDCD-F857-47EE-97C4-E6A723F5FF00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf726e54b2d0ac6885085fedcfd11ea50e481e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3153181,"id":"Q3153181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924965$92BDDC41-F77F-4614-B1A6-0925DCB798EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924965$7FE579A5-7E00-41F7-A742-B3AA8EE3A693","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24e68cbde7cd9bb92668bce7881c12e27824931b","datavalue":{"value":{"time":"+2013-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4924965$2B0A4297-3894-40DC-8F52-9F21D05C5D5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924965$91FF3CAA-9B21-42C3-AF96-2CF767075C8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70690733a1bbd66b4c5b1a97bdaaacac4982fb1c","datavalue":{"value":"6172718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924965$589DB5BA-2FBB-47B2-98C3-5D22BEE73697","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":"Q4924965$E1FE62DB-C478-4B87-B6E8-56E198DE44FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2c3f1d9cdf6d0af916eae57c1be76e6004b8b2","datavalue":{"value":{"entity-type":"item","numeric-id":3490986,"id":"Q3490986"},"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":"Q4924965$52AD8407-0678-4BF0-8059-2BF48D377E67","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":"de21bb951c90eb21619e9fa9168d72c7f0c7703f","datavalue":{"value":{"amount":"+0.8190690279006958","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":"Q4924965$A81AD7BB-FE5E-4575-9471-2B30E222F14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ec009044dfe5eb7bf08721815a6341c12e250b","datavalue":{"value":{"amount":"+0.8188319206237793","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":"Q4924965$0F244413-7B89-4F31-A668-7622FCF001C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768ae8d5e6736b0ad8518caad406d2c275b058c2","datavalue":{"value":{"entity-type":"item","numeric-id":3344174,"id":"Q3344174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c34463602bc009610cee468d9143735245116080","datavalue":{"value":{"amount":"+0.81612229347229","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":"Q4924965$473A0977-3AA6-4D32-AD04-B362627954EA","rank":"normal"},{"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":"515893012bed92d0bc27f1a78a5d4535e0a4502e","datavalue":{"value":{"amount":"+0.815605640411377","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":"Q4924965$C6255FD9-F50F-424C-AC0B-C1AF120801FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4924965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4924965"}}}}}