{"entities":{"Q2907348":{"pageid":2918073,"ns":120,"title":"Item:Q2907348","lastrevid":51548753,"modified":"2026-01-18T17:57:03Z","type":"item","id":"Q2907348","labels":{"en":{"language":"en","value":"Tentative experiments with ellipsis in Mizar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079519"}},"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":"Q2907348$21391EA4-E22A-4AD8-929A-EB4D56D0557D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"968cf6a4c1af1d8620c159d7d083c9c7c88f8227","datavalue":{"value":{"text":"Tentative Experiments with Ellipsis in Mizar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907348$834AD4C3-4DF1-4B4C-8D8E-D661D646E655","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12123cba191184fafd0fc8b203c2ffc142c17e05","datavalue":{"value":"1360.68755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907348$1F3C3534-B972-42B8-A36C-9DA446C7E0D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88e18a766b030b817dee4c14854d028d9694afb2","datavalue":{"value":"10.1007/978-3-642-31374-5_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907348$4AB99627-FB34-4C8D-B106-D74A8FF172B1","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":"Q2907348$59E111BF-65FF-44E9-AEA4-80A20E384B93","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":"Q2907348$A825C7F7-FEBC-4DFF-A34C-B28A23A6BAAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0d54a7a192189275358732a85216bf3ce89224c","datavalue":{"value":{"time":"+2012-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2907348$8546FB5A-3B3D-4645-AEB1-08221893EE23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907348$A99D671C-1BD0-45BD-AFA2-64D5A55F38C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907348$A0BFBB7A-C19F-4285-A44C-496BA0019883","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97b01ac110a9823463690b2d3c17d14311d52cb1","datavalue":{"value":"6079519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907348$37B83409-4CCA-48CF-9C65-E76A4112C006","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":"Q2907348$D407769E-1B76-46B1-8EEE-53E95158B79D","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":"Q2907348$0E53CB73-D9FC-438D-92CC-2384DF2F2AAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c3d1a5220848a661ccc9eeffc2785db3073922b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31374-5_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907348$3C69F577-2579-4FE9-9757-7C0829ED09A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f03e3518917675f8cec93d2808ff9a2d8638b7b","datavalue":{"value":"W200592030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907348$2E0ACA16-EDBA-48AB-9E88-8A0702DC206F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33d70793619c4dcb703cce8988a19ec44626738","datavalue":{"value":{"entity-type":"item","numeric-id":4938413,"id":"Q4938413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a22bc6bcb35276b0985b05bb740e1006b442926","datavalue":{"value":{"amount":"+0.7729591727256775","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":"Q2907348$F4E2F91B-489B-420E-94BA-AD2872AA9177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23bcbd725ba58a64ef035a81fc5c540c4e22d292","datavalue":{"value":{"entity-type":"item","numeric-id":1749141,"id":"Q1749141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb2df085ac248c104333962a137f3fe0a8e61a2","datavalue":{"value":{"amount":"+0.7383264303207397","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":"Q2907348$6114ED7A-A2B4-4529-ADC4-0AD6073081E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29535e7ca4d6c47595ffa26b0781a54f23d93f98","datavalue":{"value":{"entity-type":"item","numeric-id":2847392,"id":"Q2847392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972bf6a82b32d210331fad6edef8aecf3e7b31dc","datavalue":{"value":{"amount":"+0.6779927611351013","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":"Q2907348$F4BBA1E0-EAF0-47D1-AE04-9B4D1DA99121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6549d517e11201e7e7f703b6dfb328b0122033b","datavalue":{"value":{"entity-type":"item","numeric-id":3183518,"id":"Q3183518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bad310cb549ff8e233999ca3c457b0c6641f74","datavalue":{"value":{"amount":"+0.677817165851593","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":"Q2907348$C0D5C0BC-E2A7-41CE-AADA-AD133B31CC87","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":"2a39a71fef6cc1a9c95ded2579fffa93827b0075","datavalue":{"value":{"amount":"+0.6632376909255981","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":"Q2907348$78542551-49EA-43A0-B742-69F92184906A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2907348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2907348"}}}}}