{"entities":{"Q3455772":{"pageid":5235172,"ns":120,"title":"Item:Q3455772","lastrevid":80691287,"modified":"2026-05-06T16:46:53Z","type":"item","id":"Q3455772","labels":{"en":{"language":"en","value":"Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519944"}},"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":"Q3455772$502C2C37-2951-4E69-ACEC-B14FEDC1FFCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1a746b59f6d3ac9b55af0af6e62dd4a512cab19","datavalue":{"value":{"text":"Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455772$E08C8BA6-FA29-4F82-BC3F-60583439067C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a45f10b2908732e47d56c8399afbf82199c50c4b","datavalue":{"value":"1471.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455772$4E6FAAB2-8912-449B-8218-C8ED6F64E6D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e5efc245a43b7cc2d310e2232531d086e7aefad","datavalue":{"value":"10.1007/978-3-319-24312-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455772$E3133C78-CC0F-4A13-B68D-A4C05F6D87EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$55B3D94D-A030-482B-A96E-397C719F1A33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$14CDBDE0-A961-4D39-BC14-636DAD27BC4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455772$10330972-19C4-46FF-A08F-B2EC4342EBF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455772$3597A13B-2353-441B-8B4B-E02921BC6EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455772$AB3DCB69-D5CD-4AB4-8E1D-F5AD22679078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455772$5DE27CC9-544C-48B1-94AA-DC2DD590F586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455772$2CE0EDE9-71A4-4469-A574-D793003C4486","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3377a6fd1ad73a64eb8de3e723957366b29ec700","datavalue":{"value":"6519944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455772$B8297E65-EEC2-44D1-B140-03618A1C75B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$F846A026-372D-4F7D-9641-08FF41C6F86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70bb894bf31fb871c4f3631cd69249ff118a3edc","datavalue":{"value":{"entity-type":"item","numeric-id":43934,"id":"Q43934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$CB086F3D-97E2-4FAF-9ABB-F0234B10BBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$E731C6FA-A833-4E0A-93FA-A5BE812C5BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$7388C1A6-243B-4512-B816-D5666D1E0C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$813645D7-5630-4603-826D-4F5BA7A622E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$A77D5193-4E3D-453C-A3FD-61CBAE40CB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$96777FA0-E5DF-45D9-8A82-8C588150FDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$2BABB344-FA58-467E-8974-455171796E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$96A54882-9F26-47E6-9EF1-6CA95EBBF595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62514e1ebcded296446ade3e1c48702755455e0e","datavalue":{"value":{"entity-type":"item","numeric-id":33346,"id":"Q33346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$B9C2480E-65D4-40CD-91BD-8E27D907514B","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":"Q3455772$3088894A-5FE9-497B-A44E-3434D8AA5341","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d25d73e8477c0fcbfe915138ab7efa3295cd7895","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24312-2_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455772$D2D704D6-493F-469E-BA3A-D9B721B0CEE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61198024e2621b6b346ecd69c20372821d20cb93","datavalue":{"value":"W1927497685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455772$2DA74249-ECB3-4709-B1E2-5B3894EDBAE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5448f9ab6736da170ef8ee2679236b3f9e856cc","datavalue":{"value":{"entity-type":"item","numeric-id":656826,"id":"Q656826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$937725CA-DA6D-41B7-A6C8-AE7C4CED19C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3549c3e796031af76469b982f780cd4c579586b3","datavalue":{"value":{"entity-type":"item","numeric-id":1935597,"id":"Q1935597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$DED39CCD-473F-4663-B34E-FB2243FB8963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261bf1cec9df1397efeae294bf8d132656416872","datavalue":{"value":{"entity-type":"item","numeric-id":3457212,"id":"Q3457212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$9F0A0BEB-27EF-468F-A930-43EDF9F41F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a96d2c858551fc55efb11cb4dcbddfceca8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":2787333,"id":"Q2787333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$A9249A20-A3FD-42AB-B828-CA0A09A045C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5acda27ce903d65178734fde914259ea4390f400","datavalue":{"value":{"entity-type":"item","numeric-id":5282959,"id":"Q5282959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$C9333529-668D-4A50-B3DD-8BBC2A177329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1d89dc5849ea759265232a4f46af65741692c7","datavalue":{"value":{"entity-type":"item","numeric-id":3086787,"id":"Q3086787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$4F4859FE-879A-434F-91D4-ECBF4ADD0959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fdfe50642d43bcbc1e1abcfb32e3a3f77b86c3","datavalue":{"value":{"entity-type":"item","numeric-id":3061280,"id":"Q3061280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$019E14EB-E7D3-48B0-97FF-85D203E6AC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6806978a979e5b32e84f7ae90552bdf193355f","datavalue":{"value":{"entity-type":"item","numeric-id":1945702,"id":"Q1945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$82606B96-DB2A-4B87-AB9A-53628ED95C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44f29a5847ba65ecb038e53a168893c35ebafbc","datavalue":{"value":{"entity-type":"item","numeric-id":287283,"id":"Q287283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$FE626A0F-A9E7-4DF9-A28C-B4B19972D6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbb59706402a58eab2bb1a14f29de683fb59d18","datavalue":{"value":{"entity-type":"item","numeric-id":2870120,"id":"Q2870120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$8BCCBCA8-EB04-4B3A-A887-F3026CD44E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80086ea9aefdd3a89c3fb62db9aeca2cf2f617d5","datavalue":{"value":{"entity-type":"item","numeric-id":523303,"id":"Q523303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$49DAF69A-D72C-487C-96DE-93E19FC75B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2a2cacadd3c3bd12d3fb85ce93d5f9e91b3ab1","datavalue":{"value":{"entity-type":"item","numeric-id":2970308,"id":"Q2970308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$8512AFFE-870B-4EDC-A54B-220871353407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55279b562077235a83c8f027abb8a1db79401d8","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$A0842E73-262E-4F2D-A94F-380928962FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$8E422A9C-3099-49F8-8DB8-DCF7FA45E429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$CE8BA200-F7F7-4D3A-AD94-C73C197FC1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73747d1be528c82497c6517bd1ecf143bfa790b1","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$1AFE03FB-DFEA-409B-8FF4-31205467E016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$78D610A9-437B-4B55-B65D-72F7983F3C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$84E39303-0EB2-4B5D-ABED-556DE3603266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6769689c41f1232f361996ea9ea32ac1c5d5dc19","datavalue":{"value":{"entity-type":"item","numeric-id":2389631,"id":"Q2389631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$28539987-70C1-4B3D-B4D8-F01D8334B712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74512d1738c9d1ad87a430c2d90edb232ca525b","datavalue":{"value":{"entity-type":"item","numeric-id":3983938,"id":"Q3983938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$E7922450-4081-4FBF-AAE8-D8B75177EA87","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":"Q3455772$26AB8382-E221-48D4-8785-3AEE9A501A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be986acc9e1b8514990926935f126389f1f796f9","datavalue":{"value":{"entity-type":"item","numeric-id":865650,"id":"Q865650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$55A51608-96C1-4FE9-BEA8-CA5526F5D983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$47AB798C-A101-4597-9431-8E66AC199FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4ee858c8544ddaa2b36ea8b7a73636ae5df893","datavalue":{"value":{"entity-type":"item","numeric-id":3075241,"id":"Q3075241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455772$553F44C7-604A-4F0A-BF5A-2918D4745E51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab16e0827da344c5fa285bc84edcbaa0e960f60","datavalue":{"value":{"entity-type":"item","numeric-id":3305633,"id":"Q3305633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2d9243bdfbe97066dcae28576d410dfba2b468","datavalue":{"value":{"amount":"+0.8369341","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":"Q3455772$C85D5C41-8B5B-4358-B68F-AE53C182DE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"284ce6a66d7f458841a6738a24e438a5a5cc3c93","datavalue":{"value":{"entity-type":"item","numeric-id":2829997,"id":"Q2829997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"803799785421a4ea2d42b5df6b5af502e5eb712a","datavalue":{"value":{"amount":"+0.83408934","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":"Q3455772$9F44D938-36C1-4426-87AD-F9D63970CBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2d156d27ba4ac79a032d9500aa1accdc2c7720","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160be67017c0856ffb301cf07f399cad68023d6b","datavalue":{"value":{"amount":"+0.8304484","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":"Q3455772$DC68E1FB-7A42-454D-BB82-2129488012A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d6a57f4ef8f1f42a8473ad417440a81dc02339","datavalue":{"value":{"entity-type":"item","numeric-id":4329526,"id":"Q4329526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa15c9a8f9e07567b61b9b5bd95aca8e8bb5a22","datavalue":{"value":{"amount":"+0.82811165","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":"Q3455772$2910A030-B54F-466A-BDB4-096761706623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30de09d81f91905084e267fe133e9e6d7a319a0e","datavalue":{"value":{"entity-type":"item","numeric-id":5045455,"id":"Q5045455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bc17d79529e40d15489f1bca24e643e064b816","datavalue":{"value":{"amount":"+0.8276158","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":"Q3455772$43B97B7E-516E-49EC-A571-192ED1A4594D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b3637b3394825a345a7ea07062c314d25e2ce6","datavalue":{"value":{"entity-type":"item","numeric-id":3585999,"id":"Q3585999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800e279098cd87a8be19f8fe25b9b302976126a2","datavalue":{"value":{"amount":"+0.8265352","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":"Q3455772$BF3A50FF-55CE-4C47-A24B-113B0B312FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015832b0383200dc89d13aef192b98c1cd813252","datavalue":{"value":{"entity-type":"item","numeric-id":1650346,"id":"Q1650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f83b39f70f7ffe7b4f055bb3b2ea4359aa9a3d","datavalue":{"value":{"amount":"+0.82621336","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":"Q3455772$7735B770-CFDA-43E0-AFD0-BC8A16800FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3654415bcf028df8e7038249871b2382e13ebfe","datavalue":{"value":{"entity-type":"item","numeric-id":3455757,"id":"Q3455757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86780461f88d4480837921f042a56481b56ecdf2","datavalue":{"value":{"amount":"+0.8258666","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":"Q3455772$C364293B-2C4C-4F31-A978-5515566A647A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ed73d4181f777a4c9b6f374d11c29a1c541e02","datavalue":{"value":{"entity-type":"item","numeric-id":2104491,"id":"Q2104491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38df90e1eaabd9b7ee4286546bb876a4e67a7ca2","datavalue":{"value":{"amount":"+0.82364213","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":"Q3455772$C98F81E6-0277-408B-BBD9-06738BB1DBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b871ab9ed02b0ef7f745d43d1a4ca474e2a34cf","datavalue":{"value":{"entity-type":"item","numeric-id":2679576,"id":"Q2679576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5674aa3f2d06bfa3ac2354eb42dcad9acbb74ddd","datavalue":{"value":{"amount":"+0.82331526","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":"Q3455772$7984A6A0-61C9-4903-A472-22B41514D548","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invited_Talk:_On_a_(Quite)_Universal_Theorem_Proving_Approach_and_Its_Application_in_Metaphysics"}}}}}