{"entities":{"Q4395613":{"pageid":6425212,"ns":120,"title":"Item:Q4395613","lastrevid":40940870,"modified":"2025-04-14T10:13:24Z","type":"item","id":"Q4395613","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1163986"}},"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":"Q4395613$A6AAE69E-BDAB-4615-920A-872E9D7FFFFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14a2a1b25889735f662610cf3e29e478bb6771bf","datavalue":{"value":"0905.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395613$49B39BC4-8A4A-4C58-9A32-BDD3A43360F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03a244f3a3971e8ae5c09ca1ba10c024a323f6db","datavalue":{"value":{"entity-type":"item","numeric-id":269316,"id":"Q269316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4395613$5E3B03C9-2498-4962-9C92-F48D31438E7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7c4f0103c31dd03c07afd36e9597ef27a0e1e7e","datavalue":{"value":{"time":"+1998-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4395613$87D837D6-FE8F-4039-8FC2-A697C921BFB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395613$BBDDFF39-ED4B-48D3-9D6D-D08A3C9C7A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395613$BF5FD639-5937-4604-BB31-F45CECC535CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395613$506E674C-DE17-4A99-9049-D4F556E01905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395613$1C645297-D489-427C-B651-184395B0AFC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"380a22eb4bb756892b7b1088a9ed2ed6e16529b2","datavalue":{"value":"1163986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395613$9C9E6C17-AAAB-45C9-89B6-B3A6D3BDD9E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395613$2936CAFE-8E69-4F48-8ABF-D1B4F151BCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15bdfd9a6e285e72554ab325f4a875db61915394","datavalue":{"value":"least fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395613$3AD45179-8BCF-41F7-A659-5C315979EEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e0172aeeb596f43bf9733c8330242d392f88c5","datavalue":{"value":"implicit definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395613$4400B63B-2011-4778-9DC8-66AFBC1FECFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395613$2F8618C0-BEA8-41C0-88BC-449DC19A9946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b50c91f429fe5275df6e3a8f9cdf6ecdfbfc65f5","datavalue":{"value":"non-axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395613$9B7AA63C-1DC7-4A6E-BF5B-37E3D07ADCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4d2fd9d3aba13427b19742e855926a12038048","datavalue":{"value":"pebble games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395613$4E9449C2-95CF-431A-BAE1-8351E1B15241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395613$8737A146-62E5-43A2-8B62-6A7E59F278AB","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":"Q4395613$BE1282F3-86F8-422C-9517-6B24C8E0D6F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042bc40c436fef70a3cb87eafdab0e65537c9893","datavalue":{"value":{"entity-type":"item","numeric-id":4247808,"id":"Q4247808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2608fd5cb010747e17a9c31b19ac9586cb47b141","datavalue":{"value":{"amount":"+0.952316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395613$5654FB96-A790-4FA7-9068-E6F93CC0EE57","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":"6a8f71e179b8c07d49e0671f9399eab079ab0d37","datavalue":{"value":{"amount":"+0.9453434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395613$C575464A-2109-4C02-8D54-F7CE2E658665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0e4518112b7479c43459217d9e6da360f81a93","datavalue":{"value":{"entity-type":"item","numeric-id":5213574,"id":"Q5213574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff0c74757c0af4950dcecad50feb71535a526e1","datavalue":{"value":{"amount":"+0.94393826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395613$86D97541-FB34-45CF-8D40-7F4B24EDD52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ae2aaca300b2304ecb21877c998d07d6268fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4645216,"id":"Q4645216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"959af14b4036745d392e515978301216a55d45ad","datavalue":{"value":{"amount":"+0.9402273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395613$99B85E4B-9A66-4FE4-9519-3BECB405079A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705fd68aa19068b3ee3de2691e2d16f0a78f829c","datavalue":{"value":{"entity-type":"item","numeric-id":3360169,"id":"Q3360169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a996afcac9cc36f9bff0c0bbca71fb40997bc786","datavalue":{"value":{"amount":"+0.93595654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395613$52CC80EA-3418-4350-94B3-151ABA35F395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd22e3fdcc13403590887b97f424bba701e98883","datavalue":{"value":{"entity-type":"item","numeric-id":3476788,"id":"Q3476788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5825a487b4ec76ae188ee5db8f8ff01b9e8aecb","datavalue":{"value":{"amount":"+0.9338164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395613$F39A5636-E790-4E2D-B361-C6BAE73D731B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83380e084f8c522a9b98e39c38a33c85b84b663","datavalue":{"value":{"entity-type":"item","numeric-id":2144617,"id":"Q2144617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79f793f8ae1b21885825a618add197eefabd068","datavalue":{"value":{"amount":"+0.933201","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395613$83F15D97-6EFB-4352-9AA2-D0492C5951A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5a860f8c5daa2823c1c5fb524bdef10b2cf1aa","datavalue":{"value":{"entity-type":"item","numeric-id":3144562,"id":"Q3144562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f75e7158fc1de6e658faa6f0bba6b4baa6f5423","datavalue":{"value":{"amount":"+0.93240815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395613$B8D01885-288D-49C8-95FB-1AE06454D792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e748def4b14de3504dd16fa994717cd2b4cbf8d","datavalue":{"value":{"entity-type":"item","numeric-id":5164062,"id":"Q5164062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f50f176f993123dc57d622bd5fa3ec1cbcf0e4","datavalue":{"value":{"amount":"+0.9323906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395613$3FF52764-DD5B-4070-993F-6EE42D91A0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72697c1fe088b2415e3ec23e28fae25fd6c9416f","datavalue":{"value":{"entity-type":"item","numeric-id":2106873,"id":"Q2106873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4342f970cf5054f7ebcb9e7487223f42b244751f","datavalue":{"value":{"amount":"+0.93153214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395613$EE1F6AF3-8103-4C98-B7D2-4BE164C89515","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4395613","badges":[]}}}}}