{"entities":{"Q1011758":{"pageid":1013606,"ns":120,"title":"Item:Q1011758","lastrevid":66005727,"modified":"2026-04-12T06:53:27Z","type":"item","id":"Q1011758","labels":{"en":{"language":"en","value":"Coherence in linear predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5542409"}},"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":"Q1011758$D37339AA-630F-4E8E-B7F7-D9574902FC04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bab73cc3874d00847ef2c99cffc6eac95f5ab68","datavalue":{"value":{"text":"Coherence in linear predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1011758$09B35CF7-C227-428D-9FD0-19126DF02EC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a60eb51caf9045b6062bf4a120aa2b1c92f6708","datavalue":{"value":"1168.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011758$09C17AC8-3AC8-4205-8B5A-FA65BE23681C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$C8EDD399-E35A-4696-ACB0-B364A5BA7E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"560fadb272ba9670b6f7e2522deaa7e7e693aa5d","datavalue":{"value":{"entity-type":"item","numeric-id":383358,"id":"Q383358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$863FB7A2-45A8-4882-A4C4-A28487D57EBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$906FE0D4-906E-4F10-9EB2-0DD99B932A56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bcdb1993f8b4556071ee0569f4221a22eabbccd0","datavalue":{"value":{"time":"+2009-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1011758$40CCC05A-D968-4969-B0DC-8E50C368BE20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66fb65b3984ac8b7ac4ce077980b17885dacd015","datavalue":{"value":"https://arxiv.org/abs/0709.1421","type":"string"},"datatype":"url"},"type":"statement","id":"Q1011758$15BFD461-EC04-4F80-BEF9-B18C3A5CF43F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011758$C21F8F12-E03E-4976-8313-DEF93E9998A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011758$CF11E1AE-7112-48C3-9366-84EAE24DC39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011758$F1F4178E-52EB-4A83-B916-DAAC56452012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011758$4B679AD8-FCEE-44A6-8545-EEFC9923CBB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fb5fd5c627eebceec82b685d7b440c3f4b77a57","datavalue":{"value":"5542409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011758$E72AD40D-4040-4178-BB51-4CD14BBAEC02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011758$E8227C01-E105-4902-8F60-6D6C3689859F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4e88f7bcb67881f864f5a27de323e1f9e48ca9","datavalue":{"value":"linear predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011758$11D25414-3470-4AA2-9100-E62CF1B64065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0077a8f3ee7a3e9641775c68ecac296a4a8d252f","datavalue":{"value":"classical linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011758$174DB02E-0905-45BF-9934-A44BF043AF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b352a2da956c443b59f3b378b0b1e485ec963b","datavalue":{"value":"proof-net category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011758$9A74BCB2-5D36-402E-B028-F09D36FC8B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011758$C2497D8B-B04C-4C29-B2C9-E8FFD2521F73","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":"Q1011758$88947E50-D429-4295-A31C-E121B52763AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2528f579db368101b606f2f388e3e03a65d9861a","datavalue":{"value":"W1978035477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011758$AE1EFF98-DCBB-406D-B246-A70740605804","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f616d79f26fcad691e031d31d2524b8669486c","datavalue":{"value":{"entity-type":"item","numeric-id":4650576,"id":"Q4650576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$2783C66F-1F44-4690-82E3-D33C33B9CCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e44e56087a43319156548689bcf630652f490ee","datavalue":{"value":{"entity-type":"item","numeric-id":5902783,"id":"Q5902783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$AC579706-5D77-4B83-8645-21EA823991E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$DB5983F5-BC6B-4237-9295-B89F4F2E71D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9175faeea0f30c7a9dbba3886a0d68487be2ec","datavalue":{"value":{"entity-type":"item","numeric-id":1371430,"id":"Q1371430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$0C2AB725-73D1-40DA-8093-2E9421738AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac30472f3711a2478de68cf38d3ea22c8420b47","datavalue":{"value":{"entity-type":"item","numeric-id":1817695,"id":"Q1817695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$38EC9587-4789-436B-A9A4-D46DB46D0715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a89b3ea81f36c309658525a2ddda6228c6236c67","datavalue":{"value":{"entity-type":"item","numeric-id":3376920,"id":"Q3376920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$881B0AE1-1FBB-4E9E-BB4E-D7DF01B5C21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0be4b6838184cb0d7b9e29f82c1f2a4c16a5440","datavalue":{"value":{"entity-type":"item","numeric-id":5411254,"id":"Q5411254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$3C668539-A153-4AF4-A9B3-7990DB9E42A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$A405C118-9686-43AD-B840-92B2A4687C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$FEEBD3CA-3F37-404B-950A-159A4D16C67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$B158862D-3824-4500-A3EB-123C89483C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a74fd76e2d9e94e09e493d795b400a0e721b82","datavalue":{"value":{"entity-type":"item","numeric-id":2544617,"id":"Q2544617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$B4831C65-A5CF-4D1C-9603-F6D1D099DDA6","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":"Q1011758$D920D8FE-9EBD-4F83-96B5-42C370008966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$8733CA8E-4F31-4FC5-BD3F-8B4C592452B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$0E6234E7-E728-43AF-A8F4-0813B1EE2760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$FCB5CC44-2929-47F9-B85D-9C6B662BBCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$9A930C13-7E8C-4527-8E2A-F0B63E0F5309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82879333b705ddee55c839f1d500c79a4b9b1e89","datavalue":{"value":{"entity-type":"item","numeric-id":4807625,"id":"Q4807625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$EDAAF021-BBE3-4FE0-B18E-BC7EB1C9562C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$57D4268E-B1A3-4D7C-B16D-4EBAB4FA1A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3888cf263b82314d0fe57282afa46d52411e71d","datavalue":{"value":{"entity-type":"item","numeric-id":4877444,"id":"Q4877444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$A33BC3A3-F0D3-4269-9090-FD6CB509AA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$9F5E761D-6641-4C79-9A47-59795358E68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5a57389c259e30c5281949260d1303e9c77930","datavalue":{"value":{"entity-type":"item","numeric-id":3926546,"id":"Q3926546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$63321E53-44DE-41B2-9AB3-F4822261406B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbf2d5b157e5fb4d1745288b32c2de045384528","datavalue":{"value":{"entity-type":"item","numeric-id":3679177,"id":"Q3679177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$3CE8B3DC-B686-4001-A4D1-DB8833848E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011758$61DBD22E-86F9-46F4-B891-323378E6B742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb7d3ad9d4438f2f1e720b6a348c1b6e98696c99","datavalue":{"value":"10.1016/J.APAL.2008.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011758$8EF3A54A-E9C7-429E-AF9A-C070BFD4225F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d7fe7665b9779afc2aa2e2df852fe9d3e2d0ef","datavalue":{"value":{"entity-type":"item","numeric-id":4928272,"id":"Q4928272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d6b0bbbf1645d0888124b8841738aaabb3cbc8d","datavalue":{"value":{"amount":"+0.86901104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1011758$AFA716EE-7C16-45A6-B3C2-516F2BD6FCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ebcdb43103982ed85c0ed5387a7afe264687a9","datavalue":{"value":{"entity-type":"item","numeric-id":685406,"id":"Q685406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0f123e6dd26b8131e40e01e3ea0d106b5eb13b","datavalue":{"value":{"amount":"+0.8297541","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1011758$54C7554A-C632-4D6B-8D17-865569D6FDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebdd0b218777c7184a5d10cf8ad8d1fba089cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4282573,"id":"Q4282573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4428c1133c99aacca91d6d3b4fd4827ed91a17","datavalue":{"value":{"amount":"+0.8205628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1011758$B1C4B9C3-C4F6-4597-AC0F-DB85EA690F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d5ef3313ffad92ab63539330c5ac640d3c666b","datavalue":{"value":{"entity-type":"item","numeric-id":5411254,"id":"Q5411254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5019485cbb45c5c8741ff8b314572f60152eb06c","datavalue":{"value":{"amount":"+0.81253237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1011758$B5287EDB-B148-49D9-B5A0-07B84F73FCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c023c26a619a3608a512521312f0fec12e213308","datavalue":{"value":{"entity-type":"item","numeric-id":2498908,"id":"Q2498908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698a7a8862d64ef28b088637e198765032ce6253","datavalue":{"value":{"amount":"+0.7957663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1011758$11095A0E-D851-408D-91F6-0764A3C97AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f854a91a63d8ab517a6af263cd61fcd6ae755148","datavalue":{"value":{"entity-type":"item","numeric-id":5741579,"id":"Q5741579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9684c43c705f2975b67d4cffda11a6a6a9ba0f","datavalue":{"value":{"amount":"+0.7775466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1011758$AB4929F0-E140-45BF-A011-6DD73F48AC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25141f3bb8a7175b3fed9127bf72e6dead87f81","datavalue":{"value":{"entity-type":"item","numeric-id":5018492,"id":"Q5018492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0025803065877a24f53b8197d58579636dfe69b5","datavalue":{"value":{"amount":"+0.7699028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1011758$360A2A18-AC1F-4C57-9D58-1B6BDFEF662A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31060e3f577fb75f63334367614882164bb64a90","datavalue":{"value":{"entity-type":"item","numeric-id":5311252,"id":"Q5311252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e40394cad97fefa6ea61e3c85333cfdb1df7d7","datavalue":{"value":{"amount":"+0.7498007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1011758$BC3943B9-EA1E-4A7A-B635-C7E58F9C8EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5042da839f30de08484a642d83f7912a1885006f","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ae239af771ca781c1ea0e2fb32a3ca1e615dde","datavalue":{"value":{"amount":"+0.7481147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1011758$04B6C9C8-4A54-42D4-9145-FF07129B25A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa401530e3afa6107283e7baf30024ac0b085c4","datavalue":{"value":{"entity-type":"item","numeric-id":3376920,"id":"Q3376920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17018a88b97c90f30a78da855b399ac56062fa6b","datavalue":{"value":{"amount":"+0.74214494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1011758$A6043DA2-337E-4A70-986F-7D59249956A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coherence in linear predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coherence_in_linear_predicate_logic"}}}}}