{"entities":{"Q3142555":{"pageid":3153271,"ns":120,"title":"Item:Q3142555","lastrevid":47206468,"modified":"2026-01-01T00:20:26Z","type":"item","id":"Q3142555","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446838"}},"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":"Q3142555$973A2DBD-A9B8-4973-AD97-68A6D40F8CC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5acf9e7696501b171e4fadb8af1c288a18e3f71","datavalue":{"value":"0788.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142555$87611816-4DD7-4309-8673-EDE6ADD1794C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729108c69527af72f2ca1b9041a9358219bdc1fc","datavalue":{"value":{"time":"+1994-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3142555$82A325F5-621C-4AE2-8F0A-A9F57A1986B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142555$5CB0F4BD-36C1-41A1-B30F-A32F384FE2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142555$B629DEA6-854A-4FF5-A455-9B76B85F35F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142555$F48743A1-7AFB-4B5F-B80A-0D9E43735DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142555$B8C54FB0-9E3F-4341-9DE8-207E90128767","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c8fcde24ac0d776bc83f0d6c9421ff6787e5df8","datavalue":{"value":"446838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142555$DB82DD33-FFC0-43F3-B2F3-FD7AB3A22570","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142555$37DACE29-FA9A-40FB-9CF8-766BC34C0416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709702f788547918eadfc61f451f29a05a6b5b81","datavalue":{"value":"finite variable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142555$442F1AA1-6AB0-4B6B-AF50-51121B88A221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ec2f1d0d1b9536c1ff00ac7b7eea364981f11a6","datavalue":{"value":"fixed-point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142555$3B45168D-3059-460D-AB40-38F6FB1D8C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142555$20D78C44-D9B7-4121-BBB7-3D422D20BDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142555$8EBC2849-0896-463C-ABC3-6354AF999BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dc53d8dcd2687d3d2f7b29e9c691f4733e91512","datavalue":{"value":"Scott sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142555$9BE46A30-1FE5-40B9-96E7-9DAD9F239D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c0fff0ddaf0db3c45ba4c758464dab38ffaa1e5","datavalue":{"value":"definable linear orderings of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142555$B2364395-A18F-4BAC-A311-26A01B9F30DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1f9cffd18fe4bc8fecd35eb209e3dd8c324b86","datavalue":{"value":"finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142555$EE2F5869-4966-4B2A-9405-F93DCBEF6F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142555$EB121350-836E-4F95-8D7F-E3B788572E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142555$23BF097B-1AFC-41CB-B01D-CD92E7417B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142555$7E47B890-B82C-4ADD-A9F0-03CC59FA1672","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142555$3E273DE2-5663-4E9C-91C0-F5CD52AF3239","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":"Q3142555$91954F2B-9876-40AA-A7E9-E7C44CA913FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe827bbe0fc97db4a32b044296fdc3d6ca882d3","datavalue":{"value":{"entity-type":"item","numeric-id":4249221,"id":"Q4249221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f339fd070efa371a7a13a1d7255bb32c6fd3ab7","datavalue":{"value":{"amount":"+0.8653972744941711","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":"Q3142555$7317C45C-AF2F-4FDD-9D4E-794680B88D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf7cc1e3100c2aa28a0bde6a9f3970928ade67b2","datavalue":{"value":{"entity-type":"item","numeric-id":4254565,"id":"Q4254565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67ac7ff461cafd33040eb4db900ba57af212b0c","datavalue":{"value":{"amount":"+0.8191903829574585","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":"Q3142555$530F73DB-BFB5-4D08-B0AD-73F66F512E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f01d908578ccebe815cacc8eb3d4b5cac8175a7","datavalue":{"value":{"entity-type":"item","numeric-id":4262591,"id":"Q4262591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67ac7ff461cafd33040eb4db900ba57af212b0c","datavalue":{"value":{"amount":"+0.8191903829574585","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":"Q3142555$04130B8B-4AE9-4690-9947-7235F4630BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2adb8527405b6acea672597decfdc0220777d14","datavalue":{"value":{"entity-type":"item","numeric-id":4395613,"id":"Q4395613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6be73c51b842d40b51fbf7efb901b82833ff195","datavalue":{"value":{"amount":"+0.8069978356361389","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":"Q3142555$515ACDD0-12F3-47B7-959D-28128A133A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee551284211c0c7eb59b86d9972bb28d3a85a796","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"765308e5ba2f4cbd6d33d4381be1678f05724577","datavalue":{"value":{"amount":"+0.7863873243331909","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":"Q3142555$B566C217-3E19-4AC9-BD65-A0BACEC740BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3142555","badges":[]}}}}}