{"entities":{"Q2104507":{"pageid":2115250,"ns":120,"title":"Item:Q2104507","lastrevid":56991600,"modified":"2026-03-25T13:39:24Z","type":"item","id":"Q2104507","labels":{"en":{"language":"en","value":"Ground joinability and connectedness in the superposition calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628187"}},"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":"Q2104507$D675AE6E-ADBA-444C-8666-4E76C818C587","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f249b7e1c486bb2d2256eaef572bfeb44955114","datavalue":{"value":{"text":"Ground joinability and connectedness in the superposition calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104507$994DAA7B-3305-4E4D-B91F-8C2A88AE8D77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b3cf8c3fc00a58247ccfee3c64574d25039c2b5","datavalue":{"value":"10.1007/978-3-031-10769-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104507$3AF24F48-B899-458D-8CB5-BBA4A6E56A2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f684f5a9f56e57cd849376f9fe6f06257e5382","datavalue":{"value":{"entity-type":"item","numeric-id":2104506,"id":"Q2104506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$0130D4C2-9233-4F32-B4D6-877791D2AC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce9e1735095a7237c0c699c31f4c0eb57566d709","datavalue":{"value":{"entity-type":"item","numeric-id":1401931,"id":"Q1401931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$F4A2C7C6-E55A-4FD6-8D89-AF693FA6CC4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104507$D372FEF2-2F48-4C94-8E85-44257AC33E1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104507$07BCF80B-5D3E-4659-9C7C-F13EE483FDF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3509e639c3a2c00993d2deecd73538a99cc833ac","datavalue":{"value":"7628187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104507$325BC9E3-5510-4A78-B401-703138D1188C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86a171fa82c1ea15db4e7a7c23402cbb117f3b1","datavalue":{"value":"superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104507$914ADB3B-004A-480B-ACB5-5D152EB50117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5db64e13c8924b801fb91d02b6e7feb0ace8e8","datavalue":{"value":"ground joinability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104507$4BC91A06-1474-4F69-AC1C-B40EDC7E4DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d634b808394b6ce56aeffe284d3cf7ad53dc409f","datavalue":{"value":"connectedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104507$1628D4AB-682B-4B4C-A827-E38805542DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06021902b753255bc7385ce70a72a2f6d5e1c53b","datavalue":{"value":"closure redundancy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104507$828B96BF-DA1E-4602-B37C-E87CBA48FB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a313369d6da90dd1bef2143dee22ad776773a0ec","datavalue":{"value":"first-order theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104507$0403DE92-DEE9-4819-A4C3-E43C1104957E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d6a06223cab9007753b2048aff23e42490c80aa6","datavalue":{"value":{"entity-type":"item","numeric-id":40345,"id":"Q40345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$37C00553-B559-4799-A94B-FE53D89C00EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$2E3D745B-8A4E-405D-B698-53412ACF3477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7788e96f7710fd06d5acfc0fd58327b3bfce3e4c","datavalue":{"value":{"entity-type":"item","numeric-id":40346,"id":"Q40346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$8609350B-1D13-41D1-B269-E69A2BA28F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$0B203BB0-9E33-41AE-850E-DD68A2692D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$0A170426-6496-4244-AB82-D261446EF64D","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":"Q2104507$8B1E5944-AB85-4BCE-B153-DDA487B6E7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$0AE5F9E5-506B-49C8-BB8D-EC85FE578FC2","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":"Q2104507$B5D0E7E0-40E3-4B5F-9278-3C82E24C75E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f918d6e269f5e5eec0fcfa5998be62f81a94c3f2","datavalue":{"value":"https://doi.org/10.1007/978-3-031-10769-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104507$4D5FF904-D824-41BA-9A79-C38EAC9C1D38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfc5198081b5d176a3615c4f05d6f08e65d2d30a","datavalue":{"value":"W4289104029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104507$94F894FE-6890-49F9-BFF8-58FCBBBE5DE9","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":"Q2104507$3AA66C9F-D4EF-42E6-9B38-D30A2E95A3E8","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":"Q2104507$C6CB071D-482E-4343-A94B-B3BC7A7DE2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f14fb53a175d4de66740354c037f2660b46eba3","datavalue":{"value":{"entity-type":"item","numeric-id":1106659,"id":"Q1106659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$D2225D00-43DF-4B67-A194-AB4FDE85A79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$4E8BED22-163C-4916-B315-1DC711BDA37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad7c23e8d7895495a33ef0a244c1d5f7a7d7e16","datavalue":{"value":{"entity-type":"item","numeric-id":1899908,"id":"Q1899908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$A786BAF0-31E8-454F-95E6-0DF6ED3A7161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8feb8cb52a71c1d78423d1dc276d7a0af14957e","datavalue":{"value":{"entity-type":"item","numeric-id":1145144,"id":"Q1145144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$119FAF1D-A0BA-4291-AFF1-E1DE239BBAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786afbcf680c210c44541586812cab9a390ead25","datavalue":{"value":{"entity-type":"item","numeric-id":1799100,"id":"Q1799100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$4143A359-B27B-4357-BC1A-7BC721F08564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$B900315B-5C44-4643-BE42-152DAF41B5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b945f2840d1c2d5e46ba120dbb78eb02edc11ef","datavalue":{"value":{"entity-type":"item","numeric-id":5049017,"id":"Q5049017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$CFFA06C8-5295-4EC5-8DDE-D3B61AACDE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267d9483ba548b4ea50499c817ebbc00bb7ff82b","datavalue":{"value":{"entity-type":"item","numeric-id":2142076,"id":"Q2142076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$30F6E5D5-FD6C-4A7C-86FE-5BE8FFE454E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489f378cf88abdd52964605ad1488a1f6fa8a7f6","datavalue":{"value":{"entity-type":"item","numeric-id":2104507,"id":"Q2104507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$F406024E-9705-4512-8E75-01B43D99106B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8bd554443d4def680b4aedb7a5e010af4f212d5","datavalue":{"value":{"entity-type":"item","numeric-id":2128804,"id":"Q2128804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$8705AC88-13E5-4B08-864B-67050C206B38","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":"Q2104507$1836FE2F-9C77-434D-81C1-D1F4966E23A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$55EC9E24-14BC-48D4-BF17-1B06B6D93014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$2BB7927F-1E91-4A6D-97C4-F7ED1AB02EBC","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":"Q2104507$8B4B2092-9201-46AA-9811-24CB3FBC474A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7fffb2327a6ce82997a120ef9ee1d8fe591d78","datavalue":{"value":{"entity-type":"item","numeric-id":2055894,"id":"Q2055894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$906F93A6-2A23-4980-94A8-95FE8A076CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356118b3fcb70897b17bef806f7baa85cb704cce","datavalue":{"value":{"entity-type":"item","numeric-id":1272606,"id":"Q1272606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$D8B22743-7226-4B68-84D0-0B444FA2D2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$501CB3A9-73AB-4BA4-AD32-2A1F218BCD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61546e6fd6be76472da0ab32feef7093fd5ac18","datavalue":{"value":{"entity-type":"item","numeric-id":5918558,"id":"Q5918558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$1BCC141F-C980-4EFD-994F-4EFEE24686D6","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":"Q2104507$F3CACB35-2CE3-44F7-B120-DF85D3D415B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4f240d70da77aed1ce5b5f7470d52f44d6a1a8","datavalue":{"value":{"entity-type":"item","numeric-id":6488545,"id":"Q6488545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$C2FA91FE-50C1-4F05-9E3C-4408D330B5BF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104507$801D58CF-B695-4003-8795-E16664D09CAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104507","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104507"}}}}}