{"entities":{"Q1605223":{"pageid":1615963,"ns":120,"title":"Item:Q1605223","lastrevid":70960653,"modified":"2026-04-13T18:31:19Z","type":"item","id":"Q1605223","labels":{"en":{"language":"en","value":"Set-sharing is redundant for pair-sharing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1768113"}},"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":"Q1605223$953D27AE-A3E9-420F-B894-FB6C22A8E877","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"695cbc2aea5ea3845437cd064a2344e471affbb0","datavalue":{"value":{"text":"Set-sharing is redundant for pair-sharing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1605223$23BD7AE4-F3CA-496B-93CF-0468980D8973","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebccba573107fd3cf6e63da65989bfbb656fa05b","datavalue":{"value":"0997.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605223$973B35F1-637B-461B-882E-6794A87E13F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adc943fa15fdcf84462f6db49dc7a1ca66ac7487","datavalue":{"value":"10.1016/S0304-3975(00)00312-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605223$86779652-A964-450C-AB3E-65706B63A127","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2911dc9679c29e98bcb235b8beb9e25acfab4e96","datavalue":{"value":{"entity-type":"item","numeric-id":714502,"id":"Q714502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$6308B44F-5B23-48D1-B68A-5E200D7A13E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4a2cc42c0b995a79683f9901abc04d820fd3ad4","datavalue":{"value":{"entity-type":"item","numeric-id":817223,"id":"Q817223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$522607E7-F3E2-40F1-93E0-8FDD2E9D9A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768e10bb33d31727f16a418679f923fd95870c7b","datavalue":{"value":{"entity-type":"item","numeric-id":281282,"id":"Q281282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$CC4C4B6C-A896-4D2A-801C-07D884CD4934","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$721126D7-DC78-481F-BB22-263CB5FDDC2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb77668c0bac74ac5ea553fa2146ed5e736444f1","datavalue":{"value":{"time":"+2002-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1605223$F551BE2D-B0E4-4B91-8611-C2A999A5634F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605223$191A7031-BF37-408E-BA78-CAEB408325B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa8de69e8d37421af48a8da06afed2c569f6c6c9","datavalue":{"value":"1768113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605223$FFD86DF3-C03A-423B-A533-E503D0C8F6BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1605223$103EB8ED-94CA-417A-85C6-5EFCE73A1B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06de4932bfd6c39a209d6b6c0873900210095e11","datavalue":{"value":"data-flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1605223$09D85428-80F9-418E-9642-0E37C214BDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1605223$7D0572FF-D4A7-44BB-AE5F-056705468D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d186eed536596a625d0212d346b2002e730e24ac","datavalue":{"value":"sharing analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1605223$490BC63C-DD83-46A9-AD4D-ADCA43C5E2CE","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":"Q1605223$7BF74D01-0571-4F4D-8655-960EA6AA547D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3c30f37cb7c00c5708b1c92ce4115c99f17bdb","datavalue":{"value":{"entity-type":"item","numeric-id":1818309,"id":"Q1818309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$FBF86B57-EFE1-4EFD-8C05-314EE3A4386D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f214d92b54721b2023bc5bf6f717dd369a161b10","datavalue":{"value":{"entity-type":"item","numeric-id":1380123,"id":"Q1380123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$FBD1843D-13FE-4591-9FAC-8C7F5E26D3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f6a6af51489082d9366a0f8ba20cb988eb78fd","datavalue":{"value":{"entity-type":"item","numeric-id":1605223,"id":"Q1605223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$3262E188-5A83-4870-94E5-427B7047F1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422b59c2ad380fed901dd3c5f6c8924228ef849d","datavalue":{"value":{"entity-type":"item","numeric-id":5030191,"id":"Q5030191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$C1F48DC8-DEDA-47DF-8047-D551DCA483B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7393d3c120d602538188984264174b9ba8ebaa14","datavalue":{"value":{"entity-type":"item","numeric-id":5204344,"id":"Q5204344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$8D1D5E07-4402-4206-8507-DB4299A122BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2492d8c7444fb5f2ace6ea892d41afb6b5f8275","datavalue":{"value":{"entity-type":"item","numeric-id":1128983,"id":"Q1128983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$19E2A3AA-021C-45A2-AA66-D112507F90EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d04b670e7ad6909e8ece5ea78f4e3f9148ab5e","datavalue":{"value":{"entity-type":"item","numeric-id":1581061,"id":"Q1581061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$F26AEFDF-2EF4-4CB6-AA38-41CB2F1BB63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$7EC0673A-A4BA-46FE-83DB-4B39F60E9D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6f2d2f1efa1751b23dc7f84c49c86028c1b843","datavalue":{"value":{"entity-type":"item","numeric-id":3128618,"id":"Q3128618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$D557BB9E-0FBA-4209-B323-26EE4ED2DFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$5EE5A0F7-636E-4445-AD55-DAB0939C4C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae1c9e310e46a9588555e2fa8b9fb2d188bbc51","datavalue":{"value":{"entity-type":"item","numeric-id":4452614,"id":"Q4452614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$A08392F8-91DA-455B-B25E-ABCE687A30EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06edc6e1e80f22819c4056e5a31dfa4de326fc09","datavalue":{"value":{"entity-type":"item","numeric-id":4012712,"id":"Q4012712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$BAA2A43A-F23E-4BFB-82E1-3ABCBE2F73D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdef283b200aa3269d09e08c4de781b834b117f6","datavalue":{"value":{"entity-type":"item","numeric-id":3694653,"id":"Q3694653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$EB1BBE41-AB18-4908-839E-62BD691C3BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e078bc054dd2f0127f472b04229eee817bcda4","datavalue":{"value":{"entity-type":"item","numeric-id":4012713,"id":"Q4012713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$F42980E7-7B82-4A59-B990-B4BBC69CA26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25adfc00b5cf3cc37aa3a53f5bd4dfe09afa87e2","datavalue":{"value":{"entity-type":"item","numeric-id":1077912,"id":"Q1077912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$53416354-890C-4181-865B-7F97775AD68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bde38236a7d4802aeea34926c65af7fc6bd7548","datavalue":{"value":{"entity-type":"item","numeric-id":1348532,"id":"Q1348532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$056855AA-01BB-4A56-80A3-47E7EA93B93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa8f0a85089001302b6d3210eb019646d099ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3742761,"id":"Q3742761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$D1BB3A48-B81F-4212-AC7C-17B074179E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef35927efdca637d550edc4b800fe98494502b69","datavalue":{"value":{"entity-type":"item","numeric-id":2653385,"id":"Q2653385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$A01D2A57-7BDD-47AE-B9B5-2BD0421C31E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf75c0d9ecb5912bb5ca3a92127373b8cda74402","datavalue":{"value":{"entity-type":"item","numeric-id":4494373,"id":"Q4494373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$0115D447-9532-4D82-AD1A-C78C15F7225D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c5d5a91e7a0932ea1eb46a41c7010a20dd178d","datavalue":{"value":{"entity-type":"item","numeric-id":4494374,"id":"Q4494374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1605223$47E19EA5-EFA6-4C3C-B612-3F46C15D904B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"babdadf576a2dbd40242ec7248bbab8953e26006","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00312-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1605223$D6A402BA-14C1-44AB-BBF7-EF9C2D476E24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a633f4486aac109d778f8347d571a6e92ec25b8","datavalue":{"value":"W2035032795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1605223$070666D5-24A6-4808-BD7D-147023DBAE57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044f54d17cfe11188686fc783e67110dc7cda52d","datavalue":{"value":{"entity-type":"item","numeric-id":5308017,"id":"Q5308017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c04465cdfda34ba69ae447bd405da0bef10fa8","datavalue":{"value":{"amount":"+0.8685380816459656","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":"Q1605223$B523AC6B-C26C-498C-9091-DD6D21C0BFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9000a6438a64138c46130b6e2cb4a2a14249e3","datavalue":{"value":{"entity-type":"item","numeric-id":5897440,"id":"Q5897440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de9ee925d091d715fe2a987736a993535fc1996","datavalue":{"value":{"amount":"+0.8200332522392273","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":"Q1605223$564A9D9A-386E-4AB1-8B45-EB326D1DC5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8726b1877387ccd66c233e3e57368397001b00a","datavalue":{"value":{"entity-type":"item","numeric-id":3434632,"id":"Q3434632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65742ec8ac84b00f929b4bce73bb0b3d2bb82872","datavalue":{"value":{"amount":"+0.8174394965171814","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":"Q1605223$394931E1-9658-42E9-BC00-1EB5118D6653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09b6400e7ce91d392b222146bb33fc36526219c3","datavalue":{"value":{"entity-type":"item","numeric-id":4520179,"id":"Q4520179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9be30ce4e907036c3d23f8b8854c23457c6856","datavalue":{"value":{"amount":"+0.8103253841400146","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":"Q1605223$8739AEE4-DE1C-4770-85E0-219A72C68006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95bf976e482a28360328c016ce8edfeb85001d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4217938,"id":"Q4217938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19fa55d7011d94e60a044ad165dfc8aabe7cb0df","datavalue":{"value":{"amount":"+0.8087131977081299","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":"Q1605223$D6B9FF57-41D6-42DF-9050-9ABDE6CDCBDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set-sharing is redundant for pair-sharing","badges":[]}}}}}