{"entities":{"Q5747770":{"pageid":7777321,"ns":120,"title":"Item:Q5747770","lastrevid":51080435,"modified":"2026-01-16T13:41:06Z","type":"item","id":"Q5747770","labels":{"en":{"language":"en","value":"Linear quantifier elimination as an abstract decision procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785458"}},"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":"Q5747770$D6A2727D-CA5D-4198-8144-FD937B6999E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9720ddfa5fb672b796cb040bb938ba1f4268a732","datavalue":{"value":{"text":"Linear Quantifier Elimination as an Abstract Decision Procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747770$E03DB9EF-890B-4D77-A835-5976DAEE6991","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43dddb1fdb6087501016cd99928fc4d3127060ad","datavalue":{"value":"1291.68325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747770$F6AF76B7-6319-4FCE-BB9E-3C25660FE47E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0acff80c836a3175b81f0ba5e6ff8d521f58ee54","datavalue":{"value":"10.1007/978-3-642-14203-1_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747770$03C04F56-D9DD-40EE-8848-863D24B63972","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$9A9ED60F-57B3-40C7-A5C3-3093A5630B6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$32827DC2-5305-45E3-AB2B-5FBF41176036","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747770$030B74F7-E5CE-405D-8CD7-77A841D9A3DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747770$39EED603-4552-4EDB-ADF1-E1C748BFF365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747770$B3E82ACD-3E2C-4985-B8F3-5BCE81426477","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6594d4bb23ce69bdb80073890dc07fe90d7ebdfa","datavalue":{"value":"5785458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747770$75B93A2B-B4B6-4262-A64B-A683C52A63AC","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":"Q5747770$F49A8027-18C2-4993-A7DB-F5E757C0D5B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e8f4a9a5b6972350621ea7949aba19d50db3f10","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747770$131C0371-AF9C-4FF5-A9AE-44638C6919F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d38094463302a47ff304312d7a7f3231cf801290","datavalue":{"value":"W1506481780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747770$E4E37054-75D8-4775-826F-780F6E486026","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49cdde0e4e93beb3ec22ebb07bdb6ff64fe9a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3655193,"id":"Q3655193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$DAC3AA3D-2275-46D3-8AB1-EBEFE05D5615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c8a150262d931e1d6f90a6e6be5a252d5844b6","datavalue":{"value":{"entity-type":"item","numeric-id":5505559,"id":"Q5505559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$FF91178D-ABD5-4A53-A96E-F8943FF76F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6c5aa1addf460148ffcdbb0b29392259175dfd","datavalue":{"value":{"entity-type":"item","numeric-id":3189829,"id":"Q3189829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$BEAF5B59-2B67-4399-8FD7-C4BA7CA3C3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27230ad583fb6c91e5e0b2ed04e15a2a06ba4a72","datavalue":{"value":{"entity-type":"item","numeric-id":3182526,"id":"Q3182526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$05FE5090-C3DF-4CA7-93ED-1D0D4A451DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817ee4f5358d83048f7143c1c798ef96590ad2ef","datavalue":{"value":{"entity-type":"item","numeric-id":3608415,"id":"Q3608415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$39753715-9DBF-451B-9A7C-F4C2DAC15AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0d61ca6f5627c9026d708a36120d86c97b391c","datavalue":{"value":{"entity-type":"item","numeric-id":3644100,"id":"Q3644100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$A00D3214-7B36-4213-874A-066BAB28FAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$8AE03916-0B4C-44FD-9F50-9528CEEA09B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf127aacc48403a7b3907e5c9de96f1a874f90aa","datavalue":{"value":{"entity-type":"item","numeric-id":3636877,"id":"Q3636877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$4BD7D753-3986-423E-A25C-487B4378313E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf17d7e8ba4c1ec3bdb69ab7c554b7d69f4507f","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$5D419CDE-14B2-4906-A33F-C95F00C66EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$412ED0DC-CCAE-45AB-8603-928F972DCBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d18a95fd2abb64fb3873cebae9515dbda415b84","datavalue":{"value":{"entity-type":"item","numeric-id":3541684,"id":"Q3541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$F7DC1549-C5FC-4B04-A16F-24BD7CB66239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$8CED34DF-BF04-4FD2-BAF6-91767CA51484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995a3a5c42994c6db5c9ecb05a842b528a1d92e3","datavalue":{"value":{"entity-type":"item","numeric-id":2891406,"id":"Q2891406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747770$59471AB1-9E58-4411-AE72-07727158EE08","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":"6eb806faa3382ba0fe994381ad6a49922dfed632","datavalue":{"value":{"amount":"+0.8512446880340576","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":"Q5747770$B1256BC5-9B23-49F1-89FC-157E608BE16D","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":"a90e7f53fab47d1f0a84e9d1b867cef69be20cdd","datavalue":{"value":{"amount":"+0.8419329524040222","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":"Q5747770$17F5CE5A-B369-4E1D-AE19-CFBA32507215","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":"8b5d0fb14ea8c878c8800fe2163292b6682ed7b0","datavalue":{"value":{"amount":"+0.841618537902832","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":"Q5747770$F3659138-A3E9-4F83-9225-BD7F6CB2D4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a48b17a495ea509f0ecc4c5b881c05d94f7333b","datavalue":{"value":{"entity-type":"item","numeric-id":1688537,"id":"Q1688537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719797be61a632afac6c51dc213fec32221a1df8","datavalue":{"value":{"amount":"+0.7935796976089478","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":"Q5747770$0DE31C08-9DBE-4A02-9892-0560690ABADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddffa6647e1792ec256a15d45307fbd34b4fa72c","datavalue":{"value":{"entity-type":"item","numeric-id":3613432,"id":"Q3613432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319277b2ce6141dbaa76e94f3cef7e287be8bf84","datavalue":{"value":{"amount":"+0.7894819378852844","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":"Q5747770$D77245AA-F9E6-4522-A984-64F25F02BD9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747770"}}}}}