{"entities":{"Q3140556":{"pageid":3151272,"ns":120,"title":"Item:Q3140556","lastrevid":85905857,"modified":"2026-06-03T12:25:05Z","type":"item","id":"Q3140556","labels":{"en":{"language":"en","value":"Applying Linear Quantifier Elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440394"}},"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":"Q3140556$0C031F20-6F52-4878-95FD-716C1B3BB876","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15c0c0ead7d72a87bf6f4e4abaa690c8f59331ac","datavalue":{"value":{"text":"Applying Linear Quantifier Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3140556$6595F83A-ED5C-4F1B-8A7E-4D8FC38ABFF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42f5546027c29b9c2ae712f301a6a63fc5189bfd","datavalue":{"value":"0787.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140556$6FE333CA-B8E5-4F00-BAAC-B103B7DCED6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f26864fe1545d1665383aac5b60a0c28e7b3c171","datavalue":{"value":{"entity-type":"item","numeric-id":1151026,"id":"Q1151026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140556$C742A1A0-2105-45C2-843F-9AC23C3535BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb0a29412cf2c248d1a972a393cd5cb0fedc31f","datavalue":{"value":{"entity-type":"item","numeric-id":231497,"id":"Q231497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140556$97E29B06-7A7B-4297-92D4-5B271C93670D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140556$8F308A73-4839-46DB-A76E-3E0CE95EAB3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbb67e2e18a5f6262fd57618e2a92a31414c8364","datavalue":{"value":{"time":"+1994-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3140556$BABF1A5C-00F6-42E2-945D-585F5AD9E3AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140556$206091E1-9F6E-4CD9-A56D-4EB4D56F2641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140556$2A34E5C1-1B74-4FFF-9700-1C04235BA092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140556$67800C5C-1493-4598-89A0-F54E166E5E90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2911301806b5b229ec444d58f938a2622138f6b7","datavalue":{"value":"440394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140556$D0D71DBA-9A8B-48CF-83CE-2E6B8196027C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b84868183062c2e642cd16a2498865803fb15ae","datavalue":{"value":"linear quantifier elimination algorithm for ordered fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140556$0A3347B0-9C95-473E-9BF3-7620E9061D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d637432356bf2e9ed6bb08beb57d8ada1bb618b0","datavalue":{"value":"Skolem sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140556$0F3DA398-B41A-4353-9136-4F465EB52E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b20207a2f502941ddbb7b8ca7742169256fa5d9d","datavalue":{"value":"elimination sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140556$F45966C1-26D4-47EA-99C9-152BF0A834C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0d8b133fca5ef8a5f0c9c61724a962b6ecaa827","datavalue":{"value":"non-standard terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140556$7A36BE44-C614-4153-884A-F8C6E9C5C5AC","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":"Q3140556$E57D8229-15C0-4247-96F7-5E5476F6B150","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c247e6e60069ca2a3c37a161d5b4c5135fe082f4","datavalue":{"value":"https://doi.org/10.1093/comjnl/36.5.450","type":"string"},"datatype":"url"},"type":"statement","id":"Q3140556$1F0BAB10-B66E-45D9-8243-E4F741296E89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba9fdbfa12e49ab668e1b09cf6a996ab1b2aca9c","datavalue":{"value":"W2013702670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140556$1B34C7EA-DB23-455A-8A79-B4CBFF2AF7EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dd47de9c355979ddcb25f487c73c581854a9ef9","datavalue":{"value":"10.1093/COMJNL/36.5.450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140556$9B8A3938-F678-460F-B2EB-149290B61686","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488344e517f490998946113a8b27a39e41b9289","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4534a0c9424d7885c9d110b005f77c337101b4","datavalue":{"value":{"amount":"+0.8266726136207581","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":"Q3140556$04ADAF39-3E41-4365-A867-801C3B540BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9599fabc76c44506b389f95a6ca15a74540d2158","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c3ad1af634f597d5b116a4460bba221d4f2da1","datavalue":{"value":{"amount":"+0.813721776008606","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":"Q3140556$0DF56213-87BA-4A5D-98FA-8512AE800D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9a9b7b8e09019ef0f9de23f3a68f2dce39b89a","datavalue":{"value":{"entity-type":"item","numeric-id":1295548,"id":"Q1295548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c3ad1af634f597d5b116a4460bba221d4f2da1","datavalue":{"value":{"amount":"+0.813721776008606","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":"Q3140556$C401E26A-652A-4276-849A-1C29F5211C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4826a9ebcee41c22e639fb6a714a4c993eaa4703","datavalue":{"value":{"entity-type":"item","numeric-id":707743,"id":"Q707743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f397786e10b32627d01fef7e298c8394e060b3","datavalue":{"value":{"amount":"+0.7973117828369141","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":"Q3140556$29318B18-CDA5-4D01-B576-1A6094316A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19f108f54644f0ec26605a1f87cb8a667d4c8a5","datavalue":{"value":{"entity-type":"item","numeric-id":3541684,"id":"Q3541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac06b48a1d2adfa5ffd7ba0fe2712fd380e959f","datavalue":{"value":{"amount":"+0.7961124777793884","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":"Q3140556$F3C79D6C-6B08-4177-961D-B01693EA8602","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applying Linear Quantifier Elimination","badges":[]}}}}}