{"entities":{"Q4002871":{"pageid":6032695,"ns":120,"title":"Item:Q4002871","lastrevid":55148203,"modified":"2026-02-04T03:32:12Z","type":"item","id":"Q4002871","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 52574"}},"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":"Q4002871$03A41626-88AD-4149-B98C-67D7AE55BA53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"818773bd682fd5a19be6b50dd69ffa9660f2ab07","datavalue":{"value":"0783.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002871$74518CDE-4EC4-4040-A984-AF8DDE175968","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61e78ad3fbe455c8921eccaaea921cfc477fd904","datavalue":{"value":{"entity-type":"item","numeric-id":4002870,"id":"Q4002870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4002871$4D9D30A2-1517-408D-97CD-10C2C6556F5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-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":"Q4002871$76DF7522-9791-4365-AB4B-DC9D7C432108","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002871$A7EFE246-9DB6-49B4-B4FC-C6C6123AA0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002871$4EA71303-B1F4-42BF-9AA2-E001EA2D5421","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7333f1192860c0b056126e97a2b1b80a0c49a646","datavalue":{"value":"52574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002871$2C18350D-9C46-4CC8-A8F6-F3FC145BFBC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88b401355e6a0406716503b022caed7c26684edd","datavalue":{"value":"spectrum of a first-order sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002871$266D9D23-B26A-491F-A433-4B3A7B2476D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3db06005f2573937fcae6c817e8a77ed55321009","datavalue":{"value":"infinite \\(\\pi\\)-spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002871$CB874E9E-8596-493D-8E2C-60D1269E995F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a61abfad33a5ad2a3825a90641846363197bfed","datavalue":{"value":"prefix type of a prenex \\(L\\)-formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002871$C685B167-88E2-4ED7-85BC-B34DB82A99FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002871$9CCC7A63-5616-45A3-94ED-34D77E515F2C","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":"Q4002871$07622AA1-9718-4527-BCF8-DC183CF677B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af0f1beb39946bafec9509d7e34ecb9867e2653","datavalue":{"value":{"entity-type":"item","numeric-id":3348901,"id":"Q3348901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfe305aa4e3969a5e43a16985ce177117293a4a","datavalue":{"value":{"amount":"+0.7824298739433289","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":"Q4002871$C4592A8E-BB9D-4BAC-87A0-D3EEF35DE690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb861e6987f8122ae01660c60ce6f633ed4aa47f","datavalue":{"value":{"entity-type":"item","numeric-id":915716,"id":"Q915716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2730ebb6434afbeba661c9d37ac532618415d4de","datavalue":{"value":{"amount":"+0.7788846492767334","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":"Q4002871$4FABE146-12BC-4CEA-A00A-BCAD6466163E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4111a674b7557b06b3e090e772b841ef44b83cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3317081,"id":"Q3317081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dacf97531d438c27263b16d68ae1438932e391de","datavalue":{"value":{"amount":"+0.7692652940750122","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":"Q4002871$FBC60332-4E74-433B-B395-53383F83D37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa7bba6ae9d6de2742395c9d5075ee33a2f67d2","datavalue":{"value":{"entity-type":"item","numeric-id":5749281,"id":"Q5749281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18cdc9c745bcdbb1a0acedf58c03eb6cc597f3ed","datavalue":{"value":{"amount":"+0.7545779347419739","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":"Q4002871$DD05A3B0-0385-4C22-99ED-729BCEDBF5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0b528a76db87380c3cf3616a0d4cfae895789a","datavalue":{"value":{"entity-type":"item","numeric-id":3749035,"id":"Q3749035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc66584d3fb98787c17fec2a92e77cc9aafd9db","datavalue":{"value":{"amount":"+0.7410479187965393","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":"Q4002871$D020EDA0-DA59-472D-A45E-741CA42C51FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4002871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4002871"}}}}}