{"entities":{"Q5210764":{"pageid":7240335,"ns":120,"title":"Item:Q5210764","lastrevid":53639180,"modified":"2026-01-25T11:42:26Z","type":"item","id":"Q5210764","labels":{"en":{"language":"en","value":"Model elimination without contrapositives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154540"}},"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":"Q5210764$0D5855EE-92E4-4824-8B7D-087962735082","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eeddab02b244cf8720befa026f030e4aaa4c8119","datavalue":{"value":{"text":"Model elimination without contrapositives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210764$03D7BE79-F4BA-4071-8352-2D6C83078BA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d95ac11aa03ff44e9a84d2827c94cae8a12dd043","datavalue":{"value":"1433.68532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210764$B5442923-D7C6-43D3-86A4-8C6F665DF1D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74d523e08133bcf0be4d92507fc4743acf981bdf","datavalue":{"value":"10.1007/3-540-58156-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210764$F5BA109B-B2B8-427D-BF20-08B2FD8CFB7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$77E11B4E-32F2-43A1-A374-2B9F25B3D100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41eb43f669c6e9bd047f95552906672fa500745e","datavalue":{"value":{"entity-type":"item","numeric-id":1322771,"id":"Q1322771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$31B4CDDC-13CF-4D65-91CB-B9F5E08D0ECE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$B0D5EC2E-CE53-4E9E-93AD-F68D62E28FF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210764$1E5E6157-4577-4D0D-B308-B6CC3854B167","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210764$8ACE50FD-030C-4062-8D56-4CBAD3A7A3E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"374f7461af452439466dea04942b1c54a5d0c74c","datavalue":{"value":"7154540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210764$9B0DB7C8-1756-4B42-B683-57A5E62007D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$7AB20198-65E5-45CE-9459-BD4C923637A5","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":"Q5210764$75B1253F-4670-423D-B41C-91BBC64FAF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"648f72141e71ba7eece3437af2f76b81124739c8","datavalue":{"value":{"entity-type":"item","numeric-id":33150,"id":"Q33150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$B3367622-1C6C-4E1A-9A83-0B7B14DFADAA","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":"Q5210764$2F311585-A205-4D62-86E7-2D9BD2A9AB5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a121240b38f8593e8561d48c4137e2a6636c8d0","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210764$B9970EA8-F2C8-4935-BD49-AA6DECB96F59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5da51df1c48e4279d4c29f76a33ccbdaf70fd21e","datavalue":{"value":"W1816816118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210764$ECEABA9E-6DF6-47CD-995B-FC32F9AA6A1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19bcc8ceeae09bfe2823325d7d61b377dc18bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5597535,"id":"Q5597535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$2B0FEF26-D50D-4E96-A267-765668CAF00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673aa9e5ad6e36794517311b1f934f38da0d39c5","datavalue":{"value":{"entity-type":"item","numeric-id":4261066,"id":"Q4261066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$8F0567F0-DB3B-4C5B-8814-13B4D3EF3FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6259d6bc26c195111d912bf0a83b34c83a8105b0","datavalue":{"value":{"entity-type":"item","numeric-id":1322772,"id":"Q1322772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$8029BE36-832E-40CE-8C45-DC399A401538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$5BA689CF-E11B-45A3-BEEB-FF711155A811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36d33a59278c60fe82196b6f819585a2e45e374","datavalue":{"value":{"entity-type":"item","numeric-id":4012177,"id":"Q4012177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$10BBFBFB-5AA8-4D8C-8F0C-372B02909278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b17ca5304b07e27db69bbaad41f776f31427c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$9D31E005-507F-4843-B5FB-4A747465CE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$A28102C9-6045-46A5-B973-5D61798DBDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4c84b1b8ad4be23ef741df8bbbb197d65475ac","datavalue":{"value":{"entity-type":"item","numeric-id":3727349,"id":"Q3727349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$EEE79315-E887-4444-B233-F3BB6A89544B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$E6AD938A-25D3-4354-8AFA-64080A2FA84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158bb2233935470152d2dc667c5dec4b7a43c81a","datavalue":{"value":{"entity-type":"item","numeric-id":1344875,"id":"Q1344875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$CAB9FD5C-B8C6-45E1-9C26-EA188934CB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f72fa731d5ef46f7c8727b7b59f2eaf22c3523","datavalue":{"value":{"entity-type":"item","numeric-id":5544307,"id":"Q5544307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$FE82AEB8-EA3E-4F58-ABC0-B16F9AABE4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace3bf3851cb3603b10fadcc13358fc2d3ba2b54","datavalue":{"value":{"entity-type":"item","numeric-id":757031,"id":"Q757031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$A999C62B-A128-4DAE-A95A-7A4BD2FA6E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$42720A29-9D08-4D05-A1FC-B7930576B5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43919d1f4da3b9a07eea3d230b3f18d880d5940","datavalue":{"value":{"entity-type":"item","numeric-id":1116717,"id":"Q1116717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$3E199ECF-4A7E-4C29-9767-A08AAD9AC98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e6b99241bd5405a7d704114ed85dbdcd125acd","datavalue":{"value":{"entity-type":"item","numeric-id":2639044,"id":"Q2639044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$9D50E9CE-A351-415C-9FCF-E6096B9028D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad247e15325f720d6f533709738e48ea23fbf751","datavalue":{"value":{"entity-type":"item","numeric-id":3992235,"id":"Q3992235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$70230BE4-AA4A-4049-9A1F-DD3AEDA3FAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07441aec0715add91dbf903fea4c539fe7c16a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5210777,"id":"Q5210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210764$282D1891-667E-4F58-9ACD-0A0C20CAB528","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f547eaf70f648ab42babcde2f65f0bfb99b436cf","datavalue":{"value":{"entity-type":"item","numeric-id":4282522,"id":"Q4282522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefbadcd283c5d460246b996d12d962c5c68ad9f","datavalue":{"value":{"amount":"+0.8201918005943298","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":"Q5210764$BADC44CD-61C2-4E91-B9A6-4F5DBB17084C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db67625daf776bd3bbe2e0f01c9fcb3b92625069","datavalue":{"value":{"entity-type":"item","numeric-id":4934523,"id":"Q4934523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bdf767620c4dd850866296945c3f8abbc6f8a3","datavalue":{"value":{"amount":"+0.7984419465065002","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":"Q5210764$EDEAEA68-F13F-4BF0-A9A5-3F6EF9199902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdc00b671ef564893f92f5aa97e0519aa080446b","datavalue":{"value":{"entity-type":"item","numeric-id":1402748,"id":"Q1402748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f765618341f811636dcb5c3fae54d2929d730fe3","datavalue":{"value":{"amount":"+0.797779381275177","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":"Q5210764$4894E07D-29A4-40BC-84B2-18F5C00E4F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc13b8c60f11707289dd6c9f344642d5f4e6f46","datavalue":{"value":{"entity-type":"item","numeric-id":1978019,"id":"Q1978019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ee2e2b9b51bd7d910b63efbbf203a7ea0b1dfe","datavalue":{"value":{"amount":"+0.782939076423645","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":"Q5210764$0D6C6417-AD69-4E29-9C9B-A2F2C18437E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913fc751b45e48cac9dbb02d65e0dcf57f87f99c","datavalue":{"value":{"entity-type":"item","numeric-id":4261066,"id":"Q4261066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9826133796e448db4f1062b5834a3f9a661ddc13","datavalue":{"value":{"amount":"+0.7789378762245178","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":"Q5210764$463C7B6A-CAB2-4D34-91FA-E67EE1D7F3C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210764"}}}}}