{"entities":{"Q6648182":{"pageid":14259337,"ns":120,"title":"Item:Q6648182","lastrevid":40612406,"modified":"2025-03-12T12:57:06Z","type":"item","id":"Q6648182","labels":{"en":{"language":"en","value":"Remote verification system for Mizar integrated with emwiki"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7953773"}},"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":"Q6648182$5F1779E1-6280-4816-A634-68DE96C65898","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72ea9f1711081c51441c3209b6cdc84146f2b518","datavalue":{"value":{"text":"Remote verification system for Mizar integrated with emwiki","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6648182$036EB9D7-F74C-4600-BE3A-4C54DF14F6D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"466d32fb3706138bd6b66a006383808fff2bbfdb","datavalue":{"value":"10.1007/978-3-031-66997-2_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6648182$3BE37FCF-B5C0-4666-B2EC-9869B1488B9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92588cd219f36799a55235184e7a310bae590d4","datavalue":{"value":{"entity-type":"item","numeric-id":6648180,"id":"Q6648180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648182$C4A18446-97A5-47D1-87BE-CF963B5E8BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c647d6755f3cab9d14cfeb4a97087a6085cb91eb","datavalue":{"value":{"entity-type":"item","numeric-id":6648181,"id":"Q6648181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648182$A284DDB4-C624-4A2C-954B-816AD923B12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1a94eaf91016f94d27eb36b95b362d19d946686","datavalue":{"value":{"entity-type":"item","numeric-id":306632,"id":"Q306632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648182$B5DAE1F4-44D4-4B34-BE9B-C5DE7E748A77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccff15d9590e90858f5b15c952f30abae81c0114","datavalue":{"value":{"time":"+2024-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6648182$34B2333B-9769-4EF7-8BC9-015E6A54E5A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6648182$A825E021-8A79-4A8A-9F1B-78F443821FE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e11e858fa1ffd82d4bb1cf3b484caada22240825","datavalue":{"value":"7953773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6648182$5D87E2D3-388D-40EA-93AE-37AE84EB34EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q6648182$04A90546-AEAB-4763-A256-D5802207300C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e692022fff0f4faaa84e6e6c17d1753480d86a6c","datavalue":{"value":"remote development","type":"string"},"datatype":"string"},"type":"statement","id":"Q6648182$47AE01C1-43C3-41F0-8F1D-87F5791B626F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1997f580d32c7d5620842635484dae3fed15505","datavalue":{"value":"web platform integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6648182$4579EAE2-2596-4395-8037-5C6DB1EC8EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f720cd3cbfef2377d90e660df4291d61749e2dbc","datavalue":{"value":"VSCode for the web extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6648182$15363FCB-2B53-41ED-844F-B7F4B3A61D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea5b09b8f573593b0a7030031c205e309af487a5","datavalue":{"value":"Mizar mathematical library (MML)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6648182$BFFA3341-681E-43AC-AE43-EFFC2D436882","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":"Q6648182$D2D1C405-8BE6-4479-B89E-9F1A30B02826","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4028b0215dcfb37982ffb4f5fd7958ff82b3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5313077,"id":"Q5313077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648182$094AB5FA-303B-4291-BE55-E214C4120707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648182$C9F94188-8D1F-413F-856C-ABA5F1AF40A7","rank":"normal"},{"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":"Q6648182$118CFCCD-2157-4E8B-B3E1-EC6514C31BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37846f617fa2dc16cff33093b46ca8b647f9ec9d","datavalue":{"value":{"entity-type":"item","numeric-id":2843032,"id":"Q2843032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648182$22353C66-33DE-4A1E-96AC-C224A376C8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adb809972711bf19aff8067eb10776881c1c78c","datavalue":{"value":{"entity-type":"item","numeric-id":2879270,"id":"Q2879270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648182$ABE98533-A804-49A7-B31F-78738AF8AF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14549321cbae3c57ae9ce6a9266b4af3d64fd4f","datavalue":{"value":{"entity-type":"item","numeric-id":286800,"id":"Q286800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648182$4E6E1B2A-8BA4-4FA4-BE49-BC24964FFBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64f35395ecc15d7843edff06a1108da6d75a60e7","datavalue":{"value":{"entity-type":"item","numeric-id":6159377,"id":"Q6159377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648182$44BEA3FC-8953-47BC-B8DF-CE514C0FD687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579bdac171075790649277306a9c21fd3b179691","datavalue":{"value":{"entity-type":"item","numeric-id":5200113,"id":"Q5200113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648182$6203E4A1-E384-462F-850F-838D97E0CDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb58a95fd58a090c4b255bc81edb808d7e4b3bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2843012,"id":"Q2843012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648182$74E0062E-315E-4EFA-A7DF-18158BCAFEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a66a964565350a61df0e15a740129611a745645","datavalue":{"value":{"entity-type":"item","numeric-id":3453131,"id":"Q3453131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6648182$113CEDD9-9F5F-4999-8CDD-23FAF3BA46D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6648182","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6648182"}}}}}