{"entities":{"Q5382835":{"pageid":7412409,"ns":120,"title":"Item:Q5382835","lastrevid":92443568,"modified":"2026-06-05T01:44:01Z","type":"item","id":"Q5382835","labels":{"en":{"language":"en","value":"Kernels, truth and satisfaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7067800"}},"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":"Q5382835$C3F38C6F-270E-4B11-8525-5D1FAA1D1ED1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d630d613f8b0a3dd7180095ab34f2304abf72505","datavalue":{"value":{"text":"Kernels, truth and satisfaction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5382835$4AD30E6C-85C6-4A43-B891-26B49370CA9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ec4e6ae94dfe6a8e0476a79454dd6aa11522fbd","datavalue":{"value":"1439.03112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382835$1F30678D-997B-4D31-836B-92E8D058CEBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80620c2b4df8756e658fe199f1a89d0f51d86188","datavalue":{"value":{"entity-type":"item","numeric-id":190265,"id":"Q190265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382835$2F3893EA-6BB3-4648-ABA4-B6EFC30E5079","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"001edf23e586a650fb6b34425b0aaf644eda2260","datavalue":{"value":{"time":"+2019-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5382835$9EF6F302-F0B3-44BE-AD37-FE76390C0C73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92aa71ec7bcf47dd2eebd8b1ac0acbc1f4712035","datavalue":{"value":"https://arxiv.org/abs/1807.11832","type":"string"},"datatype":"url"},"type":"statement","id":"Q5382835$26A1A4B6-DFF7-411D-BE98-0C08B14A7D20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382835$86C22B09-974E-48CD-85CD-F005CBFCE3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382835$093165CE-B712-41A4-B2A6-6587B647C645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382835$20844162-741D-4543-BEC0-2CFE9D4FC20E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89c0df4ab87976336c641f23c3e82ebefc684c6b","datavalue":{"value":"7067800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382835$BDFAE196-1FF6-4A9C-8CD5-CEDCA2AB335A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7a9c19972e406f2ed34bca2a2a1f5a9eda39866","datavalue":{"value":"satisfaction classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382835$CB91B5A1-2969-4191-B971-542B271F926F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382835$FFDBE22F-6233-4B93-800C-BC02A9BE1D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4b98b5353082f5ae3dd3eedbb2c57d8903e4ca5","datavalue":{"value":"directed graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382835$60A148F9-6101-4C59-BA88-B8A9CA9AFDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd958945adb8f971e17c53b8b72b99d29ba70053","datavalue":{"value":"kernels","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382835$8AF2A6B3-27ED-4764-927E-6799AE5F76F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73ae86ca85f4084508770cca813855e9f732e942","datavalue":{"value":"non-standard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5382835$C1C932E3-76EA-4525-A941-B98AAFC0E49E","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":"Q5382835$B7DF7C3A-9A63-4049-A1BF-D8CE6EF99603","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2ae0c03850f6c18eeb9bbc718a4717002e762c3","datavalue":{"value":"W2963087900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382835$5509AB3F-85F5-405C-9FBA-83F05D4DDD61","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2481155a42676d821e036db9e722c8d7abd317aa","datavalue":{"value":{"entity-type":"item","numeric-id":5502988,"id":"Q5502988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382835$61F0F884-89F1-4A75-8B9B-6509597DD960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6989014e34d3a9775035abf0cfcc3b2c1b5a10b","datavalue":{"value":{"entity-type":"item","numeric-id":4110996,"id":"Q4110996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382835$C9C006F2-F744-4B7D-8C53-2FEEEA862E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da7c1426f0a39217938b80a6461316f714c7155","datavalue":{"value":{"entity-type":"item","numeric-id":3924205,"id":"Q3924205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382835$752DE07F-12D2-4F17-883E-58723EA1ACD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c666a79fc592174c4038c17bb6d8f45ed067fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5844986,"id":"Q5844986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382835$BF6B59CF-8937-430E-A087-E63FA3EAF684","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"582977fba2538a865150977953402f128b80ab1e","datavalue":{"value":"Q128287995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382835$DE927D71-EEAC-4107-BF6F-7593E74442FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87a7f707e918608693ffd39b49c61204d493b718","datavalue":{"value":"10.4064/BA8176-1-2019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5382835$E35D15A5-B4A4-4A52-8D5F-E1824C28AE67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b6aa42f07c45da864b06f97e3d006fc3789d6e4","datavalue":{"value":{"entity-type":"item","numeric-id":2787102,"id":"Q2787102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5382835$FF41E2DF-F793-4773-B491-3BE898D92880","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6015bf401fac05cdc64e1c0dc3c603fed077b77","datavalue":{"value":{"entity-type":"item","numeric-id":1370591,"id":"Q1370591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88cf9a150fd2c63059a1f4ee458242590cc808ba","datavalue":{"value":{"amount":"+0.83941436","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":"Q5382835$33F3D9C9-2FD8-42C4-8F92-0B1A60DBD984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e8e9839079b4a68e65b8b75e80953e395950b7d","datavalue":{"value":{"entity-type":"item","numeric-id":2695346,"id":"Q2695346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4c5ef4540c6bd473af3dc3eac7cf31c3ffb0ba","datavalue":{"value":{"amount":"+0.8379431","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":"Q5382835$CB4E760C-AFCB-40ED-9FBF-10F0C52F0E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1ab0ff4f5ff720bb8c37c829e72d29bd5dc2a6","datavalue":{"value":{"entity-type":"item","numeric-id":4261764,"id":"Q4261764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb42caf7435c929c2f959a5cb263b34018195546","datavalue":{"value":{"amount":"+0.8374373","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":"Q5382835$86F45D8A-BDAC-4166-8878-63F301862A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a35e13da805fd5f070edae8b0219c8812988fa5c","datavalue":{"value":{"entity-type":"item","numeric-id":2366039,"id":"Q2366039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1643065d783bdef412e4ecef11469381c3b6b76d","datavalue":{"value":{"amount":"+0.8322068","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":"Q5382835$6ECC9993-AAB1-488C-A1F8-2AF2BF780ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df28f60f82feff0438f814fa5904dfcd3ee4b5d2","datavalue":{"value":{"entity-type":"item","numeric-id":4495482,"id":"Q4495482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d145cd4187016db6175a3c27290b77b495b4fc","datavalue":{"value":{"amount":"+0.8296059","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":"Q5382835$F3C0557D-E03A-4A2D-8FD0-567C7A5E41E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803a9bace3c86a410df98795a427c41cbbe8eb89","datavalue":{"value":{"entity-type":"item","numeric-id":1210587,"id":"Q1210587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7e953219d8113b89b9d57974df60c72e94b253","datavalue":{"value":{"amount":"+0.8292763","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":"Q5382835$33A4CB1C-76C1-45FA-B6F2-3428669EBF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3af3f8fb99be6be435976bc868c55d0260fcf4e","datavalue":{"value":{"entity-type":"item","numeric-id":414435,"id":"Q414435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6962ea0596bb12c363989a730998d477650ed60","datavalue":{"value":{"amount":"+0.82751775","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":"Q5382835$61F9C12C-8491-493F-865E-D83130FC9134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088d05943e4321b01a5612dcc1342910228f5beb","datavalue":{"value":{"entity-type":"item","numeric-id":3093213,"id":"Q3093213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7b318fbffc5affa0080257334b14ffe12ff1a3","datavalue":{"value":{"amount":"+0.82673687","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":"Q5382835$86AAF168-AEE6-49DD-B144-3A2CBA7C47A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c291ab8a926baaf29a4401db4a5d63581606d0","datavalue":{"value":{"entity-type":"item","numeric-id":4463803,"id":"Q4463803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a941134b42846ecb2e8cf597226724749ac240ae","datavalue":{"value":{"amount":"+0.8225007","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":"Q5382835$92989C80-A5E1-466E-A790-651C3B99CFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb254072bb109df9bb4b79ca8af98f6c08c99df0","datavalue":{"value":{"entity-type":"item","numeric-id":5795678,"id":"Q5795678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a941134b42846ecb2e8cf597226724749ac240ae","datavalue":{"value":{"amount":"+0.8225007","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":"Q5382835$97AE9031-8040-4F4B-BDC0-021C8AB73A45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kernels, truth and satisfaction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kernels,_truth_and_satisfaction"}}}}}