{"entities":{"Q5262489":{"pageid":7292057,"ns":120,"title":"Item:Q5262489","lastrevid":100666064,"modified":"2026-06-05T22:43:22Z","type":"item","id":"Q5262489","labels":{"en":{"language":"en","value":"Set graphs. V. on representing graphs as membership digraphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6458865"}},"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":"Q5262489$9B2C9CA3-CEED-487F-8D22-6112B21AD4BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb03cea77db7e84fc76b83ecde81709538726ddc","datavalue":{"value":{"text":"Set Graphs. V. On representing graphs as membership digraphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262489$929B0062-DAC8-4828-B370-4367B56484AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45241863f10e3d527c8dea6cf34fdc477f4c4ddc","datavalue":{"value":"1331.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262489$5B654392-8C23-469D-A898-8D915B42526A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fccb48273352f9d3a76d946d757d4f77a228b9e4","datavalue":{"value":{"entity-type":"item","numeric-id":400529,"id":"Q400529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262489$2A06FE87-9903-4F8B-A550-734F38DA2835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262489$6C1C2013-224A-47E3-9AE6-C6424D42C520","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d4604287d09c54eee9e2f817efbc91cbdb51d79","datavalue":{"value":{"time":"+2015-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":"Q5262489$1BA47E51-F3CF-4205-AE60-24B420BFFDF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee52c8832faff9137d44524cae8e89119c8e772e","datavalue":{"value":"https://semanticscholar.org/paper/10fe369865815f43b691480aec0aff78efc31596","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262489$DB463121-A34A-433B-BE4F-84784B4D0064","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262489$2CD73E43-5113-4227-9346-3FFA92630F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262489$19FA2076-C377-40E5-B6FA-ECFE22D7A155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262489$F1D3DAB6-50EF-4C85-A236-B9C3E35BEBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fd5ba61c492f09082ae88370fa92e256be14e94","datavalue":{"value":"05C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262489$F24ACCA8-A0A4-4C6D-92C5-1A7466AA4BF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dde8e657fa54e38f51b8c4683e02b74d341d09f","datavalue":{"value":"6458865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262489$A0227784-E183-4044-AD3F-DAA721ABAA1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b347eac948221bca30bffa5a42647757ca26a81c","datavalue":{"value":"theory-based automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262489$39012291-76B1-4550-95E9-8437EF66E3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a614927b0caf638748bb51c0de92c1b49104311","datavalue":{"value":"proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262489$0EF966B8-4E4F-4E34-98DE-56DC2C45ED14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d286c1efeff07ecdfa132dd382a045560c8007ab","datavalue":{"value":"referee a.k.a. \u00c6tnanova","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262489$E489D14F-A253-43E0-BBD2-7D1B59849F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262489$180B0346-6CF8-4D0C-8223-F51D6B957348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa219ea2cff89df5162edb57bd2a31ea73e1a26","datavalue":{"value":"digraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262489$AA49F2EB-A0F1-401B-9685-3F6C461F1B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a6e1482aff14c307884223e9e1e14b14ca64ce4","datavalue":{"value":"Mostowski's decoration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262489$2C9E1115-5D1E-4148-8EBC-FC340E7EA9F0","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":"Q5262489$95EC1FC8-8E11-4778-B8CB-E4B0081BAA1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b2e7be48cbe26487b31d25d7051788d5987d1c8","datavalue":{"value":"W2096787290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262489$9AC91A3F-533C-4200-8388-B67299198C8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d9d76cfc17ae001fd5003a1175f2985c7f30db4","datavalue":{"value":"10.1093/LOGCOM/EXU060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262489$093E4E2E-E936-43DF-B2B4-9912E43DCC41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262489$254BABA1-CE7A-4120-93E8-8307C61704F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c298051fc8bf4c069c55fe46648500bb640d900","datavalue":{"value":{"entity-type":"item","numeric-id":2352482,"id":"Q2352482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a72695907529361d940a0fd83dafee9a00182ddd","datavalue":{"value":{"amount":"+0.8579944968223572","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":"Q5262489$639A9280-07E0-492F-91B4-AEDA05B3B0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81dc0f8b9e8dc0ca2433d4aa18f6dd8db0e7da24","datavalue":{"value":{"entity-type":"item","numeric-id":400530,"id":"Q400530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f40ab725f3bedfcfcb7ea0ed0b8901d3c1d00a8","datavalue":{"value":{"amount":"+0.7979472279548645","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":"Q5262489$FA83C6AC-7FAB-47DE-B361-04BA080F7DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e6727ca67ab1e79a8e4d2f184bd1d496df0939","datavalue":{"value":{"entity-type":"item","numeric-id":1941395,"id":"Q1941395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcabcb9eb90f33a42ec002f8f92f8c409c3dbf68","datavalue":{"value":{"amount":"+0.7769659757614136","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":"Q5262489$6F33AEDA-FB02-4EB5-BE07-82A8F93726B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b093c6e9c603965f3c346c78a763122880c097c","datavalue":{"value":{"entity-type":"item","numeric-id":5360855,"id":"Q5360855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0231558b34165cb264adcb500e69dbe194002dd5","datavalue":{"value":{"amount":"+0.7494988441467285","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":"Q5262489$6168D157-6583-419F-8166-63EAFA39D2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dacbe37839bd0890cfd12f2957b17067cefc9c1","datavalue":{"value":{"entity-type":"item","numeric-id":947722,"id":"Q947722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be73b55fdb87e3bc8d0bc315f7277c758708bf03","datavalue":{"value":{"amount":"+0.7047283053398132","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":"Q5262489$46262546-DFD6-4611-A5D4-D638252A8DF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set graphs. V. on representing graphs as membership digraphs","badges":[]}}}}}