{"entities":{"Q2817301":{"pageid":2828039,"ns":120,"title":"Item:Q2817301","lastrevid":52608485,"modified":"2026-01-23T02:30:08Z","type":"item","id":"Q2817301","labels":{"en":{"language":"en","value":"Enhancement of \\textsc{Mizar} texts with transitivity property of predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6620494"}},"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":"Q2817301$5EF4A96B-74E9-4223-A889-76AD6F6283B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"550ac828bc155b93bb359701246bdcc67a8644ff","datavalue":{"value":{"text":"Enhancement of Mizar Texts with Transitivity Property of Predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817301$B11ED5E2-C540-4F8C-933B-78737E451CD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5596a743e8a5d649c9cc7426f53818aa7345e7db","datavalue":{"value":"1344.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817301$E37A9731-C78B-48F1-B525-5EBBC1C938E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f479460270ed1867b21e59d8b78df18342004550","datavalue":{"value":"10.1007/978-3-319-42547-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817301$1B49AA89-3067-42B0-A25E-E5FD4CAC82A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"640c4be06d582c72de984ba8f70a853b3b8bd56b","datavalue":{"value":{"entity-type":"item","numeric-id":271902,"id":"Q271902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817301$0DD8C58B-6250-4C18-8FD1-0F9076E9CE94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817301$F963F51C-0A71-48C5-8349-8E428806596E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85d9f70abb070df81833000bc59244d6fec26f1f","datavalue":{"value":{"time":"+2016-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817301$5770DB2E-3DE2-48A0-9887-904AC3ADEA68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817301$0EC6204C-C305-4AE4-9D6C-31558D2AB2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817301$4A76A80E-0C07-40E7-8C32-39A26A2ADCB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4342719c0f80e4ab7002cbb989da68345ed9daec","datavalue":{"value":"6620494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817301$078C50FE-2525-45F1-8D39-C76BC193FC7D","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":"Q2817301$74FBECDF-083A-47E5-B283-0A24D8EDBEF8","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":"Q2817301$E7EF3BFD-C587-4065-8406-927744EECD9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1056d83719c3ca4c54fc1c2ffa489bc40769de9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-42547-4_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817301$018D7AB8-5460-4FC2-A3E0-1CB66787F8ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b24bb06205b2eca3fe2fdf2a38cadef13830e1f1","datavalue":{"value":"W2482065577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817301$0945696D-CD9F-4EDF-B72B-B37DCCAF8092","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5552c73af9ffa4d08773105bfa675feb6642eb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817301$960AE0A2-C0EB-4F68-89CD-103190C552F0","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":"Q2817301$7C33B909-C6A2-4D11-9D86-DF1E137757D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d8267b8b601e92bc0ef555ffe6911eece93f5","datavalue":{"value":{"entity-type":"item","numeric-id":1945908,"id":"Q1945908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817301$B4ADACAC-82DC-47C0-9CE0-3A8AE056B828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e48ace6103effd3d34906d70acc5e7b83a9e1d1","datavalue":{"value":{"entity-type":"item","numeric-id":1749141,"id":"Q1749141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817301$3CCA7A53-7167-498C-A3DF-B8D46786433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec41d91b97fe450aba006d86ee1b6e337fcab2ff","datavalue":{"value":{"entity-type":"item","numeric-id":5313068,"id":"Q5313068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817301$1A421D4A-52A9-41EE-82E3-9C57ED6B53A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84bf0c617669af0d4f18d2ca2634823c1002e5f5","datavalue":{"value":{"entity-type":"item","numeric-id":286801,"id":"Q286801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817301$2A1FB617-5DEE-4EB1-BB4A-B8AB02260C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887efd17320625725aeddf6391561534d8fcc309","datavalue":{"value":{"entity-type":"item","numeric-id":5428273,"id":"Q5428273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817301$57D750CA-2D9A-4641-A983-C30493D4AFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604f23db2dd4d34a2f60254ad57a8915830982b5","datavalue":{"value":{"entity-type":"item","numeric-id":5200114,"id":"Q5200114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817301$B8BAB631-36F2-4CC5-AA92-5AF6162A7593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631fb0653addd3bb7a28e2d83e1cdbb5e8b075b5","datavalue":{"value":{"entity-type":"item","numeric-id":286805,"id":"Q286805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817301$5E307A23-F7E0-4BB5-973D-DF130CBC0678","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37866bea58af53b7ad90e8a2b82a5caf39dd6110","datavalue":{"value":{"entity-type":"item","numeric-id":5313068,"id":"Q5313068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c2e6600b1535ef05a21d3d3271b3f1a016d10d","datavalue":{"value":{"amount":"+0.7861796617507935","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":"Q2817301$5D677EDC-A481-4494-81D1-D5E2A04D45A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056bd3306219ab81399e7d152a9e6f1d7dd0aa1b","datavalue":{"value":{"entity-type":"item","numeric-id":1945910,"id":"Q1945910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a0d23bd5103d270c5678242c965caf3f63df36","datavalue":{"value":{"amount":"+0.7559297680854797","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":"Q2817301$311567C3-A8BB-46F5-BACB-6F3357CCE8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86930e50c98cf354bb283e1562c8ba3467e93c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4413895,"id":"Q4413895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3e35d170f4a659f9811f34f61c63000179e7fc","datavalue":{"value":{"amount":"+0.7500320672988892","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":"Q2817301$ADEC597B-82A3-4B37-8E23-98015C1E49A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed25aa4185f2e815bad791afac995de061e6cde","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608d0fb9a6fd79212dc2b919b8b352ed7a23238b","datavalue":{"value":{"amount":"+0.7488325834274292","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":"Q2817301$A0984555-CE77-4A79-8BDC-20C6FE844DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1dfeb4f58629a3de8f2170811c634bc1408f23d","datavalue":{"value":{"entity-type":"item","numeric-id":1945905,"id":"Q1945905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb641d37c0699328d7e60262fdc309379346f560","datavalue":{"value":{"amount":"+0.7371489405632019","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":"Q2817301$B92F9262-3974-4CDC-B68D-0D70076F78F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2817301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2817301"}}}}}