{"entities":{"Q6154873":{"pageid":13289269,"ns":120,"title":"Item:Q6154873","lastrevid":56736780,"modified":"2026-03-19T13:26:15Z","type":"item","id":"Q6154873","labels":{"en":{"language":"en","value":"Incremental determinization for quantifier elimination and functional synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805818"}},"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":"Q6154873$13D64B94-01E7-4D60-B60D-1A7EA922E3DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccf2132bbd73e866c1c25ddbc51cc2c8487de02d","datavalue":{"value":{"text":"Incremental determinization for quantifier elimination and functional synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154873$D154F88E-7AE5-49FC-BE23-707C1FDA8928","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b061b68126f17e082a38db0506b784a98ae5147","datavalue":{"value":"10.1007/978-3-030-25543-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154873$342B7BE0-9463-424C-9E97-4D5B011267AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2454ef4c60ffd42a384ce6155facd03e877811ba","datavalue":{"value":{"entity-type":"item","numeric-id":259049,"id":"Q259049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154873$C0C9BCF3-5588-4500-8267-5F8F47B6DE85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154873$2EF1630F-FBAE-4085-A47A-22531B855403","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154873$BC95D87A-B5C9-4501-A209-94AA81A88773","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154873$AC98B860-3679-4220-990E-304DD4F0B636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154873$BC02DFB6-45D5-417A-B399-0B6241B2C324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154873$10926EDD-CC96-418D-A57A-9079017A7D88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"517f81adc05a617bb77f3966ceeb897e81037d8c","datavalue":{"value":"7805818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154873$E584C4C9-5D59-4AE3-B371-18DB5CB63554","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":"Q6154873$37476B58-20AD-4BCC-BFE7-4DBC11D1E072","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf0864ad726721df8c5657191c4359e9dece559b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-25543-5_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154873$226570FE-5029-4BA8-8F24-8C879EA164C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc87436e22742812e455d9241f1a3ca42193f34e","datavalue":{"value":"W2947778039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154873$898408F2-C132-4334-B529-60520C22CF63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372f0df45761453229a88765f6f45e0f17236390","datavalue":{"value":{"entity-type":"item","numeric-id":3636874,"id":"Q3636874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc9ed2c9c222b762ed41d5de192a2e24a3cdc23","datavalue":{"value":{"amount":"+0.7869929671287537","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":"Q6154873$134D8BCF-E661-4C97-AB22-E1001D99B7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b963acf0e0f82aa0a87f50af4e001b8be517aba2","datavalue":{"value":{"entity-type":"item","numeric-id":6039407,"id":"Q6039407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442bb7032928feeab5f2be8330cf956f6c3412a7","datavalue":{"value":{"amount":"+0.7730464339256287","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":"Q6154873$AB95D8A0-2BCC-4C3D-9D73-5583437AE003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e39d628b61aa891cd06a7b4bf901e1d095cb411","datavalue":{"value":{"entity-type":"item","numeric-id":5254190,"id":"Q5254190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbee4d8efbc52e2ee6ab6f17d5f4493b771304a9","datavalue":{"value":{"amount":"+0.7433432340621948","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":"Q6154873$AA95B6CD-CE9D-46BE-BF06-569C2CD9BF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"520e76507672e05279d8ced9260cd61d21e9e225","datavalue":{"value":{"entity-type":"item","numeric-id":2818028,"id":"Q2818028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42560f131ebbd77d1ac5c9398531355314fc1d6","datavalue":{"value":{"amount":"+0.7344930768013","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":"Q6154873$F4FF29BC-D897-4254-85ED-0B056D92BF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42cace2ddf6019b7cd2939e3da583d3a9bc71c2a","datavalue":{"value":{"entity-type":"item","numeric-id":2233503,"id":"Q2233503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b63ddbe5148eaf8742c34a79b4f0531e41b1eb6","datavalue":{"value":{"amount":"+0.7191128730773926","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":"Q6154873$55E47A0A-3DBA-4348-BA54-2147E10A571D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154873$917BB957-EF8F-4AF6-B612-43B65C292701","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154873"}}}}}