{"entities":{"Q4691183":{"pageid":6720761,"ns":120,"title":"Item:Q4691183","lastrevid":53240822,"modified":"2026-01-24T13:01:42Z","type":"item","id":"Q4691183","labels":{"en":{"language":"en","value":"Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958614"}},"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":"Q4691183$846B30CD-A281-444F-8C81-55F539F03A07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e86dbc8b8adc397a0e6a36f0a8216f22c8adb1e","datavalue":{"value":{"text":"Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4691183$CDAC3DAD-54EA-43ED-AA2A-71E248D00FDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97e5c5d1457ed77d9080a236c9c6f832d3ee5793","datavalue":{"value":"1400.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691183$205C0A1B-CF76-478E-A17B-5FE8D037D3B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c2db20bf632a1e4d2877165d7504dec1caf3955","datavalue":{"value":"10.1017/S0960129517000093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691183$334BB72D-0018-4C80-A816-D58874B1D32A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8135914452c3b1bd839ce74f3161ea4765c65f58","datavalue":{"value":{"entity-type":"item","numeric-id":287276,"id":"Q287276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$860CCAE5-FDE1-42F6-81ED-0C0F0C6A941F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$90E6E3E2-D3A2-4008-82F1-74FD9C318195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3098c31aaa054039cc5414efb85f4a6bce38102","datavalue":{"value":{"entity-type":"item","numeric-id":590551,"id":"Q590551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$7A71E653-19D9-4D3E-B93A-7390B6F9FFBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$C255C15F-A618-4581-8C0F-F336E90F5903","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5851604a72cdd40de4e79399957d1d12419d2f19","datavalue":{"value":{"time":"+2018-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4691183$55029FF0-5BFA-4D98-BCFC-5CB456BFC1E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691183$BB5DC62D-2C24-445D-B571-D10893E0F8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691183$667A77A8-D514-4682-ADDB-43535432BBD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd365184a2d071ae874837af1a0c36c35b53f44a","datavalue":{"value":"6958614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691183$33B72B24-7F0F-4DC9-99D4-4A48EE7CCB45","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$3F39B952-A56A-42D3-B7F5-B08006D69C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ca68d9e60f39b64375620b23802b5755dae3004","datavalue":{"value":{"entity-type":"item","numeric-id":13181,"id":"Q13181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$F3AE1C5F-F6BB-4322-8167-1C9B584170AD","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":"Q4691183$74C0AAA6-654A-483A-A2DF-A6A36D17DC5B","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":"Q4691183$0219E361-FAB9-434C-B7B0-55DD0B9CBCA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf284620825356e4026f7163726a6eaa28789317","datavalue":{"value":{"entity-type":"item","numeric-id":287277,"id":"Q287277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$3BDB3414-051A-4104-B45B-84F78B016B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea3d89d9caeecb4ce96d5251e582d3bc04e60e3","datavalue":{"value":{"entity-type":"item","numeric-id":438569,"id":"Q438569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$E3A5ACEC-EA6A-4C95-BC91-8E09883B3E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$62B9A687-4DF1-48BD-903C-4D3F2066A45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$CB71D4D6-AC18-4BDB-8FE6-33836B6B4118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aef6e8ec5e78b9cd997c278319de385c256d66","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$EA0E0EE1-28A6-41AE-81DD-D75DE3B140FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75434ef849c3ec6704b06b6fb305736b6e78f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$43517383-567B-4795-BC4F-470EAA346122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$58B2D3FA-12C3-4B13-B922-F7D3E4FF4281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$98D93EA0-9471-4613-8DBE-2E5CDE3520D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693ee42653a3b11e8160602b1f85eb4bc2fd3c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2753689,"id":"Q2753689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$C6934B6D-C6A0-4BA4-8B2F-F872EE11C01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197d74f5936655045aac39c4e29d461e14c3e18b","datavalue":{"value":{"entity-type":"item","numeric-id":2844810,"id":"Q2844810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$F695DD87-C447-46FB-974E-47C5CFBB20C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$F917FB10-1124-4588-AEDD-F4FCE46003B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691183$A3B71D3A-97CF-48DA-B07D-366680074F57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66668ed7158b07726d83fc60cbfbe89a17acc37b","datavalue":{"value":{"entity-type":"item","numeric-id":5747652,"id":"Q5747652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d44fdd9c89b8fc30c86eada46871b97a85c0671","datavalue":{"value":{"amount":"+0.7991600632667542","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":"Q4691183$D8F92D33-332F-478F-8119-396DF94F6861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b4dba984163c159f355dd15f31e142389408d0","datavalue":{"value":{"entity-type":"item","numeric-id":287277,"id":"Q287277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321efda264a958ce4393b0d46d57c20b0eaa0ceb","datavalue":{"value":{"amount":"+0.7772496342658997","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":"Q4691183$D7C1A838-0200-4C7C-81BA-FB0F294AD92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded2d6bb2e54f16d6eb85052935f22a3514f6f64","datavalue":{"value":{"entity-type":"item","numeric-id":2871875,"id":"Q2871875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02496042c2a65310ab1482dfc15e9446e83547da","datavalue":{"value":{"amount":"+0.7217413187026978","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":"Q4691183$5EA78F13-1CBC-4034-9D67-F86E4B705403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"639c9c9238c75279a9a7c0176e3831d0d6fdff5b","datavalue":{"value":{"entity-type":"item","numeric-id":4535076,"id":"Q4535076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb5d6577652231323ac2c7903280e10dcce026c6","datavalue":{"value":{"amount":"+0.7163383364677429","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":"Q4691183$2925A1B6-AB7E-401B-92E4-9F053C6F0B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbd805b7b44902c13309d5bd3b30627095ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892ed80f5dd9c7dc3224c1e694e8943cab0db5f8","datavalue":{"value":{"amount":"+0.698673665523529","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":"Q4691183$C893FA22-37E0-469A-975A-48E18FA0A587","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4691183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4691183"}}}}}