{"entities":{"Q5215504":{"pageid":7245074,"ns":120,"title":"Item:Q5215504","lastrevid":100484642,"modified":"2026-06-05T22:15:23Z","type":"item","id":"Q5215504","labels":{"en":{"language":"en","value":"Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7166056"}},"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":"Q5215504$436524A7-5318-4851-B206-341A711CB74F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d37e3c15dc8578eab6051ba64f6511a2008c02c7","datavalue":{"value":{"text":"Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5215504$F86B0EC6-E604-414A-9E5C-62A44C91401C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ba7bace07ed51af8866af17d39c255d3997ce64","datavalue":{"value":"1446.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215504$D70AEF47-49A1-45F5-ABDD-F90B1C70FD35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1e2b27e4911a63c212bf7c4a42b0792c31feba8","datavalue":{"value":"10.12775/LLP.2018.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215504$825A79BF-FFB0-49E7-BA3B-BE0570AB9D87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8badc7991d9ec50d92715a5998afff4f95919edb","datavalue":{"value":{"entity-type":"item","numeric-id":828773,"id":"Q828773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$737CE2A4-9FC7-44DD-91B3-68D256D85483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"669cdb901f5adc2391e652d6dfa8ffc64eb0addc","datavalue":{"value":{"entity-type":"item","numeric-id":1689567,"id":"Q1689567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$9B9021B1-C17B-43B3-9E4D-AFB93F521FE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$45699CA3-6AA4-4D32-9BBF-62227185EB97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b6e2eeedf8e55f06b00a7b5e5c6475d26222915","datavalue":{"value":{"time":"+2020-02-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":"Q5215504$A17654ED-2642-43D2-94B9-9F204A4193D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215504$2EDA234D-46E9-43E6-9636-AE190484E7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215504$5C8E5F8C-DB3F-447D-9086-8FDB126C1A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215504$468B69C5-AFBB-418E-AB04-4FDD2983A2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215504$036219F9-E957-49B5-A278-8B43C30F5C48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4615b6b527291f81ccb0a1463d3c5a79b90e6a4a","datavalue":{"value":"7166056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215504$12116230-6902-461D-A9C9-59BAC6C06C67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215504$7FC44EF4-E783-45A5-8D25-453EA3D8057D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27e60afd6df3fbb6116ed43b8acffbbd6a33b46","datavalue":{"value":"correspondence analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215504$2DA84683-1241-4CC4-AF8A-81B0E7B5383C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215504$07FCE65D-FFBE-4E75-B06D-C8BEF3FD5501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5ece53a59b89e60fe3094b19150e11c7099e910","datavalue":{"value":"strong Kleene logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215504$169B3B34-83FD-4963-8F57-AC134C48211A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215504$77241896-7575-4591-B9B5-0AD1FC2157BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215504$BACC55E3-CBDD-440B-B820-6C85E49E3A75","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7ae9697ba460da5b1ef21e479b4fde31e616ec3","datavalue":{"value":{"entity-type":"item","numeric-id":33351,"id":"Q33351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$B3F794BD-E2D5-45AB-94D2-8B0D536EBE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"699f21ec488f7b6dbc7481eb43b8eba9c631cd9b","datavalue":{"value":{"entity-type":"item","numeric-id":44334,"id":"Q44334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$622B2ED6-41AF-4142-A497-22F9649C8E80","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":"Q5215504$BF67CCB5-57E3-49B5-B5E6-EA23DB9391BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32331d054e29631acb5d82079c0154719c221f20","datavalue":{"value":{"entity-type":"item","numeric-id":2523722,"id":"Q2523722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$62D5D310-1260-460A-840B-FD10A6B11740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cb3ade3f2f5cdf738cd2fdc612982bf7c12bd6","datavalue":{"value":{"entity-type":"item","numeric-id":3981456,"id":"Q3981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$3556B6A2-B350-4E39-91F9-50F61CC1B6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d77008bb7be7465adb1ce5e2296a0e5b4d9385","datavalue":{"value":{"entity-type":"item","numeric-id":2751372,"id":"Q2751372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$12F9E6E5-75FF-43E6-9E00-7F44E57E74AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820be829bab959f19fa8e719b4e805b85fcedc4e","datavalue":{"value":{"entity-type":"item","numeric-id":3909031,"id":"Q3909031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$EA5FCE54-257D-457A-AD93-FA7A5F859411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa0deb258d7a3efa5179c0109b19150f474129a","datavalue":{"value":{"entity-type":"item","numeric-id":4647529,"id":"Q4647529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$1A9A1C80-9A43-47BE-A712-FEB752D6008A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca78335e7d64e072ca542079ca2fa130778e237","datavalue":{"value":{"entity-type":"item","numeric-id":4750621,"id":"Q4750621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$6F386D6F-FA4B-4499-8D49-D408A9BC3B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55c79ef2cd5344accf6d392851121329699f96e","datavalue":{"value":{"entity-type":"item","numeric-id":3533121,"id":"Q3533121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$2D3559B7-F588-47D9-B6E9-1C0D9AEFCFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45588cd7360799e3b56381b497f12f36a21e9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1314288,"id":"Q1314288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$E0EE0E28-568F-476B-933E-4D354C353D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$5894116D-852F-4C7B-B5E8-D3B1BB5D83DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6379547883a8015bbc38b24ce042bd0f88666b","datavalue":{"value":{"entity-type":"item","numeric-id":4698607,"id":"Q4698607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$A9A566C2-92BC-4666-8BC8-47D5807E3973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$5695C55B-95E2-41B9-84FF-84FED1F86998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ed7574dea8508891356f13dbf822e65d9c4732","datavalue":{"value":{"entity-type":"item","numeric-id":2259008,"id":"Q2259008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$677F8A34-052A-4D1E-819A-F55AA28382EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$0C1B1980-7BCE-4334-9BFE-B8D492456C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a78568d3a2200488117ad95899404e4bd334fba","datavalue":{"value":{"entity-type":"item","numeric-id":5919183,"id":"Q5919183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$6BD85FE5-40DB-4FF6-88B1-74FF3E7A5F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990f452fbdabb0d38501e9a3c70302ec36c78766","datavalue":{"value":{"entity-type":"item","numeric-id":1219802,"id":"Q1219802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$6C6CB581-326E-43F3-928A-C469DD917132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d49981ff2433e3a55aaa16b7a34552cb561881b","datavalue":{"value":{"entity-type":"item","numeric-id":4683207,"id":"Q4683207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$42321F30-B23C-4D2F-A4CE-CBE4942F97BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dada7ade7212f26d23d31c0364cb11b77fa03644","datavalue":{"value":{"entity-type":"item","numeric-id":5210785,"id":"Q5210785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$DF09561D-656D-4846-92C7-9EE0D7F1A531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$C737C9F6-68ED-4AA6-A60A-D0D0B9FA2A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$C6B237E9-9246-467C-8818-500ED7D62F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6baf185b0f9f31d195844d6e2371ab310c19a9","datavalue":{"value":{"entity-type":"item","numeric-id":4899968,"id":"Q4899968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$337B50FE-12C9-48BD-A0AC-B38BDB2980ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7bfcbabc0fe6ab400302813a4cdd0c1f5495b51","datavalue":{"value":{"entity-type":"item","numeric-id":679252,"id":"Q679252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$47422428-61D7-49A3-AC42-CBDAD9936C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"000f651f6382cdbf14665b995d8c1efe328c08dd","datavalue":{"value":{"entity-type":"item","numeric-id":3606211,"id":"Q3606211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$89EAA8B0-7F4F-4EC1-8864-5365C4CDD78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640ae1431f6814872c96133ffc10e1116b10305e","datavalue":{"value":{"entity-type":"item","numeric-id":5551428,"id":"Q5551428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$C0523965-135D-42B9-AE46-3909C061B899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0924a86f652e00311e8961b2cdeee4e5aaf93ece","datavalue":{"value":{"entity-type":"item","numeric-id":1577335,"id":"Q1577335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$65ADFB22-747D-4802-AD29-AFB0E43A109F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a223050e719182e6bf855fc696c5aa1e87c42b9","datavalue":{"value":{"entity-type":"item","numeric-id":2981255,"id":"Q2981255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$977653F3-F47A-4771-A172-956CB93505CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f812c001460e89bf334625f35f1a7871ee6b37","datavalue":{"value":{"entity-type":"item","numeric-id":2403575,"id":"Q2403575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$1989C34F-EFB2-47C5-9C15-307175B0F49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4e51ce78bd8297b6c871836b1a8e658eab53ac","datavalue":{"value":{"entity-type":"item","numeric-id":4600826,"id":"Q4600826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$FEC5CE30-F1DD-421F-BC05-22FE2546941E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af4410170d48c28717cfd3367913ad7c1ca6289","datavalue":{"value":{"entity-type":"item","numeric-id":5240589,"id":"Q5240589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$B3C0C103-6252-4649-9358-FA5E03416DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fc03544c0926733ac82390b8728edb5d6216c4","datavalue":{"value":{"entity-type":"item","numeric-id":4440793,"id":"Q4440793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$99CD4B05-EE91-41C8-8C63-3450D2E9809F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f7f56cd8fe7d4654284ab6b051680694b765d5","datavalue":{"value":{"entity-type":"item","numeric-id":5210814,"id":"Q5210814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$9A5419FA-E341-404F-9A10-5AD7EBD3A8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66289e95c6122180cde35427bd039ed08fad6746","datavalue":{"value":{"entity-type":"item","numeric-id":3474640,"id":"Q3474640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$9ABCBC50-4230-4CD9-8D1E-93A85C79778E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$FDC2F90F-26AD-4D43-806C-0F13BB560B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d855aedb6b8689008dfa235ba2981fd83a136c50","datavalue":{"value":{"entity-type":"item","numeric-id":5661846,"id":"Q5661846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$DFC04974-72C1-481E-8AA6-9E36481E3E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$7E07C347-B278-44F1-AD19-F307621B2E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b1fed477ac006ae57516dbfcd731bd6648663e","datavalue":{"value":{"entity-type":"item","numeric-id":4777260,"id":"Q4777260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$3783E883-1E0E-426C-9D5F-896AB96398D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89ba6357da96927365c7ee583a2b5de1b7306cd3","datavalue":{"value":{"entity-type":"item","numeric-id":1896760,"id":"Q1896760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$26BD3CF7-0C41-49AD-BCF3-ADEF28271DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f74df4601303f9c84fd6fe78b2928f4cb27f544","datavalue":{"value":{"entity-type":"item","numeric-id":1577339,"id":"Q1577339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$F9E0B38C-146C-4C5C-9A49-76E426999DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62bcc5986af130eb3b0a95a2e8546aa07adcda77","datavalue":{"value":{"entity-type":"item","numeric-id":5365403,"id":"Q5365403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$F2C2D5EE-E90A-4645-8F87-6C4F26040A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e48e192be2ed44efbed3dac3233032e6b12ebc0","datavalue":{"value":{"entity-type":"item","numeric-id":5551116,"id":"Q5551116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$6CA10CA7-D040-4FDA-ACF3-ABE833E14760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d8e4e4e9785c87d93ca6db9189561818cbb637","datavalue":{"value":{"entity-type":"item","numeric-id":1577346,"id":"Q1577346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$9E9BBE1F-BCB3-4134-A561-6EA36F5683D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f8fb55313c999b2cac904324d011215444ac65","datavalue":{"value":{"entity-type":"item","numeric-id":1218839,"id":"Q1218839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$3FBF1396-4AF8-4A3C-8D63-8ACCF6807058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc32a45197289255347eb2abe39423c908831fe","datavalue":{"value":{"entity-type":"item","numeric-id":4978553,"id":"Q4978553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$73BC303D-4649-4559-9838-6E2EE501704A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed247cfaa9f806167217df5f2ac409bdf00e763","datavalue":{"value":{"entity-type":"item","numeric-id":4982110,"id":"Q4982110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$38E7DFBC-510A-4DD3-AF06-568F809D18F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0ae7493be1383292d5895d12c1213f6c5bcfd6","datavalue":{"value":{"entity-type":"item","numeric-id":5412177,"id":"Q5412177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$C1C3F075-0B85-4287-8D28-C20F14CF6219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b75a8e077271f41f2fa2395e38a20cc25bb8c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2811667,"id":"Q2811667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$29272A49-A2FC-42D5-A3A6-02C52CF358CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff4e98c5c778d17acbeee5768ca6f70d4acf043","datavalue":{"value":{"entity-type":"item","numeric-id":2804046,"id":"Q2804046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$777447CC-0282-452A-8897-1F338A63F5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e112085dc5d4557d449936b394eab7633694a7","datavalue":{"value":{"entity-type":"item","numeric-id":4789452,"id":"Q4789452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215504$6C725737-70EE-40A4-B385-A32BEC82D63C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8994e4387c4cc65f095040895221ebc244bcda1e","datavalue":{"value":"Q129545097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215504$EFFEAD74-EA0B-48FE-8905-5E80DF3679FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76355b65ea43c837d59c6a1d35266db9a4f9722","datavalue":{"value":{"entity-type":"item","numeric-id":4982110,"id":"Q4982110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad48090ee09fe6d417e46548c72b3d0a18a4aad8","datavalue":{"value":{"amount":"+0.8354393839836121","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":"Q5215504$5336BA9A-24D5-481F-9525-3D0780AA152A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f84f789c5a92f4ee969416d780980fd21dc61b","datavalue":{"value":{"entity-type":"item","numeric-id":4600826,"id":"Q4600826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c93affee75f9261bd8bb84baae327eae51f5dcb","datavalue":{"value":{"amount":"+0.8289747834205627","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":"Q5215504$272E8640-5185-4F58-A53A-6D150E6A9E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e519986ef453e29a73534b70174c48a4a46fa929","datavalue":{"value":{"entity-type":"item","numeric-id":2663794,"id":"Q2663794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33b82cbe6f781b64b5ef14e894e6d344b31b790","datavalue":{"value":{"amount":"+0.8225085139274597","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":"Q5215504$1D1C5D80-DDDD-4C7D-8B02-97C86F05913D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ab15f5d606ee7a0e3e4a3a7de74132c58da67","datavalue":{"value":{"entity-type":"item","numeric-id":1632053,"id":"Q1632053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5407e70feea2e49b84b644c228061895113d48","datavalue":{"value":{"amount":"+0.7881451845169067","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":"Q5215504$16AAD276-A97B-40B7-A19A-A659DED3F64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aeb15f36c714dd2ef57a272f05fdeae152d0384","datavalue":{"value":{"entity-type":"item","numeric-id":5699230,"id":"Q5699230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63366dd51d96eef25af3a95e9094da133d7cccf1","datavalue":{"value":{"amount":"+0.7762415409088135","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":"Q5215504$8D0E922C-B788-40BB-AFC5-20D02D0CCB23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_proof-searching_for_strong_Kleene_logic_and_its_binary_extensions_via_correspondence_analysis"}}}}}