{"entities":{"Q286731":{"pageid":288498,"ns":120,"title":"Item:Q286731","lastrevid":60810666,"modified":"2026-04-10T19:16:38Z","type":"item","id":"Q286731","labels":{"en":{"language":"en","value":"Labelled interpolation systems for hyper-resolution, clausal, and local proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585210"}},"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":"Q286731$0AF984C1-A1F6-4C8A-9658-7FFE471D2A64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8df51f7c2257862c2e0e21bc5f42d3ee46d726f8","datavalue":{"value":{"text":"Labelled interpolation systems for hyper-resolution, clausal, and local proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q286731$C0370EAC-E37E-4792-B177-83C2E79399FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc47fe684e1c38337a298cee72aa9149631e939f","datavalue":{"value":"1356.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286731$8461D73E-8A59-4873-896F-998C8007F6EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1342e9fdbd4ce499fedd9b13600783dddd302ed","datavalue":{"value":{"entity-type":"item","numeric-id":286729,"id":"Q286729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$918CEB87-03EA-47AD-BC89-907D29BE5428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cafc89a69d4324ea4f0d501a434f10ab730991dc","datavalue":{"value":{"entity-type":"item","numeric-id":286730,"id":"Q286730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$383E6095-15E7-4F95-845C-2EE34438427D","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":"Q286731$F7AFEED2-EE0D-4CB8-81E2-218B51F742F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3df5911fe2651c5b316b1c434feff8234703d15","datavalue":{"value":{"time":"+2016-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q286731$80196930-52E3-423F-AFF4-A7D125115D74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286731$A668E542-FA42-4319-8427-B15CCB82830C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286731$A95E4AFC-8323-43B1-9D02-7C27ED81E779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286731$E2C40E68-9127-4E65-941D-42B8323BC92B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5329d27f421d4e90d2aa13f8f637b6f5b16b4bb6","datavalue":{"value":"6585210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286731$FDA07903-3DEF-490C-9567-497161B0E9DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q286731$B953CC28-5144-4F00-919D-E493C6BB7D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f8be496afa70f96c42c9d007ca2434d452e47a9","datavalue":{"value":"satisfiability checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q286731$A7B25DF6-2593-438A-8BFF-7C6B3A4E6C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q286731$033C009D-A85C-4582-9C8B-84152D037495","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bad17ed9105e56234c3fb1410804a2c89618330","datavalue":{"value":{"entity-type":"item","numeric-id":19912,"id":"Q19912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$8D650997-6097-4929-81A8-058566A355C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$FEB6F675-BAA3-4C7D-8585-340F1A66C0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$8DFDDBD0-C708-49AB-9580-C339A0F54576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$BE0A4A65-1408-4025-97CA-0EE842356907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$2253789D-6920-439D-AA76-B96CBF3E1855","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":"Q286731$32B1784A-5B58-4202-8D55-94ADA2D0EFFF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"32b5df13efa1155806cad66ad56ece0e85402db9","datavalue":{"value":"Q59463436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286731$5C5CDFDC-0552-4C0E-BDDD-A474DA240E33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c01e13956e780c2411c474cb38407ed8cd6e4378","datavalue":{"value":"https://doi.org/10.1007/s10817-016-9364-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q286731$097BDA21-1499-483B-81B8-34B374F0DAA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"091d5585b7f97510fdbff4095849b5f988b86412","datavalue":{"value":"W2222719317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286731$EF938B66-5412-4E49-9B23-11934A20CD67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89838827382acbf53ce860d7765a55008850713f","datavalue":{"value":{"entity-type":"item","numeric-id":5573405,"id":"Q5573405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$30E30629-7E03-4345-83F3-60F6E65D3D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$FDBAACBA-0B87-40C3-B5DD-2133EF6ACA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$88C6BE3C-5BAD-4A38-98EA-CA1C7C9C4662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$B53A8CE4-ADD9-433A-A963-994C26F7AD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$3B5D25C6-6C3F-4642-ADA9-172057BA033E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16381af0cca809d96a3239e7f95bab63296fc5da","datavalue":{"value":{"entity-type":"item","numeric-id":2938057,"id":"Q2938057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$6DDCEB05-05F6-42A9-BC37-5BD7B11223BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4b5bde526a32e6c0478b3694b30b3d39157307","datavalue":{"value":{"entity-type":"item","numeric-id":3010355,"id":"Q3010355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$4E2FAF62-081D-4A0F-9F27-27E7073B1B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$7EF7CEA8-A764-4007-AD15-8844C91EAD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dac129a159e5019d1399be30aa2aedbb8b57223","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$31268FDC-3156-406E-B0D9-ABD08DBFA37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e33ec3f29ace8a55c4dc1616933c1ca1e6fd350","datavalue":{"value":{"entity-type":"item","numeric-id":3558223,"id":"Q3558223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$BD8C3631-BD0D-4F01-9EC1-FED894584DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1f27d5e14d456aa8b6031d92ee27db277fbe0e","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$74624D00-3175-4E36-B6C9-F02C456176B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$3A87C101-FCB9-47AD-93C9-4C4718EB80B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e66bc131025ff6a8f7ce4c24a5de96ae08ea9391","datavalue":{"value":{"entity-type":"item","numeric-id":4647843,"id":"Q4647843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$67A10DE7-D939-47CC-83C0-B484AA4ADE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b43a25ba24825d35a343ae255abd617023e5daad","datavalue":{"value":{"entity-type":"item","numeric-id":5200028,"id":"Q5200028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$CF461667-3AF6-4D9B-AF78-31D4BA8DA941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3b2fbf42eb3def1e4ffb467318a0ebe0218007","datavalue":{"value":{"entity-type":"item","numeric-id":3617772,"id":"Q3617772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$109A225E-3916-4FBD-AC85-8A9389567475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71ce7d346ba59e1ba5371b079177abbcf6c0335","datavalue":{"value":{"entity-type":"item","numeric-id":5713736,"id":"Q5713736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$D8DA732B-B0C7-4A35-BDCB-C0BBABE8B074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4146e72afcbe84eeff7133f3f472d7248d06ae08","datavalue":{"value":{"entity-type":"item","numeric-id":4997234,"id":"Q4997234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$B18DE784-E02D-4C49-9437-202B530DBEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$B1CA910E-CBF6-4916-A48E-7FF2FF9A24B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c91a28a758cef65772d101c4d9ed9dccc99d931","datavalue":{"value":{"entity-type":"item","numeric-id":2942878,"id":"Q2942878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$1CDA8AE0-CA9E-4DB8-93E1-C33E46FF803C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af62bfd2162dabdadb1d68f1499174dc7482fad7","datavalue":{"value":{"entity-type":"item","numeric-id":5716597,"id":"Q5716597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$91978FC0-823A-47BA-B346-A0CF902E913D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3bb918603ae315ee0224631b7326b49acf86c5","datavalue":{"value":{"entity-type":"item","numeric-id":5899073,"id":"Q5899073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$1871F74A-6399-4E66-ACA4-DDC620BFF026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13219530e3d06874c8e2749c80d201a39fcadb63","datavalue":{"value":{"entity-type":"item","numeric-id":5191103,"id":"Q5191103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$D0824BDD-0ED8-4491-9748-03551D069A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$2DBF41A3-B615-48B8-A32E-24E42755EFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$39D6C6D7-C814-4AA2-B3F9-B5669967139D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$D3BFEEA0-98FE-4241-A38D-8BB709D634C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$1132534B-12BC-4B98-983C-B60B49B932B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$0B13050D-CCE2-4B3D-902A-AECB074F578E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a62c24cddf605dd86a399f231d937d5444e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5458341,"id":"Q5458341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$ED82B90C-20DC-4B1E-9FEA-A9851A692240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$D81AAF1C-71CB-4D1A-A534-8259608F5C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90523338892982b1665740dbbd308e5958d89004","datavalue":{"value":{"entity-type":"item","numeric-id":2870162,"id":"Q2870162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$874D04C1-DABE-4A82-986D-4B8B845DD77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4caf38d1ea0bcd43c14e944f03b1e72e20f485","datavalue":{"value":{"entity-type":"item","numeric-id":479815,"id":"Q479815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$F659C704-9079-4189-A724-D53E1D97DD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0c5a805e2d83d2fc67d0e9100dbfc3999c3a60","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$CD6E4A63-5AEF-4AFF-90D8-8755CCD674FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a6de67ef4615ff33e4344c32b01aa7b8276c52","datavalue":{"value":{"entity-type":"item","numeric-id":3613412,"id":"Q3613412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$14850851-120E-4FA8-924C-B8693B6CEC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8dfd9651ab5a9bb850689db6ed8d071ae411ff","datavalue":{"value":{"entity-type":"item","numeric-id":5891935,"id":"Q5891935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$4DA4115C-6B58-4A07-9AFF-9DD267A47602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f015945aff3649e7842dc973c4e22842bcdd7d5","datavalue":{"value":{"entity-type":"item","numeric-id":2864838,"id":"Q2864838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$4EDB001F-FBC4-48F9-827A-426B28285675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3bc372bce474a590e50f0734f07a1e5749117b","datavalue":{"value":{"entity-type":"item","numeric-id":2843336,"id":"Q2843336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$B8779A53-C1F8-41D3-B878-742F7256DD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7903ffd8f9b852f272a22a95cb583ad2910295a","datavalue":{"value":{"entity-type":"item","numeric-id":5394624,"id":"Q5394624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$51AD1E02-232C-4004-8D8A-9BC8E379E257","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b4d1151a05adfd1140b88b6f74d9e89a3e7fd17","datavalue":{"value":"10.1007/S10817-016-9364-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286731$529DB6C5-70D5-4A49-ADF6-FD8FE0BB55FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545d0ff8755caae16aff3985becf1964305df527","datavalue":{"value":{"entity-type":"item","numeric-id":2843336,"id":"Q2843336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b674772901757f5e5492d5124e681e034f4a478","datavalue":{"value":{"amount":"+0.9221158027648926","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":"Q286731$4EF1E6FE-56F1-4028-B17F-BC4C8B161118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088db139749caf319dec6d04eac588774b575a9f","datavalue":{"value":{"entity-type":"item","numeric-id":4645726,"id":"Q4645726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85e2cc4cafa8f90a146b73fbe71a8e7523a873c","datavalue":{"value":{"amount":"+0.8143810629844666","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":"Q286731$52D0C361-7609-4D72-BF9B-968A509A9FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d051599a92a778760c32010d66f8e2784220f6f0","datavalue":{"value":{"entity-type":"item","numeric-id":2352502,"id":"Q2352502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612c149117f3ce672584a6a4df518c2055cd1482","datavalue":{"value":{"amount":"+0.806974470615387","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":"Q286731$9033820A-D25C-49A5-AEC8-4D80B037D2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f60c4edcaf68176e5c49698b6e63d44fe538dd","datavalue":{"value":{"amount":"+0.8008391261100769","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":"Q286731$62C2FA53-C819-4656-BDE8-B00313565570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846b5d7a88a34ba7463fd26b4ab55d9721f4c5f1","datavalue":{"value":{"entity-type":"item","numeric-id":3558223,"id":"Q3558223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c0df3a9f9bc0b5d54236bd34b8fcd90dda529b","datavalue":{"value":{"amount":"+0.7952445149421692","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":"Q286731$1D5CCF95-6257-4053-8FBA-28FAB9DA4699","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286731$09DC04CA-8767-4AE1-AE6E-1924A28E2400","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled interpolation systems for hyper-resolution, clausal, and local proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Labelled_interpolation_systems_for_hyper-resolution,_clausal,_and_local_proofs"}}}}}