{"entities":{"Q6666520":{"pageid":14277677,"ns":120,"title":"Item:Q6666520","lastrevid":40623356,"modified":"2025-03-12T21:33:58Z","type":"item","id":"Q6666520","labels":{"en":{"language":"en","value":"Two new ways to formally prove Dandelin-Gallucci's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7970457"}},"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":"Q6666520$7645437F-E85B-4641-AC14-CFC4AFCCA2F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5edd10f6813512683e88bec47cd1727d816af1bc","datavalue":{"value":{"text":"Two new ways to formally prove Dandelin-Gallucci's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6666520$9A40F79D-83C6-482A-8B88-D15BD92ABB7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2c9d203918530e2477e5ab71ff2759259cd5e69","datavalue":{"value":"10.1145/3452143.3465550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6666520$334D2D13-C124-403F-A9B7-FD7F7D687AC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"296b44c0c7487db7cf7567934fe97965dd3e319a","datavalue":{"value":{"entity-type":"item","numeric-id":620244,"id":"Q620244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$B21E9D26-208B-4D02-9D20-AEEFF239C37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d146ed87b25a3f218b4b3975707f6be569c62c","datavalue":{"value":{"entity-type":"item","numeric-id":448974,"id":"Q448974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$870E87E2-278A-45BA-8FB1-E086C1F19E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4f67aad00a911cdfd4a5f73b3962a1f5be1f7e5","datavalue":{"value":{"entity-type":"item","numeric-id":294371,"id":"Q294371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$A208CEC8-BE20-4F5E-A297-C5FBCB80A47F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2f555dad8e2a90cb8af80db4e917a36a03ca60","datavalue":{"value":{"time":"+2025-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6666520$0A36C687-ECB3-40DB-8FF1-7F7C4A2F8A69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6666520$1957F028-86CE-4527-BFB1-E371D41F8A33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67cd20840696bd52618c1776e979cd347f49d49e","datavalue":{"value":"7970457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6666520$A664D12C-0596-4986-8659-FB02C22807B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666520$17DE2F82-2AF6-49C9-8879-9CDA7E9AF611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666520$813043CC-DBF7-4CE3-9D2A-167E8745FBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e3d03f465fdbbf5fca992af78f9749c85db4cef","datavalue":{"value":"Dandelin-Gallucci","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666520$F610A2CD-754A-47AB-AC34-1DFE1F9BAB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666520$C4055F12-0951-4AB5-BCFC-C0C2A8CCD7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69974b8ee44ba9ffc58b48877209f3953502907","datavalue":{"value":"Maple","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666520$9DFE54E5-F1DE-46BF-9A67-4860DB8266BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"110f5fa2528efbad3366736500e737a8ce025215","datavalue":{"value":"matroid theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666520$D8787D7F-7CD2-4697-9BF3-9D8E199DF69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8052aa10093fc44cb201f52d66aba8baefb60e2","datavalue":{"value":"Pappus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666520$FFD0858D-35EC-4480-BED9-668D3F5DEB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"619cec4664a98d8c81850d161b273c3520446471","datavalue":{"value":"projective geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666520$8F447E7D-A549-431F-AAD3-34D081EE8719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36cc627021373e2376952164aca043daf5003cf8","datavalue":{"value":"Wu method","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666520$C3720297-98A5-47F7-9871-FE38E2532B2C","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":"Q6666520$C26F3367-7BEB-40EB-A1D9-A9F77522464B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f79f054e50d63fc05bfe5cb8de6592de4a8a42","datavalue":{"value":{"entity-type":"item","numeric-id":5145950,"id":"Q5145950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$905A4499-153A-4AEC-A32A-200C77AFC828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$C82E5160-A2ED-4BAC-9A51-C09441EE1E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e5464af3f53ea11d699a3d8093be293f6dfabd","datavalue":{"value":{"entity-type":"item","numeric-id":1640646,"id":"Q1640646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$E92B6072-7A77-4A89-B4BE-B4B2E0226713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c198412a5d41c796367065fc66d7e291705e06c","datavalue":{"value":{"entity-type":"item","numeric-id":4946081,"id":"Q4946081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$01BB9182-5630-4C61-A3FD-B25ED5F5800B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57230eecf7df3e89000b6d3b8cc89cfc10c6063","datavalue":{"value":{"entity-type":"item","numeric-id":2631964,"id":"Q2631964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$5088339A-BC86-4650-948A-1B39335FCFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f75210c4335d584c6ac528c82ea8f10238ad41","datavalue":{"value":{"entity-type":"item","numeric-id":413407,"id":"Q413407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$4A06B5AD-28D5-43FA-8B03-ED2EC5D7EDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f101215e23dfaca80413ed17ced3266bdedc80","datavalue":{"value":{"entity-type":"item","numeric-id":4352795,"id":"Q4352795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$FD190C44-924C-4DC6-B17C-34C991AD4CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4042a6a8925d33e7ac25ffe3a11c3e8654542cc4","datavalue":{"value":{"entity-type":"item","numeric-id":5668601,"id":"Q5668601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$CC5A9DB3-206F-453C-8364-0193DB704CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a892de2e56dd171345acde0bdcc7984183005d","datavalue":{"value":{"entity-type":"item","numeric-id":3100204,"id":"Q3100204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$BDD74C1E-54D6-45DD-BD3B-27A0FB8CCF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070837c39300e73e245a9d839af36f75042e9322","datavalue":{"value":{"entity-type":"item","numeric-id":4234276,"id":"Q4234276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$71F9B954-DD0D-41B2-815C-C8269B22DC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c22d51a98dbb48dfa25226420fe02cab3f1a7ce","datavalue":{"value":{"entity-type":"item","numeric-id":5110910,"id":"Q5110910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$E10F8577-DD3B-4850-BB2D-804E13F07276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc813c3420ba0b42fe4bea1f4208b1eb74e62860","datavalue":{"value":{"entity-type":"item","numeric-id":448975,"id":"Q448975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$20F0F841-D6D4-4B86-9B37-4C6CFD595B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc41f2b2a8aa0d1d1987dc920f043ef4c6d51ab","datavalue":{"value":{"entity-type":"item","numeric-id":3422215,"id":"Q3422215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$0851511B-8BB5-40AD-85C2-57DA2A14B3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d683fb2836ef8e0f33b304608f2624c55a5cf0b0","datavalue":{"value":{"entity-type":"item","numeric-id":5484515,"id":"Q5484515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$BB7BCED9-47E5-4C21-983E-4C6141FAD40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec95c668f63b37d6448be434bd85211d0899e1c6","datavalue":{"value":{"entity-type":"item","numeric-id":5120211,"id":"Q5120211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$A47EA13B-7C20-42EC-824A-01EC32DF0F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffed45bbd1375ac2b83a2ec801b2ce81ba4c4b85","datavalue":{"value":{"entity-type":"item","numeric-id":974253,"id":"Q974253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$D5FB8287-C2F1-4ADB-9B84-6CDC2F8AD739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7bc3c993c84398eb02dcbedd745269f49a100e","datavalue":{"value":{"entity-type":"item","numeric-id":5453491,"id":"Q5453491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$14262AC6-1F24-496C-9B5E-4EB165DC5FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09aa8c4e4de5a45b33a69f276d0ef9c742bbaf53","datavalue":{"value":{"entity-type":"item","numeric-id":3253061,"id":"Q3253061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666520$36F7C0DB-57FD-4CC2-9B99-8FCB836BE1C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6666520","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6666520"}}}}}