{"entities":{"Q4647510":{"pageid":6677091,"ns":120,"title":"Item:Q4647510","lastrevid":97925072,"modified":"2026-06-05T15:49:19Z","type":"item","id":"Q4647510","labels":{"en":{"language":"en","value":"SCAN -- elimination of predicate quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001902"}},"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":"Q4647510$8B0117E8-123A-4A6A-85C0-3E68BC1CF296","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c7b99592dab86cc37c4ccc1ec0869862059b818","datavalue":{"value":{"text":"SCAN\u2014Elimination of predicate quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647510$67108450-C374-4BBB-9065-DEC7C43636AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aeffbd883b9a793a77655a0b881fc47abebe54a","datavalue":{"value":"1412.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647510$70FD8E6D-631B-41E9-9B1A-0C98BAE2D603","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c48783f93a42186048562105f5d9741d4f171f47","datavalue":{"value":"10.1007/3-540-61511-3_77","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647510$DC1338FF-9081-4040-B0C4-9C6722CFDB31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647510$5E552F36-DB69-41E9-BEFA-0DB5DBF3A5E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647510$DB1F11EF-9D00-41A4-A65B-6DEB6EE3C876","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647510$F5C70A2E-78A4-4ED3-BE61-2E7C8BAE4109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647510$D848B314-E0B6-4D5B-B626-3638448C790A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35fac6b4ca9c33220bee1359f6cc57f5193a6208","datavalue":{"value":"7001902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647510$487AA5FA-75D9-4D36-9FD4-E55E8E0B3C32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647510$19C5813A-0E21-4BA7-9EEA-4233653F303C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647510$09F8737F-2603-43BA-BF44-0B7C89F2488E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647510$E3F137E0-FE92-4AC9-ACA2-93D087AADA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6e879e75c263def884cd75dd4f0f1db53ca39a","datavalue":{"value":"predicate variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647510$BC50A921-CD24-4CE2-B452-BB33456BC8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeac0ae93b70af3d99246c4cf79ae4a7f369e696","datavalue":{"value":"Prolog program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647510$F8405E0F-E050-4362-BCAF-BC98F91934C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647510$D9EE1AF0-27E2-4D7F-A76A-ADB312F3E911","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad85fd0db6467d71e74313095d444d398003ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1097715,"id":"Q1097715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647510$9CF2D2C4-FA10-4442-A1A5-AC1A59199A2B","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":"Q4647510$F290D5AA-2F53-4D39-A637-88B19B671FC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f242363b6173362baaf3df6f8780e75c2fd4e074","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_77","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647510$24D76EDF-6152-4D0D-A7E6-AEA6FAD6FA96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1403d6284174b88c04bb3712d863679c886931eb","datavalue":{"value":"W1586690077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647510$E907892B-0A72-4860-9CAE-99021A4F896B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae7923db27a69df68433e19bcb135bba72260e5","datavalue":{"value":{"entity-type":"item","numeric-id":1840069,"id":"Q1840069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647510$DF18F045-329D-42C7-888E-4474DF98E986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422338a2dfe752749b7dbb572234dd7473a7f248","datavalue":{"value":{"entity-type":"item","numeric-id":1367072,"id":"Q1367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647510$E3554BFE-E9A7-4B6C-BEB9-D0C02F6ECF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c8a00cceb8775f7b63d56fa6e1a8b46f80e32d","datavalue":{"value":{"entity-type":"item","numeric-id":6488580,"id":"Q6488580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647510$99944611-E423-4C6C-BD18-3FEA66AA4944","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0c92debdd15bcb4dd669a76d50c88a02d31b03","datavalue":{"value":{"entity-type":"item","numeric-id":5712428,"id":"Q5712428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf64d61f1823703b68b257f542a5ace16180877","datavalue":{"value":{"amount":"+0.8290907144546509","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":"Q4647510$6AF4FEBD-911B-4DD9-8157-1C9764695C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3965356b6fe0c2ec5519ba755040cd528bd9bb3","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af6fa039bf94ec87017147385561b74255e6015","datavalue":{"value":{"amount":"+0.7725598812103271","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":"Q4647510$497F5F47-DCE7-449B-B473-96B3B5736F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33a91a09c0a0d58513f8f382b4ade0d4c1c1c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4946227,"id":"Q4946227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e349568c20b39972328335bb2428b69163a591","datavalue":{"value":{"amount":"+0.7653765678405762","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":"Q4647510$B1E77DF1-167F-4756-B68C-F4C57401B2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16860bcfe3bb34b9730b5db75c3a3a037d292b24","datavalue":{"value":{"entity-type":"item","numeric-id":4708920,"id":"Q4708920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43779591a413c0fd6d4bb1a469ce9d161bc550c9","datavalue":{"value":{"amount":"+0.7644584774971008","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":"Q4647510$3E470B4D-8B33-425F-BD89-69E77BD1C71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096f23e4a638f66e13e7263b3d2d1d4bbadd1e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee356026cb85a7eda8fab9fff620985faf427b86","datavalue":{"value":{"amount":"+0.7426488399505615","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":"Q4647510$77A92509-6CF2-48D4-85E3-FECB74CDC89A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SCAN -- elimination of predicate quantifiers","badges":[]}}}}}