{"entities":{"Q2272203":{"pageid":2282946,"ns":120,"title":"Item:Q2272203","lastrevid":57827646,"modified":"2026-04-02T17:09:04Z","type":"item","id":"Q2272203","labels":{"en":{"language":"en","value":"Isomorphic implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5590698"}},"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":"Q2272203$A737F6F2-7F5D-410B-B540-FBB94552905F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11e3a9b1ca4a1b7f73b836596bb6bc25e63cbf3a","datavalue":{"value":{"text":"Isomorphic implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2272203$756B7F70-2D6A-4D30-B401-3A0161B11E76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae6ac3158473419851ba8d98ad5e469b47350a89","datavalue":{"value":"1173.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272203$493A2D4D-F107-429C-80F3-C698726C7536","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72095f2f713ef1c79b38c0714aa4d79ebbc903f3","datavalue":{"value":{"entity-type":"item","numeric-id":1015811,"id":"Q1015811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$50A593A3-1893-453F-900E-2BE44DA7000C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5f5c67ba04f18de6b92a0e90cb5f04518d29d25","datavalue":{"value":{"entity-type":"item","numeric-id":293221,"id":"Q293221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$93E32F33-7A2E-42F0-AD37-E0C0ED2B5E3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$1C90142C-2E9F-4DCF-A166-30893E0AFE97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22fa6455513bb7f53a1cef7bcfc7a401b9bebc8a","datavalue":{"value":{"time":"+2009-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2272203$B3C183D4-B5EA-45A9-A2F5-2AA9199EAA5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c98782440c7962551ad579129af3f8d68a08aff","datavalue":{"value":"https://arxiv.org/abs/cs/0412062","type":"string"},"datatype":"url"},"type":"statement","id":"Q2272203$380D941D-8839-4FCD-B362-AE946187E0D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272203$1250A80C-53BB-45B3-88D8-76C6B1B1F2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272203$0814D568-EF1C-44C4-98A6-D8F9C9C9B428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272203$099E14B7-E97D-4F07-A1B3-9CFE8D5A7E40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a3b164c9d5a89450b27f1e6ef320acdf99cccc5","datavalue":{"value":"5590698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272203$EBBDEF38-2E7B-4916-ACFA-D0518DF71598","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272203$36A30CF0-1407-46F6-9030-917EB39BC8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272203$869383F4-D789-4B6A-B6F2-A486862D08C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272203$0622F524-DA0E-4F85-AD90-214A33D2FAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b181606adcba6432b0019d481c67f516d9807857","datavalue":{"value":"isomorphism problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272203$4F318F68-92C4-49C5-8DDE-D36D5526577F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6484e7e2f26a93555d13cfb9bf138878591693","datavalue":{"value":"logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q2272203$F8ACA906-DF12-4EBB-A47C-B31D1F369CE0","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":"Q2272203$51586EB5-333E-44BF-BF7D-75D5B5ED6982","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5c3e044ed8230119a2f2f7f1de5fac5802b51a8","datavalue":{"value":"W2913327613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272203$B2EC76B0-0A58-4561-830C-D9C26339FD7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50eead26665bf4327dc2785d2f3dfe4f076dc20d","datavalue":{"value":{"entity-type":"item","numeric-id":4507381,"id":"Q4507381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$C16071EA-E694-44B1-AE52-EDE27466F9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc737e5a5ef3a9394388e96a144f3bb33d18415","datavalue":{"value":{"entity-type":"item","numeric-id":1173957,"id":"Q1173957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$FBDE42A1-FA44-4E88-90E9-3E3F244898CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d364c3fa5e978edfafe2a4d3f3ef4f4a382763","datavalue":{"value":{"entity-type":"item","numeric-id":4411838,"id":"Q4411838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$AD4C0D7D-9A73-4AD3-BBAF-648D4EF46C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58066e7e86c14e2bc763310729634512f578839a","datavalue":{"value":{"entity-type":"item","numeric-id":5309697,"id":"Q5309697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$41A1FBFE-D814-4C54-A2A5-EBCF24A12338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b1f6b250c3ac3bddd1a8c1d83075cf34d3d608","datavalue":{"value":{"entity-type":"item","numeric-id":1272598,"id":"Q1272598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$10A05DEB-9F5A-4760-9E66-73212DA4B65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"927b3bb72268e811f46476ea8559c6205f6bc0d0","datavalue":{"value":{"entity-type":"item","numeric-id":1917076,"id":"Q1917076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$198597A4-B835-4085-8133-8DDA38E694C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b330a1fcd57ed03b5bb7894b903390953871d98","datavalue":{"value":{"entity-type":"item","numeric-id":2723175,"id":"Q2723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$4F4F1A4D-FDBF-4BAF-B3F0-27A7AAD24B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$B137836C-B54D-4322-9EE8-43652D0CD2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06455b232b15ad6e8025fc9587d194531c0b2ce2","datavalue":{"value":{"entity-type":"item","numeric-id":960525,"id":"Q960525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$55E422B9-E1AF-40F3-BDBA-00A4FCC14166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$8C6C2BD0-E6F1-4296-B694-89C37B358450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9c8f9734cf344f6f5a5b66885892b9dc29edda","datavalue":{"value":{"entity-type":"item","numeric-id":4208875,"id":"Q4208875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$E834E49D-47A6-4568-9894-BB974198D1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fe0a06c9cac8bd777910204e90fa3b76a62bba","datavalue":{"value":{"entity-type":"item","numeric-id":4785629,"id":"Q4785629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$D5A8F6AD-6CD6-4DA6-A357-BACEB7E99DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215fd7f718e277ec69a088e44c413ed0b740deff","datavalue":{"value":{"entity-type":"item","numeric-id":4376981,"id":"Q4376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$EB6A3512-3F64-43C5-B93F-A5D0BD90200A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10d0e398fd73674d278a5b71a363e47b09e732a2","datavalue":{"value":{"entity-type":"item","numeric-id":4934341,"id":"Q4934341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$BCDC986B-AB41-4AAE-9473-637C686C7C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa69ee26d46e945d5b4a4e2c216125eec983dac","datavalue":{"value":{"entity-type":"item","numeric-id":1887137,"id":"Q1887137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$E172FA46-5FD6-4138-93FA-63FF490D68F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0896d4def91ed8d8e8f48a247a42bdacee30665","datavalue":{"value":{"entity-type":"item","numeric-id":4210141,"id":"Q4210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$E12EFE53-44DF-4879-A6D1-72DCE5147488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff365d8186cc4c7ca2a8c01bb1842652c3c232d","datavalue":{"value":{"entity-type":"item","numeric-id":4273947,"id":"Q4273947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$CFB1C54D-B651-4B88-9EAE-7B07A6518AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2f22b2827015dc3a0055fc808a420af199dbc","datavalue":{"value":{"entity-type":"item","numeric-id":2706139,"id":"Q2706139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$208FA16D-36E0-40B6-8008-0B649EB718E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d938e2cf16a516c25169e92ed68817a27d01f44d","datavalue":{"value":{"entity-type":"item","numeric-id":5845382,"id":"Q5845382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$7A769A38-4EA2-4903-983B-481B2A50B83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$885FB911-ED69-4F29-B677-FC4CD0EDF029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d825ccc462d0f4ec55e9d5da8d8afd257e6fab","datavalue":{"value":{"entity-type":"item","numeric-id":1107524,"id":"Q1107524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2272203$6943159B-0FF2-40EF-A852-1885A81DC0DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e8cc42bd908b02e8a6a3c532c3a6be9487c6439","datavalue":{"value":"10.1007/S00224-007-9038-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2272203$FD2A8C0E-F281-49F6-985D-2055B4E2589D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"124aa01f4c5238bfbe6eae843450c8375614ac64","datavalue":{"value":{"entity-type":"item","numeric-id":5492852,"id":"Q5492852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a0675c9ef21ebb2e66430668a02b3e83dedc91","datavalue":{"value":{"amount":"+0.9980573058128356","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":"Q2272203$7372083B-366A-45A7-B760-07B8318F5411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7cae1400bbdd7d331fb27efdc94783c59937071","datavalue":{"value":{"entity-type":"item","numeric-id":5309697,"id":"Q5309697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26397b054751f2f78a2227eca0194747558a3747","datavalue":{"value":{"amount":"+0.8385358452796936","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":"Q2272203$503840C6-F831-4946-B374-52B40B0EBB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c785afde09a56c86dfbac2cac3be6800540be92","datavalue":{"value":{"entity-type":"item","numeric-id":4411838,"id":"Q4411838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6850485c96c588d8ff62b26b275c85661871f14f","datavalue":{"value":{"amount":"+0.8036031126976013","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":"Q2272203$31274519-2310-4D8C-BC0D-0C06DDD524A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf7909f34692a9db634c234aaf81d3f41a0eb48","datavalue":{"value":{"entity-type":"item","numeric-id":4507381,"id":"Q4507381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6850485c96c588d8ff62b26b275c85661871f14f","datavalue":{"value":{"amount":"+0.8036031126976013","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":"Q2272203$1DEDC43D-6246-49FE-BEF9-8E6A18A4BC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035708874e3ecf0d38c360a1c1a427b72b73a2fb","datavalue":{"value":{"entity-type":"item","numeric-id":989577,"id":"Q989577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5adc6316a55040a50701788b1582d499d22069c","datavalue":{"value":{"amount":"+0.7353612184524536","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":"Q2272203$B48BF9DA-3228-4716-ACCB-F5F8415F48F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2272203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2272203"}}}}}