{"entities":{"Q4007582":{"pageid":6037393,"ns":120,"title":"Item:Q4007582","lastrevid":55163833,"modified":"2026-02-04T07:28:34Z","type":"item","id":"Q4007582","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 59498"}},"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":"Q4007582$B2F64C7D-4C11-4297-9A94-775515F3B396","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c48fadd0222049ba6d9e574bd4046e900aba9b1","datavalue":{"value":"0753.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007582$649B0D96-EE06-4425-B409-8E3E8210B984","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4664b5ecec798e2997ed6eee3b8d15d17587a25","datavalue":{"value":{"entity-type":"item","numeric-id":1882214,"id":"Q1882214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007582$1651570D-7212-4D19-935B-43D5E54129A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4007582$C41555D4-6807-4DD8-AFA0-55F305D8E62F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007582$3E9EF835-4E0E-4C64-8231-DBD1543002D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007582$EEE71E9A-EA47-4D45-82E4-3E7C64653296","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a5608039e47bb4d185b5153280dcea14e88777e","datavalue":{"value":"59498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007582$DD2B66F3-C2F4-40F5-A665-5802F6801CBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b23bbdf8572a173d58a1452d94018235035979","datavalue":{"value":"zero-one law","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007582$77D6129E-9879-45A1-B9F4-04B0A84E5665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68437ff64e79ef0038a42e0bce74c9b78654bd8e","datavalue":{"value":"satisfiability proportion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007582$E2C53EBF-F8DB-4504-B210-04E54BB23665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8c9573404f466fc73de1e6d423407b5543ac068","datavalue":{"value":"asymptotic behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007582$1EF9B97A-5B0C-4738-B038-A1ECE27C3AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b67c995d675de9d3072272fbd445b37a2d24fb2","datavalue":{"value":"satisfiable formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007582$801E71BD-FD4F-449D-85B5-FA3B79857697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78001920bcfcb170fa900e57b54dfb1868a8a2c4","datavalue":{"value":"multisorted first-order predicate language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007582$E8C80078-0A24-4D75-8E1E-6B8D292468FF","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":"Q4007582$F13719BF-3CF5-4DBC-8E06-898AEEC70046","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4007582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4007582"}}}}}