{"entities":{"Q6647873":{"pageid":14259028,"ns":120,"title":"Item:Q6647873","lastrevid":40612263,"modified":"2025-03-12T12:51:10Z","type":"item","id":"Q6647873","labels":{"en":{"language":"en","value":"Special cases of the interpolation theorem for classical predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7953477"}},"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":"Q6647873$DB145A50-CFB5-4F9E-802C-B82303316452","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a9c1dffcb748ce8f8e319983853e38e9119de1e","datavalue":{"value":{"text":"Special cases of the interpolation theorem for classical predicate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6647873$58EB819B-585C-4F3F-832A-44C598F1B827","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac4d1d03e070c913b4657d6ecde6f232f0299b26","datavalue":{"value":"10.22405/2226-8383-2024-25-2-222-234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6647873$254B6A1D-6231-44BC-8B17-0521C7508979","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95c6deb15c875b3b54c46323f796f996efa7dede","datavalue":{"value":{"entity-type":"item","numeric-id":6647872,"id":"Q6647872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$B81B2192-65ED-4487-A5F1-6D781470313C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fea4e88e750f6e5b3be7d6190f58b2925004c2d","datavalue":{"value":{"entity-type":"item","numeric-id":6498954,"id":"Q6498954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$9C8AC340-562F-47EB-81D6-D82C6DC2B498","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809041de86ee9cb36549c7a4467a0d3c1c42deac","datavalue":{"value":{"time":"+2024-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6647873$72A5A8B7-39ED-4184-9427-CF674F0D13E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6647873$C4CE5B7C-6025-4AF0-9DFB-854E1F239687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6647873$AFFD74A7-E348-4F40-93A1-E54FA87C74A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79db9005762508ff11416c2fb0b7497718800d90","datavalue":{"value":"7953477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6647873$DDD0DAA4-AE04-4AE1-B40C-053D9CA9BBC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4838bcb38e8f0202533cfd16a7693ed4b09c3e6","datavalue":{"value":"interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6647873$A903D922-5931-40A3-961D-091FE96F1887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abcbb235967311ef7e8743333c10dae391e652c5","datavalue":{"value":"classical predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6647873$C658B9C9-DA0E-4FEB-935D-15E6927A0640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fea1f9d4d4c67551c5e3086fcff8313980c1999","datavalue":{"value":"universal interpolant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6647873$EA574525-D637-4937-9FFD-91D8C9211AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62451f08de0523736532d82a524955cd7dfd8423","datavalue":{"value":"Horn interpolant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6647873$CED97FD0-88A7-4897-A2BD-1ECF9979BC25","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":"Q6647873$B7A52EAE-A921-4B85-A518-A7888B6DF7B9","rank":"normal"}],"P223":[{"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":"Q6647873$06A486F2-EBC4-4F33-B68D-1473F2349D28","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":"Q6647873$BD8EA6D2-841C-4DFE-9C9E-7A63D4176891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd505183191f57203563f1eb0f8099e63aba85c","datavalue":{"value":{"entity-type":"item","numeric-id":5623651,"id":"Q5623651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$07C3AA2C-1803-4E2F-8B30-2073391383AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f992f3801d3cae773733c4d91154660a944ed992","datavalue":{"value":{"entity-type":"item","numeric-id":1130509,"id":"Q1130509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$F317FE47-E612-4F16-8769-933724BA783D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$BBB62142-AE29-463A-A289-12B7CAE11918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb178f831011185b47b762b5ef4af982af7ef13a","datavalue":{"value":{"entity-type":"item","numeric-id":1896757,"id":"Q1896757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$74347B65-4DE9-4464-85C4-1559D5511E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7e200623c0db8babd002504b2488a3561c7266","datavalue":{"value":{"entity-type":"item","numeric-id":5824680,"id":"Q5824680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$4DBA48C5-C5E4-4DAE-9D5D-C490356A7AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005add2b5cc8b538d854b2643532453d11ea471e","datavalue":{"value":{"entity-type":"item","numeric-id":3240238,"id":"Q3240238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$7D3AFDF8-035B-4C92-8F8A-037960AEBECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$A8D1C2A1-C25A-4D6B-9620-E7EC55B9C6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbb19b823dd70c34f20350c0d7916e904810360","datavalue":{"value":{"entity-type":"item","numeric-id":5628181,"id":"Q5628181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$669931FF-A2FF-4CA0-98A5-7DF56E58B77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a9dda84e0d59e77277574f03e344a20720042c1","datavalue":{"value":{"entity-type":"item","numeric-id":5187274,"id":"Q5187274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$3535BD98-1792-499F-A847-15B265AB2850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f561bcc0c3744e5ef0298e00b7c04d9ea2c2d8c","datavalue":{"value":{"entity-type":"item","numeric-id":5560259,"id":"Q5560259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$E11D97D7-E78B-4402-BEE9-B70345DAF98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23aea37cb2490757706f0b3846685277fa8af5ae","datavalue":{"value":{"entity-type":"item","numeric-id":3768858,"id":"Q3768858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$05A348B3-CC60-4629-A1F0-9082C174FD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$A2333E41-8A17-41D9-A224-918D118E4448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647873$B7D09F3A-5091-4749-A071-C506AE08A3A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6647873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6647873"}}}}}