{"entities":{"Q5477638":{"pageid":7507197,"ns":120,"title":"Item:Q5477638","lastrevid":49872805,"modified":"2026-01-11T12:07:58Z","type":"item","id":"Q5477638","labels":{"en":{"language":"en","value":"Structure with fast elimination of quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038902"}},"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":"Q5477638$B180FB6B-1788-4303-A7D9-C818AC59538A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68078559c653fd7e7af271b910d8531e12bc50a5","datavalue":{"value":{"text":"Structure with fast elimination of quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5477638$756BE434-2350-4893-818E-0402ED867D1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aee383475bb47aba3f12df506527c8a6b12060c3","datavalue":{"value":"1100.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477638$249DA25A-DD9B-4E11-9EB7-BF4D55DBC13D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b3241ca656af33a45c907e85658eefd9905c644","datavalue":{"value":{"entity-type":"item","numeric-id":192024,"id":"Q192024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477638$06D4579B-8FA3-4562-B8AF-D42D9A438A72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477638$842E191E-B3B0-4865-82BC-30E945C71928","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a50f2cd6c4898065eaa272ea8bb874fb0fd3e518","datavalue":{"value":{"time":"+2006-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477638$9D39146E-7F0D-4F8B-9285-6DD5F533CEDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477638$4A725740-9D1F-48D3-B853-3BA99969EB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477638$919BD7DB-B9BE-4794-8AB9-FC3C0FB3A69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477638$4A962C3D-AB9D-4BD4-9FD9-42E9877F65A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477638$758A478A-801A-4646-B18D-2D5302A0E76C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e9950d4086fe3baa8a59d0c7bbc12d2abf16b28","datavalue":{"value":"5038902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477638$3FE6EF7E-B5A2-437D-8736-2CD2F266339F","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":"Q5477638$CA2F610A-04CB-44F7-8F61-321BE13F1F09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6cae51310bb9be836b8052700ddefa9e8ab11d4","datavalue":{"value":"https://doi.org/10.2178/jsl/1140641177","type":"string"},"datatype":"url"},"type":"statement","id":"Q5477638$75124984-E9E3-43F1-87C7-1238D8CD834A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fc265e19a428de6600ee7e081c0479b21da7bcc","datavalue":{"value":"W2088848525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477638$5BB7071D-3D9F-4DF5-A039-D2E30A5ABE05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03de6cd9263b2a478ecaa3f7fe951ecffd6d786a","datavalue":{"value":{"entity-type":"item","numeric-id":2765578,"id":"Q2765578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477638$ADDB5D3B-85B5-4452-909B-D5C287981297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b778c9dd3a613d2f421a1abe688da16ce8f57c8","datavalue":{"value":{"entity-type":"item","numeric-id":2387422,"id":"Q2387422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477638$C9C194EF-145B-42C2-B421-2845C2D5EB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477638$F952EB17-5924-43C4-B8F6-21B5981631F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35c2005618518f6c4c61eba7e387017daa2e43d0","datavalue":{"value":"10.2178/JSL/1140641177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477638$9F3D4150-79C2-4CE8-8958-77809DE59028","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1214f5e8ff16598236ac73286cb5eb9cfee1dada","datavalue":{"value":{"entity-type":"item","numeric-id":5898843,"id":"Q5898843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f60a27db26abc405396e4b8950a215e4e5c4256a","datavalue":{"value":{"amount":"+0.8009340167045593","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":"Q5477638$E970BF51-2FAC-4CB5-9E83-37C1320FD9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e224c64e014d4f4eb362818fa717b13c664e2d9","datavalue":{"value":{"entity-type":"item","numeric-id":2753666,"id":"Q2753666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ad43e0fed370de2984f0d333b6b31a4ffeac4de","datavalue":{"value":{"amount":"+0.7780479192733765","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":"Q5477638$3AE10B57-C3C4-45A5-8656-75D286D4519F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec6db029688c2c6e40d9f7dc9fc98a396ec1ae7","datavalue":{"value":{"entity-type":"item","numeric-id":868941,"id":"Q868941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ad43e0fed370de2984f0d333b6b31a4ffeac4de","datavalue":{"value":{"amount":"+0.7780479192733765","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":"Q5477638$DC329C35-FD96-4D4D-A9C1-990F423D11B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1c5c756ad11b2af51073538a6336f608aed21fb","datavalue":{"value":{"entity-type":"item","numeric-id":4918006,"id":"Q4918006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf991d70dd0d7e6db3d5036f1917d3bb9bee3e8","datavalue":{"value":{"amount":"+0.7251217365264893","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":"Q5477638$9D1AA5DF-7400-4F4E-A46B-D0F58FF2A5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9046185dd2c39956b17b7a81e9933a4008e2f06d","datavalue":{"value":{"entity-type":"item","numeric-id":5313380,"id":"Q5313380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eed7f5c195f8ea9cd49a903f6cc9d968493469d","datavalue":{"value":{"amount":"+0.724877655506134","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":"Q5477638$B46848DB-34DE-4ECB-A14F-DBFA8A3AD779","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477638","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477638"}}}}}