{"entities":{"Q4250040":{"pageid":6279641,"ns":120,"title":"Item:Q4250040","lastrevid":40902822,"modified":"2025-04-13T23:13:58Z","type":"item","id":"Q4250040","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303431"}},"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":"Q4250040$854C4E4E-A8C1-4221-9AFE-A1E168912738","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcc7d0b7b797a62a44829c0ec22e63f85e935d4f","datavalue":{"value":"0923.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250040$556763A9-7F45-4125-9537-D845C96CEDAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dfe61630de7cf01a3a9198b95bbb5b37622d9a8","datavalue":{"value":{"entity-type":"item","numeric-id":2751357,"id":"Q2751357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250040$6A027661-D875-4C93-823F-47DD715660CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250040$23A9AB3B-9EAE-4188-84CC-EEBFA18204D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4250040$87380CCB-A88E-4887-B7CD-E1E22C985739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250040$3093F47E-FC3F-4830-910D-2BEB2ADF93CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250040$844B913B-30C5-42E0-8986-D5919389132D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250040$AB5BC91E-B732-470F-BF9B-451643C80C1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be6d6c4c363788e42ab3e264e4512d59173f9ca7","datavalue":{"value":"1303431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250040$E5184DEE-0AF7-47EA-B60E-ADA7090DBCF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250040$D3C1FF21-5D39-4F7E-916E-A4499A036C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250040$41C7BD57-889F-4C01-953B-2E8F8D6EC0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c13610f26b20136cdc136cf0db05fb7289e31a5e","datavalue":{"value":"second-order quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250040$D7219EF1-D8B7-491E-BBC4-660B649DA401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250040$398157A8-B184-4D17-B67C-40EE6A3CF003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386957d93f1b142b62315cffb7f9873f9e66a32e","datavalue":{"value":"fixpoint calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250040$3C71F253-472B-4636-84E8-10EAFDA09742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250040$4EC1E905-10CB-4845-9AA1-88640AA4F6AD","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":"Q4250040$AF1419C0-B3C8-4D39-A217-1B4F8672EB63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3965356b6fe0c2ec5519ba755040cd528bd9bb3","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef8799027ccc674b12ba66ab0749973f89c27ab","datavalue":{"value":{"amount":"+0.9125629","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":"Q4250040$8B466C73-2DCA-46D5-8DA8-A973F1244802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f534039a509046f80dc64553ee35d9c662daa574","datavalue":{"value":{"entity-type":"item","numeric-id":3455775,"id":"Q3455775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95460b300ea5806f86c5b00e02adee19d128c23e","datavalue":{"value":{"amount":"+0.8993379","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":"Q4250040$845412E9-FF4C-46D7-AEDB-BE95E7A66237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14d0f66dd459ee91871a105336c2ef77830b0a9","datavalue":{"value":{"entity-type":"item","numeric-id":1612478,"id":"Q1612478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5137d4fc774650068ecab26fc9a29c49f365b53d","datavalue":{"value":{"amount":"+0.88065344","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":"Q4250040$52A93A67-A21A-426E-9EC5-4BC61298CE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"370d12ec71cc0f36ccd6bf5a35cc44fbb49b1f9d","datavalue":{"value":{"entity-type":"item","numeric-id":3532480,"id":"Q3532480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8724c44db3a106db30a8db4e17ee58cea62aad","datavalue":{"value":{"amount":"+0.8767228","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":"Q4250040$39CE188F-5213-4F56-8A9E-3A398EC16201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"935de143545cfdd5372949bc345e1befb57beeb0","datavalue":{"value":{"entity-type":"item","numeric-id":4395569,"id":"Q4395569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf5edb99e398605f7ffc8cbc38fe3997fdd019e","datavalue":{"value":{"amount":"+0.86997443","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":"Q4250040$3E9EE460-6BE6-4292-B3C8-219F704BA4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07e9316d068246cada83dbda1bfa6a906536061","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7bf4ceb09aa8f1ce89debd19b3c029a5c4475f2","datavalue":{"value":{"amount":"+0.8698962","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":"Q4250040$43606985-4856-4B5C-9293-E71C9FCA51B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a34555a0a28ee9a3330ab42e422de3f4db8476","datavalue":{"value":{"entity-type":"item","numeric-id":2211373,"id":"Q2211373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88794c7ae315294824b79baa7af09a7b9307081f","datavalue":{"value":{"amount":"+0.8698518","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":"Q4250040$9D84BE1F-B84A-46AC-BD2F-B5B0DCD05D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c333501388da7f7d83c2fdb2bf7af09b199e52","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f71ec6a5430831bb83439d1b1f2d79367bc51f8","datavalue":{"value":{"amount":"+0.86621493","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":"Q4250040$A56A0A20-FE7D-4013-ADA1-45F8B26C4C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfc73262ff06e28f762db6f5c2e565dc867c5c5","datavalue":{"value":{"entity-type":"item","numeric-id":5477629,"id":"Q5477629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e6221081311b7054f46a0969eaa8c927a57f1e","datavalue":{"value":{"amount":"+0.8642392","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":"Q4250040$0DB7E34D-2A27-4255-A10B-8004817642AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b4b6282524b6a9ace05e85cd121cc70f5ec4cb","datavalue":{"value":{"entity-type":"item","numeric-id":4972168,"id":"Q4972168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984bc71afd785f67190035b59ada09b37b5f4e47","datavalue":{"value":{"amount":"+0.8637217","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":"Q4250040$06B7D379-8FAE-42AC-A712-F33B29934B6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250040"}}}}}