{"entities":{"Q4913863":{"pageid":6943442,"ns":120,"title":"Item:Q4913863","lastrevid":51694403,"modified":"2026-01-19T12:49:55Z","type":"item","id":"Q4913863","labels":{"en":{"language":"en","value":"Group embedding of the projective plane \\(PG(2, 3)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6154722"}},"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":"Q4913863$0014174A-A3E5-49F9-9747-C30186AD3E26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93035c708a6bbf258d92d619fb3fecc4014c4e2b","datavalue":{"value":{"text":"Group Embedding of the Projective Plane PG(2, 3)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913863$AEEC7A08-F4A3-4EE1-9209-4C869A4B73C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"923a9220455e0c7897d1ea983822d74326548ce1","datavalue":{"value":"1385.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913863$EF5468DD-1FE1-491C-AE97-3F2F5F416C5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72d3d1b5e20da2bfa92d0c2feb60aef987a04a6f","datavalue":{"value":"10.1007/978-3-642-36675-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913863$498FE47A-B46F-48C6-85C8-4B37DE329025","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"074b3352a0b197d272358aff727b214eebc382b0","datavalue":{"value":{"entity-type":"item","numeric-id":4615053,"id":"Q4615053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913863$BF241A87-1CEF-424F-B6C9-898E12CD4DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a969862dab9693ba2871085c6658749a1bf7a23","datavalue":{"value":{"entity-type":"item","numeric-id":818942,"id":"Q818942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913863$25A1A3B0-4AAA-46A3-B4E5-74ED4E676F2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8aa0b3ee498e77ce1255c8f711acc0df364677a8","datavalue":{"value":{"entity-type":"item","numeric-id":4913857,"id":"Q4913857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913863$C802B89C-AD64-47B8-9829-21D2515A742E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3eba33b2385974e8774017fb8f69a7f11b91e4d3","datavalue":{"value":{"time":"+2013-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913863$2EA573F3-5845-4CE1-9CD2-97D5E8C485E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913863$17C4DD97-A4BE-4E56-9559-78DE4E8414C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42858fd342eee10ad416dde9f5f8197cfe4381cc","datavalue":{"value":"51A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913863$7C3089C9-0CFB-45BE-850C-1819DB7922CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39c5712c230834bce7be14dd66775219958c0149","datavalue":{"value":"51A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913863$7434AAC0-33A1-49D0-A731-379DEFE01C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3fd9b3464d5377e9ea4754230e8e8757563cdcb","datavalue":{"value":"51E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913863$EE886122-2216-4D86-A512-AD9207283AB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"feb16485bc4afa4460d9effdd16cede4172102c6","datavalue":{"value":"6154722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913863$441DABB5-0E8C-4039-880D-9B354E82A957","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a3fb578cdb9982bc2a7736ece4783745b6251b4","datavalue":{"value":"projective planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913863$D0C8B217-C68C-4052-A17B-D66EC279552C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf4983745bc6d763e9ab4c5058e37262e9d4ac1","datavalue":{"value":"group embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913863$4C6D69CF-32CD-45CD-9481-7FD0644C48B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913863$27A9AA87-4C1B-47C7-AD11-8C85780DCB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f6328d132aee095aa01e00cb882c6529bd02b6","datavalue":{"value":"Prover9","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913863$446F0EE6-2D75-4090-9025-9A10D5AAE567","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913863$2572651A-2711-4436-A5FB-37CD148AC62B","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":"Q4913863$90A1E188-44B5-4367-8E7A-DD734593EBCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"006ae4e15bcbb428f7a3919b96852f2a91036904","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36675-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913863$067D24B4-DD2C-45DC-99CB-7ABD56DFE3AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c03aa65bff1279aee77383f95c32a7a90533c26","datavalue":{"value":"W2232963440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913863$F27F78F5-3B78-4A8C-BAC8-1460794D9295","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b9b3cd9adfd19bd9a1954d22a2e7122452801a","datavalue":{"value":{"entity-type":"item","numeric-id":5589781,"id":"Q5589781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913863$DCD9D5E2-C12E-46FA-A5DA-6883E453C064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b3a65b1f95456d25b910ef6fd784e69fc7c9ec","datavalue":{"value":{"entity-type":"item","numeric-id":4861427,"id":"Q4861427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913863$619498CA-47A9-4D32-AB48-23344194237E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b514fd2091daf917549992a326535a61be602020","datavalue":{"value":{"entity-type":"item","numeric-id":3630397,"id":"Q3630397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913863$DD980D22-0443-472E-8349-1D38F679584D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c889261324602a243f12016bb548fa29e315d0","datavalue":{"value":{"entity-type":"item","numeric-id":1919221,"id":"Q1919221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913863$5C957730-9597-4DB8-B7C2-67C2D7856C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f900d06e7d5d0edf965b01cb6719496d28baa8","datavalue":{"value":{"entity-type":"item","numeric-id":1179061,"id":"Q1179061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913863$26A7AE14-8619-428C-AAE3-906F36513CFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d0c956e21e0f5fce1fa97a9c1476ed23b60238","datavalue":{"value":{"entity-type":"item","numeric-id":3776141,"id":"Q3776141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025caeb64764d2ed0c1bc78c42b6ff4f13d0ea89","datavalue":{"value":{"amount":"+0.7887095212936401","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":"Q4913863$CAAA32A6-E8BF-4218-ADF1-5F7CF78CCC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272d7e7810e25c5de79720f12144c2f252f114b5","datavalue":{"value":{"entity-type":"item","numeric-id":4622617,"id":"Q4622617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc575e84e39ed52617c10811f84c1ba0b77c4ad","datavalue":{"value":{"amount":"+0.7764714360237122","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":"Q4913863$300E74B7-9D5D-4414-BE20-33C8EAAEA4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa89170d3fab9c17f6cea7081cc87c28ad2321a","datavalue":{"value":{"entity-type":"item","numeric-id":5189636,"id":"Q5189636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e000d6d6430f0ad241777348e979af2bf149670","datavalue":{"value":{"amount":"+0.772220253944397","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":"Q4913863$64622AD3-A445-4BFC-AED6-CBD0439AB569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88806bce64aff1a84b9047e3d5e34ebc86361a66","datavalue":{"value":{"entity-type":"item","numeric-id":1569868,"id":"Q1569868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24cfb7ab133baa7fb307a9c9114a34f680e385d2","datavalue":{"value":{"amount":"+0.7717039585113525","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":"Q4913863$59C9C7CE-2E93-4E0E-8289-B9F22CD281FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e330034284576deab8e32de1188c6aaef1af97fb","datavalue":{"value":{"entity-type":"item","numeric-id":3776140,"id":"Q3776140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7e632e6ab0ed62ab5c649866099273040ba0e3","datavalue":{"value":{"amount":"+0.7563617825508118","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":"Q4913863$6F9211FE-1DBA-438C-B5A4-8983909BF7C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913863"}}}}}