{"entities":{"Q5089002":{"pageid":7118578,"ns":120,"title":"Item:Q5089002","lastrevid":55415281,"modified":"2026-02-17T15:57:09Z","type":"item","id":"Q5089002","labels":{"en":{"language":"en","value":"Extending Maximal Completion (Invited Talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559269"}},"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":"Q5089002$460D4DDF-6D01-41CF-8E72-3B167D7FE15A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$F2783D24-B6E3-4B9E-AE17-CACE7097765D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089002$2D8E8711-4910-4FE4-83CD-DEB0CC6727DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089002$FDDEE2AE-6158-4455-AD61-D1A67BBE5C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089002$85B9079F-0774-469B-A534-49E63C0D2E00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a652187c7b18c21d7de3ea50b72d5d641928314c","datavalue":{"value":"7559269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089002$0ACA3259-4ADA-4D20-A6DB-76F905E9C304","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089002$02EAB4BA-D0B0-4C3F-A147-4FC658DC0817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089002$76B2B507-40E2-467B-BFD0-F0214307B071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089002$4E853429-8D47-4857-8FE7-6A0F0DE2FE17","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":"Q5089002$0A9DAAE9-2970-4C21-B6BB-6810CA4DDAB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d36cc78d4ffc2563b9bbbc047eb776f722da4818","datavalue":{"value":{"entity-type":"item","numeric-id":1404987,"id":"Q1404987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$3FF4E616-E32E-4910-B6BA-37A5260ED094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$81EEF77C-0E5E-4595-9144-DAD92E7863ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$29A0777B-DDF9-4873-B618-D582E6381178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3455e3f4a94a330dba477e08dabbd126fc6889f9","datavalue":{"value":{"entity-type":"item","numeric-id":1262752,"id":"Q1262752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$668ADDE2-7A91-4095-B004-6C34810CCF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bacafc34c968f7656ec861c5f8c80b9c913fa","datavalue":{"value":{"entity-type":"item","numeric-id":2908472,"id":"Q2908472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$48DEE3DB-3B7E-4664-99BA-89EE558C5FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57cc4f7dc3b6f23d799438b73bf0775d1ebbb4ef","datavalue":{"value":{"entity-type":"item","numeric-id":5881280,"id":"Q5881280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$E54F6918-5F6B-49BC-852E-3BD23E458FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d4a257ef82cf9bafad6ade7d2102f8d8d9ee6b","datavalue":{"value":{"entity-type":"item","numeric-id":2931790,"id":"Q2931790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$B13DEEAD-6FC5-44A1-BC4F-103710BABE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e261a63254d35d4f5e7bcf96488142a993ed37","datavalue":{"value":{"entity-type":"item","numeric-id":5111315,"id":"Q5111315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$A4279F57-E04C-46D1-B2A1-7AD592E6B226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$22248593-E311-480B-94E9-3BC086A3B1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d15513196ac5812dda4740f218d50ad21eb90c","datavalue":{"value":{"entity-type":"item","numeric-id":1199927,"id":"Q1199927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$169E3589-5E90-4001-A02E-1F2799DEC622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a00e564510c152430ba9f59c7b7c4f0c9042fc","datavalue":{"value":{"entity-type":"item","numeric-id":1106657,"id":"Q1106657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$6797D310-5054-424B-8490-806051E1C373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53cafbc2d85d46d1118f546505a693afaff05b05","datavalue":{"value":{"entity-type":"item","numeric-id":5389074,"id":"Q5389074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$4B69C8DD-00CE-47C3-A60D-D19BEE8CAA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$41A51C92-76ED-495E-9C5A-20EB58F8E3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e861cd1c39178d9f4fad683e1f336b1d3e6d6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":5307048,"id":"Q5307048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$170C6C71-24B8-4EBB-AACD-042C17FC2DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d0777e830433e0900baf8da5e83b789312b8e0","datavalue":{"value":{"entity-type":"item","numeric-id":2563692,"id":"Q2563692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$B82727F6-C435-4089-ADBF-640BCA41D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$58A6CCB7-E21F-41D8-B13B-44867E372F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1399d85040ecbfbd989e12fc58a50c94b5c35675","datavalue":{"value":{"entity-type":"item","numeric-id":1400715,"id":"Q1400715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$1285301C-A059-401D-A804-D8B71FD65435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49866e8a93fc3788517eba6459943fa8bdc4229c","datavalue":{"value":{"entity-type":"item","numeric-id":3454089,"id":"Q3454089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$A92D6EF7-2DBC-49B6-A1F9-3BE2980D743A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611e0993b6e5cac5b0d471278df2e4087c67523d","datavalue":{"value":{"entity-type":"item","numeric-id":4942621,"id":"Q4942621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$86FE8257-0EB5-46AA-BF49-AF391829D056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43993172b468fda334ce51abc509135b6ad965c8","datavalue":{"value":{"entity-type":"item","numeric-id":4577809,"id":"Q4577809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$4C434401-1F73-4AC2-94A4-B5E880080587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44b125cf3594b01960f6a5396e298346e4cfbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$F0730488-65AB-4052-A942-0991C168A9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f92dece4062245eff0c48ed11c10cde6ab8215eb","datavalue":{"value":{"entity-type":"item","numeric-id":5170836,"id":"Q5170836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$BCC8FEDE-429B-4D64-AA67-57F70FE92633","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":"Q5089002$854D6C1D-2026-4279-84ED-0476F17D907E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed71badcabbd9aca7562ad8aef8df440f50790f2","datavalue":{"value":{"entity-type":"item","numeric-id":2848691,"id":"Q2848691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$D636720B-8F82-400E-882F-FA42A8A79DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4eb4cceef46d50a471beb7e05be5acede978f33","datavalue":{"value":{"entity-type":"item","numeric-id":2958393,"id":"Q2958393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$B63ECA9B-5D5D-486F-827E-D1E037452422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d10fc74bb631d103d55d98623ca6a59a70b5d01","datavalue":{"value":{"entity-type":"item","numeric-id":4993362,"id":"Q4993362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$D0F4D958-2DFE-4B9E-8983-3042B0DA63E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cebe0d7a0eb88e0d0f8c76f018e1e9f6f626b46","datavalue":{"value":{"entity-type":"item","numeric-id":1799107,"id":"Q1799107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089002$BC9C6978-5611-4B00-8B9E-0BDCD57A21DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c107850ecfcda57b01f3a0b0b20649301d2ac13b","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2019/10510/pdf/LIPIcs-FSCD-2019-3.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089002$07C05072-6B66-407B-B3E3-2FCCCAFE8B1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9267d3c30aff0f7ee6b5d7222854ca71abe0393","datavalue":{"value":"W2955328239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089002$B58C86B7-BD19-475F-B74D-46EE715E2965","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"436373ad8b5c65683ea989455eaaf5d4d0843bbf","datavalue":{"value":{"text":"Extending Maximal Completion (Invited Talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089002$8BCF4657-B296-47E7-B141-59C0420BB283","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2749bb9245950319f611e7bdd9cefaa390e198e6","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089002$4C4CF84D-EC98-458F-BA3F-3EF39FB2F5D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7e31dfc96dae4472290cd410eb90b88d414413","datavalue":{"value":{"entity-type":"item","numeric-id":5389074,"id":"Q5389074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549b3969e60405b3acc82d4b17b2a51f977caec6","datavalue":{"value":{"amount":"+0.8453559279441833","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":"Q5089002$73E7C913-C054-488F-929E-BC71F241628C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc558a66401081c1bb800521eccd499615c826f3","datavalue":{"value":{"entity-type":"item","numeric-id":6159916,"id":"Q6159916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89050967abfed61237a8a2a495d5a5991ce9652d","datavalue":{"value":{"amount":"+0.8315421938896179","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":"Q5089002$57299F3C-3177-42C9-9388-23BCC98090A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c6c6dd2d9ed18ac107ce634cad137ad3ca8e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1799107,"id":"Q1799107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5962fad4afc16c28fa77dac79ae3e9f63c33f6","datavalue":{"value":{"amount":"+0.8153029680252075","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":"Q5089002$57C76B6F-7D48-45E2-B3CE-59D423328024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44b80ae72552fe355c6d62c8e6e6500eb145a21","datavalue":{"value":{"entity-type":"item","numeric-id":3806800,"id":"Q3806800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624495519e15d57836f28c9a791e8319a2eab904","datavalue":{"value":{"amount":"+0.8044517636299133","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":"Q5089002$248B2C37-09E7-4588-90FB-D50AE2B38A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4394babb35832f5230c078c472b211cfc3f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":3325075,"id":"Q3325075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9438fb1af5b1823cace168e4bb08a2ccf2d4d4","datavalue":{"value":{"amount":"+0.7877600193023682","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":"Q5089002$30FDFD5F-CB1E-4BE6-83D8-33B6616B1C1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089002"}}}}}