{"entities":{"Q2113834":{"pageid":2124577,"ns":120,"title":"Item:Q2113834","lastrevid":57568824,"modified":"2026-03-31T10:46:05Z","type":"item","id":"Q2113834","labels":{"en":{"language":"en","value":"Unification of graphs and relations in Mizar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7488868"}},"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":"Q2113834$CA130582-02F1-4053-B0B5-038D479DE0B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e1afb1e4e5acc22df0e7a198cf26c3e05835f13","datavalue":{"value":{"text":"Unification of graphs and relations in Mizar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2113834$CB7A1580-7B7B-46F1-8062-0D0FA184B5F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cd6dd19553b7c4b9bd86bccee10dc5ef49aaf68","datavalue":{"value":{"entity-type":"item","numeric-id":336561,"id":"Q336561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113834$B7D74E6C-F5B6-4DCB-8FA0-1E4EA56CA880","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113834$3807E358-1480-4C5B-B8B7-355A5B350458","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b9356dd598909cd854098580edef30353b10f02","datavalue":{"value":{"time":"+2022-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2113834$67EA0DF1-455B-4579-9DB9-42F8863362E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113834$30F4B5B0-5A6E-4F14-9631-D4C5B275B180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"82e8efd6e51c28a954a2ab0c3ccebf86d2ac5eb3","datavalue":{"value":"05C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113834$C77F49D8-612D-409B-AFBA-561837B08F18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98f7d8ef10f09fd0f8c38cd3dbc745ad698fcc6c","datavalue":{"value":"7488868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113834$C3E10F60-574C-41D8-A2D2-1B799394B36E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2113834$2593A996-61F9-4DF5-955F-D8F764A913A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92866b1654af1a662b0f26d63d8a7f6a99d8a2f4","datavalue":{"value":"binary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2113834$16175A60-7E2C-4F32-9C8F-8BB5E2894042","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113834$1363AD5E-0E9E-4A25-87B9-9F352DDB67DB","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":"Q2113834$F6C94236-5596-4A7B-B16D-F0F5B3C52C96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"043a0af4406aa3318489301f37cad50f79b34a32","datavalue":{"value":"https://doi.org/10.2478/forma-2020-0015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2113834$A1282282-0D5D-4207-813A-CF281E6ED4CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0abdb352164693b59000b89b72f30269e792c874","datavalue":{"value":"W3140710164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113834$65767A15-2193-491C-93AD-AB30F28E3311","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113834$93B3657A-94E1-4764-9165-A324C50BAE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d861948f1f6146a05d3ce13e4c51b6e0c074be1f","datavalue":{"value":{"entity-type":"item","numeric-id":286794,"id":"Q286794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113834$4AE357B3-9F82-4D45-A4C9-6C9D0EB1913F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a633e84f28e974524d6f21199618016457237af","datavalue":{"value":{"entity-type":"item","numeric-id":4828516,"id":"Q4828516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113834$355AC4B2-54F1-40E4-85DF-31A81C01AD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e7daa5523fb338ebb131507a340268a5603d3d5","datavalue":{"value":{"entity-type":"item","numeric-id":5894285,"id":"Q5894285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113834$E073E44E-1BB8-4BFD-8F84-4DF4959DF3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eb75869d5528bd33a89e199c537cc61eef7552b","datavalue":{"value":{"entity-type":"item","numeric-id":2305340,"id":"Q2305340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113834$D231A5AD-418B-49E7-A5B1-AECBFF236A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9e39ecb4643b2e6f8117d1a8e1f14899a92c6d","datavalue":{"value":{"entity-type":"item","numeric-id":2852162,"id":"Q2852162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113834$54965007-96DD-45EB-8ABE-D02F1FC33253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113834$7BAC10B7-E126-453B-AEDE-BBB321B49A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f97f2458673dfe8598aa18e5bbf25d1b000c1d4","datavalue":{"value":{"entity-type":"item","numeric-id":5661516,"id":"Q5661516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113834$175E747C-BF75-4A2E-8B2B-B44F016C950D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"482011afda7cf48f595e8d5b4f3a11fe429c5b3f","datavalue":{"value":"10.2478/FORMA-2020-0015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2113834$78931749-4BA1-49A8-B871-2DE59373AC98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2325710c6380ea4ec214265bd6c909cb0e7910f","datavalue":{"value":{"entity-type":"item","numeric-id":2658808,"id":"Q2658808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a2268b2bbc73e20fe1bb176391d430a7d029cc","datavalue":{"value":{"amount":"+0.7793830037117004","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":"Q2113834$385B52BA-BCA1-4AB0-916D-0E7D300EFDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcc0dcc0fa7e7598702ce0881bd3416c21574d9","datavalue":{"value":{"entity-type":"item","numeric-id":2113833,"id":"Q2113833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8b51c8a4322bba47ed19b3dd3d05e29de2c3ce","datavalue":{"value":{"amount":"+0.7506148219108582","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":"Q2113834$59A6CE03-4BBB-44FB-83BC-155D4A717130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d433d4ff5ea738ed2a6fe4a9d6fad14a918e0b","datavalue":{"value":{"entity-type":"item","numeric-id":2311519,"id":"Q2311519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf288e60539b00f7876d8fd4eabdd7ae60e0de4","datavalue":{"value":{"amount":"+0.7266080975532532","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":"Q2113834$C36FE304-114E-4AED-A727-B5ECE5206EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9179e0e316ac33e804b429f057483f13fba1651b","datavalue":{"value":{"entity-type":"item","numeric-id":2305340,"id":"Q2305340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b8cc294da2925c438efdc215f92bd17dabad85","datavalue":{"value":{"amount":"+0.717459499835968","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":"Q2113834$85B89153-8444-4E9E-B5D4-1546CF81AFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6303e36a85f45bacb49aeac40fc95ab196c8f78","datavalue":{"value":{"entity-type":"item","numeric-id":2171528,"id":"Q2171528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"583248ba9236a711e0a6ad8bb1c3b76c412a8566","datavalue":{"value":{"amount":"+0.7158128023147583","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":"Q2113834$5343DD8D-4A73-4C68-A942-3C1D99ECFDC8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"e68c451775d8e2699e023b1b9b74a9d21a410b77","datavalue":{"value":{"entity-type":"item","numeric-id":57038,"id":"Q57038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2113834$9A4CDADB-C803-4482-A20A-C0FE59E7748A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2113834","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2113834"}}}}}