{"entities":{"Q4440546":{"pageid":6470145,"ns":120,"title":"Item:Q4440546","lastrevid":48213847,"modified":"2026-01-03T23:45:35Z","type":"item","id":"Q4440546","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2019851"}},"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":"Q4440546$525B5EEE-482D-4196-BFA5-6B2FE9F631CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c67122635fc5eafaf0ea273624788f145f19c383","datavalue":{"value":"1036.03507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440546$6BDEB692-0904-4D06-91D5-D830CCCD4C9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dfd3750070ae23a6bb49cf069260853390c31c","datavalue":{"value":{"entity-type":"item","numeric-id":2425346,"id":"Q2425346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4440546$7F42F9AC-76DE-443A-9ECD-0459FD437C75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf4dc729f08fba6d541df56bce316bb505d1382a","datavalue":{"value":{"time":"+2004-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4440546$EEC98F18-A2F2-4552-A564-BE585C3A8EB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440546$51FFB7AC-7E6E-4970-8251-E9AF085EED62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440546$4057C4F2-175A-40B2-B80C-0F7FAAE2AFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440546$BD043A52-5DF9-48BA-9C7A-A886D945E7A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a0fbcc79fff7919c41ca7d98c48361c94b7a72d","datavalue":{"value":"2019851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440546$B897FE23-DA6A-4E52-85C9-9A7E3BAFDC14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fac05d29d102fed2ab3d3adaa59f05f98b39fc22","datavalue":{"value":"truth-functional schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440546$7C091B41-E0A8-4914-9F54-D914A44BB6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5245dd9eb3255611a23b1a3010f6d2adcff0e2a9","datavalue":{"value":"truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440546$883D9103-B259-4B10-9DC5-4BC185BD038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721e5015bb8025cdae9483e076147106af48d25e","datavalue":{"value":"Kripkean fixed-point","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440546$4438B75D-1CF0-482B-AD11-2AE0C699F8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f979df934ff980369a93049cabc43c488bfa7fa","datavalue":{"value":"stipulation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440546$313D79B9-3CDD-43B4-A97A-4FC0FC12E63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b87e988f780cd090f7204b96ce8684745fc228f","datavalue":{"value":"clones of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440546$FD317C90-F8C7-4F13-B7EF-5E6A16364F58","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":"Q4440546$A2AA7E77-2A61-4689-ADFD-E6851FDF7F6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbe2f655d46a2deb9cd7e98cd12abd8d94efab7","datavalue":{"value":{"entity-type":"item","numeric-id":2425347,"id":"Q2425347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fff48c831edbbd408b50c43ecd53a25323ad76f","datavalue":{"value":{"amount":"+0.9040400981903076","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":"Q4440546$B9E87BB9-1A8B-4EBD-A2DC-298F124727AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a51f1a38cff9db3ccb01c52ae0ce803ace90b6a","datavalue":{"value":{"entity-type":"item","numeric-id":4583346,"id":"Q4583346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7350bc30c1681439ec151d90aab92fed14ffedb0","datavalue":{"value":{"amount":"+0.843957245349884","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":"Q4440546$592CEF4E-390E-46BD-BD43-EE6B705792E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612021c9dfc865c512b8977ce8e79aa082a69f94","datavalue":{"value":{"entity-type":"item","numeric-id":2778662,"id":"Q2778662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"839a1f675c73924c84676d0fad2828eb7111e5e6","datavalue":{"value":{"amount":"+0.7652212381362915","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":"Q4440546$93942826-FF6E-40BA-8BC3-C6EF29690BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507d05e3301213d89d2a940de26a1c12b9ac3c69","datavalue":{"value":{"entity-type":"item","numeric-id":839652,"id":"Q839652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56eaf6909ee86e9068436f17bd0f7bf8d4dd293b","datavalue":{"value":{"amount":"+0.7556957602500916","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":"Q4440546$684699A0-C3D4-4CD8-B9AD-82F59102EC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9528df1220fde7455302a92af772619440c2fe2d","datavalue":{"value":{"entity-type":"item","numeric-id":795819,"id":"Q795819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8d579a052ef303853291e9aa9fa14b1c68b67d","datavalue":{"value":{"amount":"+0.7250710129737854","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":"Q4440546$2098FD38-0720-47D1-896E-0C4086C5A1DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4440546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4440546"}}}}}