{"entities":{"Q1970642":{"pageid":1981384,"ns":120,"title":"Item:Q1970642","lastrevid":82264772,"modified":"2026-05-06T20:29:29Z","type":"item","id":"Q1970642","labels":{"en":{"language":"en","value":"New intuitionistic logical constants and Novikov completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420290"}},"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":"Q1970642$244268B8-973D-4117-B62E-D5EC6DE9F5CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18bf732b822a03f1ede89503fb7c060815ef25a1","datavalue":{"value":{"text":"New intuitionistic logical constants and Novikov completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1970642$93B6D4BF-32FF-41BA-B4F1-44E4EFA91A06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"836892f1e46a0235d27f1e7686974a0178640fb6","datavalue":{"value":"0945.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970642$97C3F755-9EEC-4227-A126-417AECD5815E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb0841e1b19dd6900dfe29dcdedc4dd4cbd4e748","datavalue":{"value":"10.1023/A:1005258529641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970642$890767A6-E993-4952-B640-167C186D2DAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970642$50DAB556-CD32-4C64-9CE7-5B20CF9FA492","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebe63471b53ee48ed59b5a1dab85fa46566f7415","datavalue":{"value":{"time":"+2000-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1970642$1E224881-3E62-476E-B153-315D4A208E18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970642$1CF669BD-58A7-4C85-B60B-388C2838F54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970642$857B94ED-2CBC-4E16-B020-5786F7D86EA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"497a90feafdec256a79e619ca224366d4d0207e2","datavalue":{"value":"1420290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970642$569BF637-0451-4D29-851F-EC97D43E06A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970642$8ACAB119-88FC-451C-83FE-31C544233DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9573b52482091f1cc6766ed0ec746ccd72ad151","datavalue":{"value":"Novikov completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970642$4AF28729-43DA-47CB-AC39-2104CF7BA5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"757eaa53da66cc7af487ac8aa022b853f14227e5","datavalue":{"value":"syntactical approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970642$3C7CD46D-00E3-4A74-890A-69B8F4C1B65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b01f95a7d99e60257138d36a8ef92f8190d10b6","datavalue":{"value":"additional logical constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970642$ABAF2E38-0730-4265-ABD2-A6553D238F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18f889b25a343a096e945cb83065af3e08bad1f4","datavalue":{"value":"maximal conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970642$9FF40E74-77D4-4FCF-8929-F670B4D551E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5015171e2f57a73921a54f50bb5ecad403c04d","datavalue":{"value":{"entity-type":"item","numeric-id":721380,"id":"Q721380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970642$77FF1A71-D2C4-4348-BB4E-3C80F29E874F","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":"Q1970642$F10AE728-FD6D-480B-B7F4-572F3A9683FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43a3b0c0e32210976098076382048d3ca621e1e8","datavalue":{"value":"https://doi.org/10.1023/a:1005258529641","type":"string"},"datatype":"url"},"type":"statement","id":"Q1970642$025EADAA-1A34-4479-BE70-521BDAA4ED39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0889f4a9fdf040368178dee86b0231d9da184682","datavalue":{"value":"W1568499332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970642$12034D8D-1C65-4D23-B3C7-951381613A21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc5b1b96f957566f39de7740b8a40aca1a405c0","datavalue":{"value":{"entity-type":"item","numeric-id":1280312,"id":"Q1280312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980801032d438807d1990fb3bd032737519c9779","datavalue":{"value":{"amount":"+0.8774591684341431","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":"Q1970642$46D6C2A6-0389-4DDF-9A82-85EAF6378630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0a259f54c7ddb7a951a396f4df338060227c11","datavalue":{"value":{"entity-type":"item","numeric-id":4451643,"id":"Q4451643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66be3daff6878caa4e554bdf7ad3a2abd4bca7e3","datavalue":{"value":{"amount":"+0.8608511090278625","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":"Q1970642$B80BBD0B-B053-4BFA-AB85-C5086D29755B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b948cdcc9e3e951a002436c159e6ef798b5b7b30","datavalue":{"value":{"entity-type":"item","numeric-id":695769,"id":"Q695769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cddcd3fdb492301044e10c142fc1f21b9f58ce0","datavalue":{"value":{"amount":"+0.8499875664710999","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":"Q1970642$EC1FDE99-ACE8-4C67-A7D8-5998F595C148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547e8e0bb43ce919a238f3a891cb1d62d56e9fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1288137,"id":"Q1288137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3003e54cb37c0027399487fb7aebe791b8d9a80f","datavalue":{"value":{"amount":"+0.8462449908256531","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":"Q1970642$4BA0943E-53DB-4F63-B36A-D4E708CF46F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec69db315f475852e150bfa78a94d0f00b00230c","datavalue":{"value":{"entity-type":"item","numeric-id":4761712,"id":"Q4761712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9627b808864699c9aed7a25b2f8a1853992bf48a","datavalue":{"value":{"amount":"+0.8391775488853455","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":"Q1970642$F7D1EFAA-F946-4B05-8B5E-7004820DE5EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"New intuitionistic logical constants and Novikov completeness","badges":[]}}}}}