{"entities":{"Q3894959":{"pageid":5924864,"ns":120,"title":"Item:Q3894959","lastrevid":54882611,"modified":"2026-01-30T00:35:10Z","type":"item","id":"Q3894959","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3702109"}},"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":"Q3894959$E66EA0B0-F070-4E61-9488-52FFA16F6200","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0ac83a30221ecb404e4a94e041d182a4b20f8ce","datavalue":{"value":"0448.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894959$B2A61AA8-8AC6-4911-8F38-54E55FD1B3D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8934b36c73ee5d3627307837cc1f8c0d088756db","datavalue":{"value":{"entity-type":"item","numeric-id":795030,"id":"Q795030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3894959$69906599-38D6-4CB8-AE9D-3ABB14C785C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3894959$558595FE-8354-4C21-834C-7A8A7CA8E88E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3894959$76E0A6D6-3B49-4F01-9E7A-C054A7D30254","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894959$40C4B239-E7A8-4F72-AFF9-0EB78B7A20CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894959$973712EE-7BF5-4422-8919-17D0414B30B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894959$05E673E7-EC08-4618-933B-A746FF8D0A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894959$E29D236D-0F93-4745-8C18-91E8825A2EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894959$65650577-63B2-4FC2-85D3-6D8194C4C60F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3d730f2bc48bd6386c233cf07e868f40db8bd5d","datavalue":{"value":"3702109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3894959$133BE527-869B-4BA7-9DC2-474DD9F175CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ced2bbce1485fe792588da4edb056d6da12d90","datavalue":{"value":"validity test for formulae in extensional two-level syllogistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894959$8856AC88-24CF-44F0-96B6-2E8FA1651DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9f78089affef06c072081bb824e40f99a75bd9","datavalue":{"value":"efficient algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894959$D3DC88B9-BAFE-441B-B447-EBFDF8BEAEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263d39c96663b005180f3d0486dcbaee3b7c4b8d","datavalue":{"value":"formulae of quantifier-free theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894959$D282E9D5-4019-4859-A52F-99F2696DB4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894959$59FBEB30-6E9F-48B4-9688-4D0D34264D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92d8940c372f43fbe05be2f17d13b9bb8af98997","datavalue":{"value":"Aristotelian two-level syllogistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894959$516E8D2E-E789-4356-92EF-D66A649283F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b768c192887f30a177c710583b2fe6b4dd0f1ea","datavalue":{"value":"multi-level syllogistics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894959$B804CC73-4747-4928-84DF-44A5D452F1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3894959$8A3468A9-64D3-49DA-83D2-B6389375CCA9","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":"Q3894959$E19700DA-EDFC-4EB9-A86D-1C6AB30EFE70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3894959","badges":[]}}}}}