{"entities":{"Q1028646":{"pageid":1030494,"ns":120,"title":"Item:Q1028646","lastrevid":65981922,"modified":"2026-04-12T06:43:54Z","type":"item","id":"Q1028646","labels":{"en":{"language":"en","value":"From Hilbert's program to a logic tool box"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576026"}},"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":"Q1028646$7439A3A2-9A25-4DB1-A9FB-D5CD55D5797B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89f3c0c507c263b34ce8f98fd0d434a0b667e665","datavalue":{"value":{"text":"From Hilbert's program to a logic tool box","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1028646$AC7DCD11-4189-4347-85FF-059D4292132B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a396a5a433a940162f61a13c60a35517e50e86a8","datavalue":{"value":"1167.00011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028646$E64AF04B-873C-42AE-9C34-C582B86FE2BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$BC580574-5518-45E1-9418-0BC3C38131DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f513387d8e77956d2269c6dd9c3352c2f10f571a","datavalue":{"value":{"time":"+2009-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1028646$E8D2FF74-C450-4670-B592-9957E37896C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"067f3e2460e2eb44abc6b50b67eda78e0df805fa","datavalue":{"value":"The aim of this well organized paper is to outline what every computer scientists should know about logic. In order to answer this question the author explains a long series of issues that are an interesting basis to outline a syllabus of logic for computer professionals ``responsible for the creation of life-critical software systems''. The paper concentrates on issues of modeling, interpretability and levels of abstraction, and many aspects of traditional logic courses are undermined (the `narrative' of the history from Frege to Hilbert, the centrality of first order logic, the role of completeness and compactness). The author points out the construction of a `logic tool box', containing modeling tools (basic set construction principles, inductive definition, proof by induction, basic cardinality arguments) and logic tools (propositional logic, second order logic, first order logic as a restriction of the second, semantic notions, etc.). Other themes, such as philosophy of mathematics and computer science (to which I could add history of computer science) are ``something to be left for later'', just as the Kabbala that had to be studied not before the age of forty years. Maybe too late, I sholud say: the computer professional outlined by Makowski, so long virgin, facing the problem of when and where to begin his relationship with philosophy or history of science, probably would always answer: `not now, not here'.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028646$EBD5D86D-5915-4BCE-9B82-F903EAF1835F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028646$83F96434-783B-4369-839B-981F17E2242F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7e3623752238dd38b6b48185d2cfacb9cb264bad","datavalue":{"value":"01A67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028646$743022A7-7DC3-4A8A-9E3F-28CACCE65F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028646$06A1C2FD-C343-401F-9937-A83E6D9169E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028646$D346D9D1-D8C4-420B-A599-FA3A0ED30B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8ac71f9ece33d49971dcb30c2a184e25f07648d","datavalue":{"value":"97B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028646$CD762B9B-FB2D-4D8D-AC78-F4739EE277C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028646$F8B6A009-747B-4ED1-BDF7-10D8C0C947B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6f7fdb447e8148054a4c3d297096d170b764736","datavalue":{"value":"97D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028646$569A2B47-A84C-49FA-AFBF-0860F7F3950F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3682b80075fa44556c62db056df1126b03947e8b","datavalue":{"value":"5576026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028646$DB9BA046-451F-4488-A627-8BD81825CE72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd8374ab4d598d2d67dde7aaa3a7754981cb1fb0","datavalue":{"value":"logic syllabus for computer professionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028646$EC82FCB2-925E-412D-AC87-B5D606785034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d2bdb639e672a5730713acbf9c2e8f7750e9f8d","datavalue":{"value":"logic and computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028646$1359B066-C3BC-45B7-81EE-DFFA283ACF6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$E6391932-D290-4713-96A0-4818923AC9F1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"526aa837036cac15f46c61e6959f93be946160c1","datavalue":{"value":{"entity-type":"item","numeric-id":589986,"id":"Q589986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$A68A09E8-7608-4C59-B8CF-1E414898EC3B","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":"Q1028646$1D562427-EF67-4688-80B7-0A7097F5D5B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3afd112943e63f6d185deaabaa64bfa8cfc45e0","datavalue":{"value":"https://doi.org/10.1007/s10472-009-9115-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1028646$3DC0BFD2-7312-49D5-B213-0757E5BE9079","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"180813041523bb24c9357b72c38057e86bcb5331","datavalue":{"value":"W1963630311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028646$F3A54FD4-7142-454B-AF7B-43CECA279A2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb681da4f1409f8499d4e6a37a0928b1463ed47e","datavalue":{"value":{"entity-type":"item","numeric-id":4461213,"id":"Q4461213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$62F5A018-F503-406B-A0C1-9599F8389F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$0BACBD16-41A4-430F-84CA-D0FFCF5D7A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$3F414784-C7E9-4F58-B6BB-160AE1E1B885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334a19c14814272bf10749182a156fdafc328ff8","datavalue":{"value":{"entity-type":"item","numeric-id":4523468,"id":"Q4523468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$D8F0424D-E98B-4E98-ABC5-4FC8E8FBD351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a4be129ff8df7e57780cf84d04e9dafbab43eb","datavalue":{"value":{"entity-type":"item","numeric-id":4523459,"id":"Q4523459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$6B258F5C-6B7A-4930-8D01-F47A8CC31746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"069e165728f63cdab72725b524504456704a4d72","datavalue":{"value":{"entity-type":"item","numeric-id":4523473,"id":"Q4523473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$B57B6206-F3C8-47DE-9B12-19F7882F5120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44ea821dd93349193c88808546c9d865ebdd061","datavalue":{"value":{"entity-type":"item","numeric-id":5715108,"id":"Q5715108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$F0292F45-D143-487E-B96A-CF909A161C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61b802852b61c203b11655d2d85eae682096f8a","datavalue":{"value":{"entity-type":"item","numeric-id":5694788,"id":"Q5694788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$A203351E-0168-489D-A3C5-A2E521C0EBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$BD607BD1-65BF-4991-9F66-34CDA46A6293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0293f91a7a5459e3c673ddd6ac7a6ad599f59d43","datavalue":{"value":{"entity-type":"item","numeric-id":4272993,"id":"Q4272993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$8E647D9E-5348-4C98-A67C-95F125F8C520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$B6F6A3B9-6767-4F24-BB11-D04684584626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca02b516f0baae945733703283e9713503ff8c97","datavalue":{"value":{"entity-type":"item","numeric-id":5727665,"id":"Q5727665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$B5EB16EF-E685-4814-BEFA-3419CC7A78CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$08E489D5-39E4-46AD-B1A4-1D6E5F008093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfa4f6faf0ef7b57e402c20142139e0a29c6538","datavalue":{"value":{"entity-type":"item","numeric-id":4793814,"id":"Q4793814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$8DE25AF0-9ACB-4057-B14B-F3AF9A5D9ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$DB864811-C5AB-4BF7-94D1-E75F9B5CD449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248bde3a394bd4daef7ad3a4739df78b9e4b1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$810EE9DB-51E0-49D7-BBE1-E2984BAA13EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967574efcb4e3a8ef9c0a2e19bd889953d1b0755","datavalue":{"value":{"entity-type":"item","numeric-id":5902525,"id":"Q5902525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$2AE94B30-7506-464F-81F8-6921B46D8AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d1829f94b706d4d9651443fef991522e50e518","datavalue":{"value":{"entity-type":"item","numeric-id":5792034,"id":"Q5792034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$E6890B6B-91DD-4FBF-9678-E8DCF05BED8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492dacf017bc8c443efd94eb6362baf8d702d298","datavalue":{"value":{"entity-type":"item","numeric-id":5799431,"id":"Q5799431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$48E7B24A-C5F6-4C7A-93A4-2A7C58973678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ca06956d12cdd8fbf2e47a620d3092d301008c","datavalue":{"value":{"entity-type":"item","numeric-id":3257866,"id":"Q3257866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$B6A3C3E1-C02A-4522-961F-94643CFBC9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$C33D1BFD-2133-4D0D-88E1-3443689B11ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b480e310b94b27dab713e2c52148e08390713b4","datavalue":{"value":{"entity-type":"item","numeric-id":5921580,"id":"Q5921580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$C3B53A78-F3A3-459F-A9A7-FDB8E8B544A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$100A1DF9-ACEC-467E-959B-74B74863CDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$F880E39F-D3B6-4F90-A064-AC24FB8D6622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc44c928b8b9fd6fc659e466bf1d897526b36c9","datavalue":{"value":{"entity-type":"item","numeric-id":4247029,"id":"Q4247029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$DDC55F0A-8E04-4746-891C-C220CAD8949D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da05aba72ee4dacb9db92833cbb0cdebd81d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":4770953,"id":"Q4770953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$60943281-943A-4F6C-9260-6A5012E268C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d019c0c1326ab2182eae34b441d1ef2a9c9f024e","datavalue":{"value":{"entity-type":"item","numeric-id":3216138,"id":"Q3216138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$5795C5B9-7CF8-494C-BD26-DAE7B6EB245F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fc495543710fa6dfeeabf64a240c710cf42c85","datavalue":{"value":{"entity-type":"item","numeric-id":3760532,"id":"Q3760532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$23B35645-8729-4AC7-89B1-CDE1F7DFFC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$3D8292C2-767E-4292-A770-B709AF8970BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c39c85434196ceb46aa31d7b3c974c940c60b9","datavalue":{"value":{"entity-type":"item","numeric-id":5898831,"id":"Q5898831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$72F49E9E-8882-41E7-B4B8-FCDE2E7EF273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27fd0652aa615adddf9fa61717d2cab486e8f31","datavalue":{"value":{"entity-type":"item","numeric-id":4286718,"id":"Q4286718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$BE5B744B-DBCA-4F49-876E-50893C2DDBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff15a003decaf3fb97cc8f3b2a4669e9d9544304","datavalue":{"value":{"entity-type":"item","numeric-id":4873991,"id":"Q4873991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$4971263E-92F6-4CA8-AB27-A1B43F6E4240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$12054088-2016-4138-87CF-84DB26B8BED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8184aaf98b668acd5b2f8a968bacc120e77ebfc5","datavalue":{"value":{"entity-type":"item","numeric-id":3546368,"id":"Q3546368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$F1B5942D-08A7-49BD-ACFA-FB1FEA125DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5fca677e81796cc48d83f4eb08744cb3c47bb7a","datavalue":{"value":{"entity-type":"item","numeric-id":4539488,"id":"Q4539488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$E4B5FEA6-C36F-4461-A72E-139A84ADAEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$3FC700F6-BF48-40FD-A8DC-EBA68590794A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1653a841e787b29f0d542ffc0d9cb2ac01e93d","datavalue":{"value":{"entity-type":"item","numeric-id":3221907,"id":"Q3221907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028646$6435314A-8B67-451F-A0BF-6127CD289360","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93caec09e2bc10b581b070698750cbb7528b4020","datavalue":{"value":"10.1007/S10472-009-9115-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028646$3812DA1E-83AD-4C50-AA5B-C133104BAE05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81f0fd4cb2fa7251abacd206e730ac001bfae9","datavalue":{"value":{"entity-type":"item","numeric-id":4003336,"id":"Q4003336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51901dd07413474aa816ae2300a0ef85d53f7dd6","datavalue":{"value":{"amount":"+0.7459477186203003","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":"Q1028646$AA7BCF25-C7AF-475A-A0C4-8634FD5248D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e9e17b0a81aad215536eb5c0c4137929803b98","datavalue":{"value":{"entity-type":"item","numeric-id":3998237,"id":"Q3998237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e8b659498cb56826ee85a301c271d9159db559","datavalue":{"value":{"amount":"+0.7438382506370544","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":"Q1028646$B2187AAB-A7C4-46AF-BF00-44B607C4CFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8443caedf36cb4a469d7c31ca07ef4894cd054f8","datavalue":{"value":{"entity-type":"item","numeric-id":3125203,"id":"Q3125203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8694c6026af07acd89468ed1703c63d4d7f625","datavalue":{"value":{"amount":"+0.7316741347312927","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":"Q1028646$04765D70-5E63-43A9-A00D-1044279AEB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d04babaa06dc259361c7e79f86f8cbaf7960e5","datavalue":{"value":{"entity-type":"item","numeric-id":4840188,"id":"Q4840188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0519b57df4b04eb1241a2e840a746e966d4b727d","datavalue":{"value":{"amount":"+0.7316740155220032","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":"Q1028646$489C8503-5FEF-4B8C-9F34-58E224A15BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f62bbe79ace320b8f4d4db960e0c746c62dadc","datavalue":{"value":{"entity-type":"item","numeric-id":3996610,"id":"Q3996610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84dd40eebefecf27bf8c92b6147030eb49650bd4","datavalue":{"value":{"amount":"+0.7228891253471375","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":"Q1028646$3B0D1D64-0825-4CEC-B094-544A1E6B0F18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From Hilbert's program to a logic tool box","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_Hilbert%27s_program_to_a_logic_tool_box"}}}}}