{"entities":{"Q4508549":{"pageid":6538142,"ns":120,"title":"Item:Q4508549","lastrevid":47510839,"modified":"2026-01-01T22:52:02Z","type":"item","id":"Q4508549","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512851"}},"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":"Q4508549$04CEB3A6-D55F-4A68-AA7E-38FC1E2E2543","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"814b018a7ee351dbcb60bb4be0e9c350302333b3","datavalue":{"value":"0962.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508549$3E8424AE-AAA2-4DD2-A898-A34B026C0763","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af421165656b3caad5dddf37027ce32af21714c7","datavalue":{"value":{"entity-type":"item","numeric-id":251979,"id":"Q251979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508549$EC86E14C-72D6-4AEC-94F8-D5841CD3AE39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"513086f907e3433d6abf8ca52bcce129020bab74","datavalue":{"value":{"time":"+2001-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4508549$1E59ACBB-EBA8-4433-AF43-D01B71A15606","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508549$6928CE8A-9C66-4DEA-B5EF-73DB7DAC6225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508549$F10AF8A0-53D0-44F6-AED6-C544F53F2EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508549$C2AA2D3E-46AB-4AD8-B26C-6673AA57B0EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97697aa66044069c6502f1ac1bc53021d15566c0","datavalue":{"value":"1512851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508549$A0150333-0361-4601-8618-570A294C3858","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508549$FAB3986F-435C-42F1-8D6E-0869A406BE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508549$FA6FAF2F-0B7A-4578-BF6C-31BFDE5A0BA5","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":"Q4508549$E746E6B6-6E93-4135-9CE8-AC2AD9E57D42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"405c0bc1c111b6d92652b1af1ee1d290b5dcc6fe","datavalue":{"value":{"entity-type":"item","numeric-id":4527928,"id":"Q4527928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e4ee51748de3b80c212285e218a3a0dd321408","datavalue":{"value":{"amount":"+0.8542380332946777","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":"Q4508549$B2097C92-0EB0-4E73-A63D-1463D5036967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60916d3f0c053df611e1a7f88b4cac97033629c3","datavalue":{"value":{"entity-type":"item","numeric-id":4508546,"id":"Q4508546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c6923fd777660e6a379bd97bc6690261ab8f85","datavalue":{"value":{"amount":"+0.8030240535736084","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":"Q4508549$8E21CE1D-F0A2-4742-AD33-30872B199E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30046a469f32fe127b70307338e00495134df4e","datavalue":{"value":{"entity-type":"item","numeric-id":365661,"id":"Q365661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c6923fd777660e6a379bd97bc6690261ab8f85","datavalue":{"value":{"amount":"+0.8030240535736084","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":"Q4508549$90262F09-EA18-432F-8A9B-DD2C13918D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d780ee978922a4e1d6202424050017701e3863","datavalue":{"value":{"entity-type":"item","numeric-id":3835447,"id":"Q3835447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"096a4463119c9646ecd0536fa3ce6e4c57d172f9","datavalue":{"value":{"amount":"+0.7880483865737915","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":"Q4508549$14B3FECF-9ACD-40C2-A585-075B19C455C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4b4295caf884c112dbad7abad8d95641060e87","datavalue":{"value":{"entity-type":"item","numeric-id":3772178,"id":"Q3772178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd51b2999430d3b9c6713ecb06d8f567a823f1a","datavalue":{"value":{"amount":"+0.7630199790000916","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":"Q4508549$071F3723-CCD2-4D80-ADA6-4C65F78F4297","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4508549","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4508549"}}}}}