{"entities":{"Q4443417":{"pageid":6473016,"ns":120,"title":"Item:Q4443417","lastrevid":48218425,"modified":"2026-01-04T00:10:46Z","type":"item","id":"Q4443417","labels":{"en":{"language":"en","value":"An empirical analysis of modal theorem provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2024838"}},"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":"Q4443417$28CDFDB6-B4A0-4486-A9BE-D8A733A2ED63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89014f1d874354932eba714752b7c5024bad237a","datavalue":{"value":{"text":"An empirical analysis of modal theorem provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4443417$C9411FF4-2AD0-4005-95A1-D2653611160B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3e302ff87da8cea455b6846a365b0262fafea33","datavalue":{"value":"1033.03501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443417$CD4349D6-3080-42E0-915F-BC523E1C4F94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8188534121a74b397884eb3e9b8bf4d236e1754d","datavalue":{"value":"10.1080/11663081.1999.10510981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443417$B6DFB82D-2429-41E6-ADD2-25FB6BF19307","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443417$99A57684-40E2-4576-B94E-84881537E173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443417$F04A43DC-02E0-4196-8C2C-9713B38049C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443417$3F82415C-EFF5-4C3A-BF4C-A2CEE2EC118A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0ab96eff1122a31ac6b2c9e221486075774700","datavalue":{"value":{"time":"+2004-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4443417$FFF8FC29-7AA8-4D91-B9FF-F41227CCFDE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443417$7B641EF4-E292-40CA-95DA-A246D806F4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443417$82F98B41-0838-440A-86F0-E1EA0AB0E102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443417$3E2E4098-1E25-494B-8A34-B7F5078B2414","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c632cddb9ec6e69075bae823015709c344c1a450","datavalue":{"value":"2024838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443417$0B62B185-2398-4EE2-97E6-D7281A00AA1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443417$3AFA9F05-AB2A-47E1-A198-04E339CC41FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443417$58EBD78C-AB6C-41A5-8211-1F5143BC5AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ecf02fc6fe1243243723a70b9e48f5a9a4fcd4f","datavalue":{"value":"empirical performance analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443417$465CAC10-78DA-4AF4-8F10-752C5DBCADD9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443417$0FC26EF4-B9A4-42BE-921C-6DDA51CEAAC6","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":"Q4443417$800320A1-AFF1-4A31-ADC6-1189A85C2D0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8b662dc259c5568a702f35d77decf5b38641d10","datavalue":{"value":"https://doi.org/10.1080/11663081.1999.10510981","type":"string"},"datatype":"url"},"type":"statement","id":"Q4443417$8750B929-F7D5-412C-B1B3-40B19299928F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e521da1b4acef27c11ce89a685ff6d16268c352c","datavalue":{"value":"W2084802994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443417$BF2B6B56-941C-434C-B04F-1DA4E673E11F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cdec34fa64c4fe94079af9a70deb0327c75541","datavalue":{"value":{"entity-type":"item","numeric-id":1201346,"id":"Q1201346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443417$32B14E91-B2EA-4845-AD21-41F61F41D0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f5ecfa5a7f28801d04e2a0a5dc023244c9dab","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443417$8A33CB4C-8ADA-4D9C-A099-FC2BCA460E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45588cd7360799e3b56381b497f12f36a21e9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1314288,"id":"Q1314288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443417$34DF774C-5792-41C1-84E4-87906C2E0BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443417$CB487D51-FC63-421B-9263-A8552FF7971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a280291148f2a429f6c3491ebd5ce5b8d1822d","datavalue":{"value":{"entity-type":"item","numeric-id":1843557,"id":"Q1843557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443417$88F1C57A-9F79-4810-AE7A-8A3A091AA3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5db726edf837519cac147ea3a710fea1c2fa91","datavalue":{"value":{"entity-type":"item","numeric-id":4365320,"id":"Q4365320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443417$18EADDEF-F353-458F-A8AD-70CB15118E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5939193d2c734f0c40871d2dae732bc5d8448c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3673152,"id":"Q3673152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443417$7D9261E4-A927-4526-B0F3-75B516583EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d60697a31a720ca3818e290670745c2871f117","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443417$3B50F3C3-56C1-4839-8F68-63AE20725894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443417$A46A2CEE-ECFC-432B-84A7-4498C84C192D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c4ee03ab73976024ddd0b1e9e38adc318e6e75","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe149e5aacf980404f0f4d4f9dc77c89f6db697","datavalue":{"value":{"amount":"+0.8242483139038086","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":"Q4443417$8D452182-1D03-44C0-9FE1-CF9CEC909802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f063fb0562555e0954eb27b2806e872e74a76a2f","datavalue":{"value":{"entity-type":"item","numeric-id":4487264,"id":"Q4487264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1e4d7af9425beb423ec006d5791831d637b9f7","datavalue":{"value":{"amount":"+0.824248194694519","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":"Q4443417$C58CA2D6-2629-4B86-8EC7-F03009330B3C","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":"327e01d3b10f2c80ffab0f89f16cac31715f3867","datavalue":{"value":{"amount":"+0.799038827419281","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":"Q4443417$70BD60AF-898B-4621-88EE-CAD9210D9AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0070f198188188a05d47f95f4d06f1e231693ba5","datavalue":{"value":{"entity-type":"item","numeric-id":4539633,"id":"Q4539633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc05a8cf03c1120ba70f47bd97abdc61e49a398","datavalue":{"value":{"amount":"+0.7955458164215088","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":"Q4443417$020DF297-C7B1-4B53-A637-57F220BF5144","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":"e7bc1f305ce859b415cab35aa48e84ba3d7e819c","datavalue":{"value":{"amount":"+0.7923059463500977","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":"Q4443417$3D98184B-57DD-4193-B664-0B6DAE9423DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4443417","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4443417"}}}}}