{"entities":{"Q4263007":{"pageid":6292608,"ns":120,"title":"Item:Q4263007","lastrevid":41824195,"modified":"2025-05-08T18:32:17Z","type":"item","id":"Q4263007","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341468"}},"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":"Q4263007$0F6CAA08-8FE9-498C-8E94-2097089C9C03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7629f4b4e74a9a96b627d68a21af19add2d6011","datavalue":{"value":"0931.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263007$00B4A57E-B7DB-4A7B-89A4-1B2A5A4946EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263007$DBDCDEB7-550F-4370-AC90-EC99B54C2E07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263007$B72DABB0-6A62-44A5-A93A-ECCDFA3283ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263007$A047FBE4-0EC2-47D7-8F33-D6EFF948A9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263007$6A93ABD8-2165-4208-AFE6-E8B039FFA77F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10d7da07bbd0ba3c5b0f651a3e7bc63b815c7797","datavalue":{"value":"1341468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263007$25AFF1AF-1693-4364-BCA7-8EF5CD16CDFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0d78b3f7a23c5fa1ea38dfafebad427ef78d197","datavalue":{"value":"compiled labelled deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263007$7DDF3A47-9072-4B74-B1EC-A13D5334271E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78762cb78f0051878f045c946abd21c0f012ef40","datavalue":{"value":"decidable theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263007$5D86223B-6A6F-4247-8B25-402EC55392A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6722b2209aa11f991e0cccfb18f727af37bf0db0","datavalue":{"value":"propositional intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263007$D469C9F4-7E8F-40CA-9987-25F098EDC795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a7ca98acc0b57231afca16bcaa7c874fa3e2e2","datavalue":{"value":"first-order theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263007$DB519F17-B9E4-481D-8F44-443DAF9EAB01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83494b9ab1842cdcc26b2ef852f144a8f08ae352","datavalue":{"value":{"entity-type":"item","numeric-id":324689,"id":"Q324689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263007$ED449707-25E5-4133-9981-FAD30135B637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263007$0925682A-2298-442A-8E63-0DD1B9BAFEBB","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":"Q4263007$1BCAEAC4-65E1-421D-8525-A7A4A164B00F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230e3e4fbf963c5a3a563efaf67edd5816c672ad","datavalue":{"value":{"entity-type":"item","numeric-id":3787973,"id":"Q3787973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca67aae8d4473a610ff8b504557afd81b5166a9","datavalue":{"value":{"amount":"+0.90850395","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":"Q4263007$BA2C1C26-27BE-406A-B964-95B8917A1150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a08c31ef85d04b2238be7649d89f4e2e16f1dea","datavalue":{"value":{"entity-type":"item","numeric-id":4934559,"id":"Q4934559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c54e713ac5e6716662506a603c7d5a30b6449f","datavalue":{"value":{"amount":"+0.9026899","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":"Q4263007$4D6229D9-F1E4-449A-97A2-30492C26F377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7003feaa894a0ab4ba6d8301d435f278ca7912f4","datavalue":{"value":{"entity-type":"item","numeric-id":2194118,"id":"Q2194118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de21a682b02e62ae5f3d3526b6ff0082e8611208","datavalue":{"value":{"amount":"+0.90189207","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":"Q4263007$0A65ADFB-B64D-47B8-913C-1F10E311E0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc999c2fb46b35ce5f13d2d59e5451b394f64d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2176405,"id":"Q2176405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24dc70343bccdc7a1187df7272505dd6adeff1e","datavalue":{"value":{"amount":"+0.9005991","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":"Q4263007$03B8F40C-57BC-4712-A191-B311F2C7F7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60c745e4299f3e115acc0b61cab483358f34bae","datavalue":{"value":{"entity-type":"item","numeric-id":3809765,"id":"Q3809765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda4902e30c7ac7a0512e51ab2107351f9e47d2d","datavalue":{"value":{"amount":"+0.90025574","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":"Q4263007$EAAFDCC6-61B1-42D9-BB14-648205E72A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ab831ac8956e16726a0bc500314359d3fb316c","datavalue":{"value":{"amount":"+0.89652777","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":"Q4263007$EA873174-1FCF-42CD-BE47-4245DB6E1815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a9fadba081b0649c9919fcc499367696149851","datavalue":{"value":{"entity-type":"item","numeric-id":4707763,"id":"Q4707763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98e0ccff71539623da48aeaf6b5dd9f068a25b4","datavalue":{"value":{"amount":"+0.8958585","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":"Q4263007$5EE3994A-74CD-4C57-8854-0E5A9E043B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364643b58367198f9b03efd825af0b7e13fa00eb","datavalue":{"value":{"entity-type":"item","numeric-id":1820768,"id":"Q1820768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adae3573ce96f64812602970a0344706e3303a16","datavalue":{"value":{"amount":"+0.8934964","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":"Q4263007$7A7C1FA6-DBD2-40A9-B6F1-05CA66E78066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24e7ec0eb5e8f017d8c636db8b23b6051c947ab3","datavalue":{"value":{"entity-type":"item","numeric-id":5145339,"id":"Q5145339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8726d39b80bef1f58618b6fe1217f598019bb66","datavalue":{"value":{"amount":"+0.8925533","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":"Q4263007$E601EFDD-BE67-498B-ABF3-C573F4B2E0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d967c531b67cc6ada3aa7bf3fb87195d583170","datavalue":{"value":{"entity-type":"item","numeric-id":1854478,"id":"Q1854478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fbb370f363bca57ff2f7816f6dbff7b5b2ad425","datavalue":{"value":{"amount":"+0.8912761","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":"Q4263007$F3CA8AF3-7B8C-47A4-858A-38F190F04E45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263007"}}}}}