{"entities":{"Q6541142":{"pageid":14152285,"ns":120,"title":"Item:Q6541142","lastrevid":57344676,"modified":"2026-03-30T14:09:57Z","type":"item","id":"Q6541142","labels":{"en":{"language":"en","value":"Range-restricted and Horn interpolation through clausal tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850735"}},"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":"Q6541142$4B5571A5-67E5-4D8E-B6EC-F618831F57F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3ee1a54690f85add6a90adaf9aaa011918c9d35","datavalue":{"value":{"text":"Range-restricted and Horn interpolation through clausal tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541142$18E956BA-B384-4E21-AAB3-876246EBBCA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d5c85b59b9d58383b29799584edc7790e2164bc","datavalue":{"value":"10.1007/978-3-031-43513-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541142$A9568C37-2B36-440C-BEF9-63C041502F2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3313867e180f61d15d3300f2a46593d6b3819e03","datavalue":{"value":{"entity-type":"item","numeric-id":429593,"id":"Q429593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$09BE6D28-A2D8-4623-B4BB-BC64B54320DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541142$FD9E8CEA-813E-44C3-9D14-5AD4AA1B7ED8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541142$3693843A-0297-4FA9-BABE-B86934904C76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13f40619ee6c9d8ba1af97999505a3778c34d9c0","datavalue":{"value":"7850735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541142$4F7574B1-BF50-4F21-9DE8-790B9715B10E","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":"Q6541142$7B2CAB49-039D-4B27-8AB5-B58F28A819C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$A9CE73AA-83A6-4DB0-9B27-4BEC3F563266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4b2cc45597c6adb320160f2d26e8212e854497","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$3105F8FA-D5D4-480A-A209-7C4FE0E323EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770ff92da7a58bd4dfcbfbfe619080622a30dbc6","datavalue":{"value":{"entity-type":"item","numeric-id":2303239,"id":"Q2303239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$2797647A-6C9F-4DF9-9AC6-5CD748B237AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31bd9be5023542651f722ae2c75f7e831f3d4884","datavalue":{"value":{"entity-type":"item","numeric-id":2799047,"id":"Q2799047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$90562B0B-9DE4-4754-A3C7-314812C6F760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$13C42E6B-A9A6-4BDD-B722-9A93D9B60141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab794919a8997b9dd02f15a063b43764fcb62ed6","datavalue":{"value":{"entity-type":"item","numeric-id":5013905,"id":"Q5013905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$7406A588-662A-4FCD-9AEA-044E6C5849E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662f20bf140ab4dcc547b620fa203d92a51df7b0","datavalue":{"value":{"entity-type":"item","numeric-id":2352502,"id":"Q2352502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$CC86DF2F-87DB-4ED8-B7B8-F8560E2D9D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9877add428dd78103388124da498b7c045cd5b18","datavalue":{"value":{"entity-type":"item","numeric-id":3075472,"id":"Q3075472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$E7722FC1-7E69-42DD-8098-271DC18BA136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1ee918c464fe7c6c2ebcaf9cb1dfed9d3b10f4","datavalue":{"value":{"entity-type":"item","numeric-id":1581852,"id":"Q1581852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$69428B59-6C50-4FFB-9602-2CD0111D3586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$617E1789-B85D-44CB-982B-F5EDB8E9477B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$24F04080-F47B-4054-B77A-B6F78CF60DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$5E11DAB1-8E73-4253-956D-FA8E7251218D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3312f29078819479a5153d60dc3c20bd9b063b","datavalue":{"value":{"entity-type":"item","numeric-id":1024115,"id":"Q1024115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$93816CC2-EB1E-4CEF-BCDA-23BB9EEE6E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32aca09a46928a75cfeec41f3ed91ec0ce02dab","datavalue":{"value":{"entity-type":"item","numeric-id":4302819,"id":"Q4302819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$119B4129-1718-44EA-822C-2F34DACA7389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$215B810A-94FC-4E0E-AE1E-E979DD29C608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"317ec6faca87235e1a84f08a2ef2186d8ae5e0c0","datavalue":{"value":{"entity-type":"item","numeric-id":2871462,"id":"Q2871462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$E2C52CF0-BA5D-4ABB-9FEB-1B3F93ABF144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed74b949115e5d18e129857075f73d9c30bc7f7","datavalue":{"value":{"entity-type":"item","numeric-id":5747760,"id":"Q5747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$3EDA6977-B63A-4F8B-B122-BDFF53361221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22d96f5a065b66ef5cb79cd3620ea1aed3b80d4","datavalue":{"value":{"entity-type":"item","numeric-id":6085706,"id":"Q6085706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$515A00AD-B9D7-4CC0-8C3E-57C429609EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d2f9635f6ebe59e101ee5fc88698b84198b834","datavalue":{"value":{"entity-type":"item","numeric-id":3455780,"id":"Q3455780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$8864679D-DECB-4838-9161-629ABA138DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e9e44d7ffa3e35b73497e32253991279784e6a","datavalue":{"value":{"entity-type":"item","numeric-id":2751354,"id":"Q2751354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$6145C41E-5972-4BE5-B6C8-F0D7E4469D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600333a0c3b702f996bf24ab4fc7166efae866e9","datavalue":{"value":{"entity-type":"item","numeric-id":4645726,"id":"Q4645726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$6A929F09-9DFE-4B28-8EE4-180AF8DEC578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e877970458b5c16302ee283d5bedf9c4963fdd7f","datavalue":{"value":{"entity-type":"item","numeric-id":4524783,"id":"Q4524783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$C357F656-68E1-4019-B1F1-68398F89C245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f51ee284f00df4ab26e4aab4c52fbc2a272b198","datavalue":{"value":{"entity-type":"item","numeric-id":2753598,"id":"Q2753598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$7801F338-3DC3-4947-BD7C-D1D7C73C984D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$3D787950-352A-41D6-804C-0D1BA85BCDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd41301b78a03236dc27ccdfce83b246065d0cdc","datavalue":{"value":{"entity-type":"item","numeric-id":2751380,"id":"Q2751380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$37A330DE-7887-4DD6-965D-A8619FD9A056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$5AF91EC1-4722-4601-849A-A11E578D2B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d0435b64722e7005b0f9d3c3c42f86d6e6a296","datavalue":{"value":{"entity-type":"item","numeric-id":772218,"id":"Q772218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$8F97C4AA-E326-41E9-BCFD-31660467988B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$947286C9-0236-43D9-9EB6-C0088DBD80A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9d2c6d437a8dcb67fe333e5f250b25a8d9de87","datavalue":{"value":{"entity-type":"item","numeric-id":4159026,"id":"Q4159026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$97343262-916E-4C40-B1D7-B2BF7F44DFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c141352fba382a59943f19a2b1648b3ea929da","datavalue":{"value":{"entity-type":"item","numeric-id":1161312,"id":"Q1161312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$21705DFD-A525-441F-AC98-73EEAC62D71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a75f053a353053f076c4579a8bd7588f50e677","datavalue":{"value":{"entity-type":"item","numeric-id":3568228,"id":"Q3568228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$3D5B1F4D-0EE5-4BF7-B64F-3492B03AA672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e114146a9d2d5e6b8c252e3e4a144fcee5ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$BF3297A6-1AC0-40B1-8DEC-4E908AB0386F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$55DAD1C5-8D6F-4016-A3BD-40B02AC01324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"879fc2ff06f54605e217c9c147e5033715096b9c","datavalue":{"value":{"entity-type":"item","numeric-id":6541149,"id":"Q6541149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$2BD209EF-42A0-43C1-8AEE-072A2B200517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$059D5B4B-264D-4D15-95F9-5F131E160C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$4A55C231-48DC-4F35-8BE1-7E703597C1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$0A691948-28E1-4745-92B2-116ED18B435B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$E89EEA4C-77D3-462F-AF7F-96A297521581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$B8580316-399C-422A-9AA4-901C041BD6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$943D3EE1-7200-4EBA-8FD6-6926E2BC216B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89bb690d82158de9c3d7b82fa1b8420468715e47","datavalue":{"value":{"entity-type":"item","numeric-id":6095787,"id":"Q6095787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$E526A7BF-CA60-44BE-A886-B837EB82BDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$C3CC4E41-B9C7-47B5-9B49-7A9F4979662D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea71f83a07f0c6d2d51e13fef9f81f1546c6947","datavalue":{"value":{"entity-type":"item","numeric-id":3092739,"id":"Q3092739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$AC26DF8E-3EAD-4289-914E-133777D77782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$B0AE6D51-B659-4DED-8554-20A58F9E3FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9957a423d894d8b46efb9e3211cdfc26d4c49a6b","datavalue":{"value":{"entity-type":"item","numeric-id":2666953,"id":"Q2666953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$83670648-23F5-4123-A2D9-F258AE01F55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4de644dc35e1237e68c5490590f837496960ea","datavalue":{"value":{"entity-type":"item","numeric-id":2055843,"id":"Q2055843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541142$01E0831B-B361-426C-83BD-A0B4580CFA97","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":"Q6541142$367BF73E-F25F-4455-AE35-F57847DB8C5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541142"}}}}}