{"entities":{"Q2303237":{"pageid":2313980,"ns":120,"title":"Item:Q2303237","lastrevid":71798928,"modified":"2026-04-14T00:36:58Z","type":"item","id":"Q2303237","labels":{"en":{"language":"en","value":"A prover dealing with nominals, binders, transitivity and relation hierarchies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176595"}},"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":"Q2303237$1C8FCF30-403D-435D-8FA3-D265BB5270F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20657544ea2299266ddb262819803f92f2113829","datavalue":{"value":{"text":"A prover dealing with nominals, binders, transitivity and relation hierarchies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303237$14227BA9-7819-43D6-8937-E736E7497E8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37f6fe17eeb42a6bbc53fc0ea94915200eb65776","datavalue":{"value":"1468.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303237$8F2D2068-5DDB-4C76-9BE5-FE7DCC7A956A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$2BDA7ECE-38C0-4267-8A35-E79E21A050E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61e2e5951dfff50ebb9b8606073c3ef7da57bd09","datavalue":{"value":{"time":"+2020-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2303237$B6813DE1-ADAC-4CDB-A64E-5A14CDF8D61F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00f76d7c93add4c0c2cccbb6392ae9c2f32b219f","datavalue":{"value":"http://hdl.handle.net/11590/345977","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303237$2426237B-2B0C-4CC5-A611-C470765A9E30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303237$0F3FBAE8-4ED5-425C-BFA5-4E5A3DC52013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303237$758A5EE6-A3D4-471E-A320-A25614D50F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303237$B87E594F-3F25-4253-B57A-6417A388E80A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"154cd224e7d8e7376f012a09236a33f62485dcb4","datavalue":{"value":"7176595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303237$A03BF952-01DA-420E-AE79-0DFB2A9719EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde6d33a755f7853c024556af4d3861009db3d98","datavalue":{"value":"automated proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303237$E893A0D9-729C-4EFE-9C3C-AB4D29D55A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303237$F792E796-37E7-42F0-9311-70D4DF0F6BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303237$C6E0B371-818D-4277-965E-CD0904674A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303237$14FA08F1-2782-4AE0-88C2-072296DA7D24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$99AC0C5D-B2AC-41BC-8C82-AE6744400B34","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b04f91a7fcba9845ffc13d007dd510c5cbf74970","datavalue":{"value":{"entity-type":"item","numeric-id":21429,"id":"Q21429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$CAFF8F5C-19DE-498F-9353-B1914DF9F3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ed0997ee0b7d4441438016c2ff078abeca16485","datavalue":{"value":{"entity-type":"item","numeric-id":21428,"id":"Q21428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$5ADCEF6F-08A6-49D1-A4C0-3C97732F070B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8aa5e3607f194cc9e2a2385bcc561c907f66374","datavalue":{"value":{"entity-type":"item","numeric-id":24355,"id":"Q24355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$60F81911-6C2E-4736-9673-B8C8E13D928D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bedc9e38f5a9bde827aa2981f96848a429af0b87","datavalue":{"value":{"entity-type":"item","numeric-id":24354,"id":"Q24354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$ECFC4E3B-8D7D-4FC5-992E-85B427979FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"395e4892cfa767e7f1592afaab820b01ee7c3c54","datavalue":{"value":{"entity-type":"item","numeric-id":25576,"id":"Q25576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$93ED48C3-B587-47D0-A47B-29B2E15781C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$D9502739-0279-403D-8AAD-58D060F0B562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$CCBA67F5-EF6B-44CC-B9DF-2C1A2E87ABDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"40102b9e91b9a896c1a6f2ecec0d1a95cc763196","datavalue":{"value":{"entity-type":"item","numeric-id":23929,"id":"Q23929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$FEDEB45D-0CDC-4E69-A798-689AFE44ABBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28c7c31c7a21cec51ef80cd58f32b284f7147924","datavalue":{"value":{"entity-type":"item","numeric-id":29515,"id":"Q29515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$145E357C-368C-48E7-8413-A6498077F2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4f11d4925c160b23ab28267453151e2c77c0421","datavalue":{"value":{"entity-type":"item","numeric-id":40233,"id":"Q40233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$F9DCE59F-949A-4E0C-983B-192CA521A2CB","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":"Q2303237$D860E46E-9216-4330-A060-21864F89F234","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a95d310756af8b1ac7ca8f5aed4b1d81261eda3a","datavalue":{"value":"W2912013601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303237$D6AC0BDB-93D7-48A7-8688-64F9E24E8C2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b7a24cb858348231a677fafe8ef0c5a37418cf","datavalue":{"value":{"entity-type":"item","numeric-id":4945233,"id":"Q4945233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$CCD98ED8-1EBB-41E6-92BE-D1C84269AAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d588ee683fd2fe1aab10729cacf891a3eee35909","datavalue":{"value":{"entity-type":"item","numeric-id":2825403,"id":"Q2825403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$937EE049-AF3A-4A02-A06A-31FBC8241AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db06dd7333f1c1c2c38e2722da4f57584d4316ad","datavalue":{"value":{"entity-type":"item","numeric-id":4809053,"id":"Q4809053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$34CB7ABB-4B80-4E4C-806B-1DA838E6AFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$DE547971-A49B-43C1-8EDF-5ACA07C267C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7672984695ebd8205b2327d3a9eb3180fc9209","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$ADA22555-4250-41D4-811F-F5F7C1D88862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da8c2de419db8eadc2bb3e1de8c4f80cf93487","datavalue":{"value":{"entity-type":"item","numeric-id":1909610,"id":"Q1909610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$3C687B84-B8B3-4CE6-8826-12B7DD3AFF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a434d8d83635d48a94c51e468983008bba00fd2a","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$661F74DB-60DC-4628-B620-0058DEF3EB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117100ad668e7d01042edb616c9a93e429777fce","datavalue":{"value":{"entity-type":"item","numeric-id":2901189,"id":"Q2901189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$932BB717-326C-460F-9873-4CB16BFDC58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32643d7fe6fed13de709843ea6a16dce043f4cb0","datavalue":{"value":{"entity-type":"item","numeric-id":2904047,"id":"Q2904047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$44D5137E-CC3D-47A0-9BB1-3CE1D17755B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8461e23170ea6bf112d50f7c5f829a3dafeb70e","datavalue":{"value":{"entity-type":"item","numeric-id":3010363,"id":"Q3010363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$8A06626A-845F-4C39-AFA6-001DCADEE2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97c79884e65a98e096eafd27e23d25955713213d","datavalue":{"value":{"entity-type":"item","numeric-id":2351166,"id":"Q2351166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$77565AE9-38C6-4767-9F5A-808A4A7B7A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84366847907f9fb27e91374364eab994adfb757b","datavalue":{"value":{"entity-type":"item","numeric-id":4928429,"id":"Q4928429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$D1962441-F9C4-46EE-8AC8-D49838B95A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8a214b7b7c3a33e263daff131598d2285da203","datavalue":{"value":{"entity-type":"item","numeric-id":2351423,"id":"Q2351423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$4B71BF49-2126-41F7-9337-BB04200A8A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4f3b0f47edc5aa6a3340867407f17ade91400c","datavalue":{"value":{"entity-type":"item","numeric-id":5747765,"id":"Q5747765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$F5E2C771-35A5-4E49-94CA-92C594368D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1aa73dfe0d0c7090d64e64b87f9b4f3015ccdf6","datavalue":{"value":{"entity-type":"item","numeric-id":1589576,"id":"Q1589576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$21E142C5-D865-4FF5-90EE-7877C9E171F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e4ccae662a6738bca5b509ea61979b9dd23e26","datavalue":{"value":{"entity-type":"item","numeric-id":2674184,"id":"Q2674184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$76077F53-1F17-41B8-87A2-FC7EC248A22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$1B1DF2D0-7932-4D68-A569-C283F4338B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0431909a3dd9a9e450ab75d1c63f986c826b0e15","datavalue":{"value":{"entity-type":"item","numeric-id":4412857,"id":"Q4412857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$E64B2C75-1D5F-4D0D-A20A-FDDBD733D762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e487fed55c8dd683b79911554cf93904552936","datavalue":{"value":{"entity-type":"item","numeric-id":2867944,"id":"Q2867944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$3ABC7D6B-7EC1-4709-9FE3-6E66C6F991E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888cd95d66a558d3523482665852ecce7912cb81","datavalue":{"value":{"entity-type":"item","numeric-id":4260083,"id":"Q4260083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$04965909-4DE3-4F84-8D6D-38C42E59EFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054e1fee51a47209d6acee4d481805a6f1cdac89","datavalue":{"value":{"entity-type":"item","numeric-id":4260087,"id":"Q4260087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$BE96C5BD-EECA-45C6-8FE3-795F4202BB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9066cd4aa2727fcf2939d8d889a4ccf4e4246bef","datavalue":{"value":{"entity-type":"item","numeric-id":2462647,"id":"Q2462647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$F2727AEE-B83E-48D0-B959-2942DB8E09BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5b6d19e94d4cc7b98fd19b426fa4c57e4211e3","datavalue":{"value":{"entity-type":"item","numeric-id":3838813,"id":"Q3838813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$C873A150-3D90-4F9B-BC8F-932E20E41D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c87c3884ba965365844cd087b24df0f997e216","datavalue":{"value":{"entity-type":"item","numeric-id":5892513,"id":"Q5892513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$70F80349-1B70-492B-9AE0-6E24CF048EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2d6c6ad56dd9f7391b0125b4e664e1821250f7","datavalue":{"value":{"entity-type":"item","numeric-id":4982124,"id":"Q4982124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$2C7DF840-4DAA-4F74-B725-5A6150F9F9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8709f7df730096e9ca2c313ad48301af6b92f7","datavalue":{"value":{"entity-type":"item","numeric-id":1047795,"id":"Q1047795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$CA1C05A6-5CAB-465E-A046-D36466A1EDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ce493e5819c935f84d7b4156221ac3ceb8618e","datavalue":{"value":{"entity-type":"item","numeric-id":2867946,"id":"Q2867946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$A0B181D9-D062-49C7-966A-0EB88AEF2106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df85c1f399cda10b8cef850e5a122ed52667605c","datavalue":{"value":{"entity-type":"item","numeric-id":631089,"id":"Q631089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$72A5984E-CEA8-452A-8CD8-ECD1DAAD386D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5db726edf837519cac147ea3a710fea1c2fa91","datavalue":{"value":{"entity-type":"item","numeric-id":4365320,"id":"Q4365320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$9D290867-3132-407B-B20B-C24495D4E6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5587664e371fa7cdb52e3b1329f22cf9fcff022","datavalue":{"value":{"entity-type":"item","numeric-id":1101242,"id":"Q1101242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$827AE724-6549-43BB-962A-765B118D71CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f23df7f56f01b2df4bfd8ae9a6bfb1bee9fd30e","datavalue":{"value":{"entity-type":"item","numeric-id":4012244,"id":"Q4012244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$4124AE34-28F6-4FA0-BC2F-F12F4EF42187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579ae597b0782ef330ce6a47c42ceecfe91b0160","datavalue":{"value":{"entity-type":"item","numeric-id":5900730,"id":"Q5900730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$78CE2C02-C705-430E-A151-9D5195C20427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$A318C9C2-3112-4D6A-8348-0CE939FC049A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc0406600f6effcdb4c13b35f1faeb033950873","datavalue":{"value":{"entity-type":"item","numeric-id":5394587,"id":"Q5394587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$027A2554-80C7-4C0B-AC10-ADCB87261DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a803b5b82ae46961f92b1fe7c572346c2f7136","datavalue":{"value":{"entity-type":"item","numeric-id":2462645,"id":"Q2462645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303237$966DA171-AC79-4CB2-B765-BBB28B143890","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"743dbaaef72ab45bdadb050fb8bc53d853291399","datavalue":{"value":"10.1007/S10817-019-09513-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303237$90601528-A0EE-4B62-B95D-F8DEEBFEA725","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac08cfbacd6c40e938799ee7ed56000ad53ddee","datavalue":{"value":{"entity-type":"item","numeric-id":4928429,"id":"Q4928429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ccd7346e23a12c48f4e154a77043cde89e7021","datavalue":{"value":{"amount":"+0.841132402420044","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":"Q2303237$AA9E5E9B-85EF-452E-948C-A7D693973B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39a09ad3bd4c619e67d27830ba14b8b1d1e6ee2","datavalue":{"value":{"entity-type":"item","numeric-id":5747765,"id":"Q5747765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f4f8837ea3c0d407ec8e7413497b8258d598bc5","datavalue":{"value":{"amount":"+0.7588753700256348","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":"Q2303237$E76F29B3-8984-41A6-B12A-CFA8FCD90773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebef7fb5cd261c0c63e36e3f3fe203fa620567f3","datavalue":{"value":{"entity-type":"item","numeric-id":2901189,"id":"Q2901189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6ed90031ca028bfae02ce4cc8eab5c21b78418","datavalue":{"value":{"amount":"+0.7131215333938599","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":"Q2303237$FCF7D379-05AA-428A-A6EC-98B62800EF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afb2841afa79a632873b88f97fa8d010503672b","datavalue":{"value":{"entity-type":"item","numeric-id":2351423,"id":"Q2351423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036172fa91a412975e98900f92966f246b3509f7","datavalue":{"value":{"amount":"+0.7085991501808167","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":"Q2303237$1B244F68-AEA1-4F44-BE32-98350DD707F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a548cf531d2563d505f290e6e6b8a9870ea396e","datavalue":{"value":{"amount":"+0.7030121684074402","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":"Q2303237$95140678-ADB9-42CC-A717-3A3635B3BCAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A prover dealing with nominals, binders, transitivity and relation hierarchies","badges":[]}}}}}