{"entities":{"Q1595928":{"pageid":1606668,"ns":120,"title":"Item:Q1595928","lastrevid":81542096,"modified":"2026-05-06T18:45:42Z","type":"item","id":"Q1595928","labels":{"en":{"language":"en","value":"Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1565455"}},"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":"Q1595928$E8524F19-1ECE-4180-936F-CED4FD840312","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5210226ba02e8675cf105e3b23c07c4e048bcae","datavalue":{"value":{"text":"Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1595928$FCD981FA-C3EE-4D5F-9DC6-C12EA0E04E5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17710a1643aa2af162520968722663697617e8bb","datavalue":{"value":"0963.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595928$E8A33BE1-4063-4955-B2CB-1BE0054577B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21a913cbbd447bcc0efc5119c0fb1e1953a725ba","datavalue":{"value":"10.1023/A:1026477216294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595928$B0EA4141-24B1-47B7-9C65-4FDD49890897","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f64535a19350f31eb440e313f20d1d27a53a7b32","datavalue":{"value":{"entity-type":"item","numeric-id":1595927,"id":"Q1595927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595928$634DD05D-28C4-44FA-89FD-9A170B968457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c4ebfee17fc0017d33aeaa1a8c825f66c63f169","datavalue":{"value":{"entity-type":"item","numeric-id":1067607,"id":"Q1067607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595928$A2C29C35-1D4F-46EE-BC1C-6AC01A627266","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595928$A06A0B62-7DDF-48F7-AA04-C3E74BEE185B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8d78bbdd3da8fc3032632626b45818e0358b86b","datavalue":{"value":{"time":"+2001-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1595928$DD3F8F91-A556-4A60-8141-3395FC5ED457","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595928$B276E36D-52F8-4948-A7A0-DBF50A6ED159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595928$0B74CD1A-A7F1-4E51-B2EB-FC636D2AB4E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b026085807295fed13661191e5a0877b54efbbf","datavalue":{"value":"1565455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595928$9F7CE976-355B-41F4-8D92-52E70448417D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de205582e35125acce5affc82c499313a7bb54bf","datavalue":{"value":"noncommutative geometric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595928$0964971D-A60C-40AE-B497-6F33CBD586CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34c9e66a3bd5d617ef373739bf45a2cc76cece9b","datavalue":{"value":"geometric constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595928$05FB5C78-8000-4FE0-B49D-AA178B37204A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2300d21cb0353f3dff4ed97fc9a32e9e241b37","datavalue":{"value":"computer applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595928$EF0A0CCD-D396-4858-BE53-F2ED500BA19A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ccbbe6930c8e1cc299a9de96016fd336eaa915c","datavalue":{"value":{"entity-type":"item","numeric-id":18874,"id":"Q18874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595928$69835875-2F8D-419D-97DA-3C676522D72E","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":"Q1595928$199B16D0-9C05-4D85-A56B-67ED91DCBD4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9226cd19efdd9530ae2081cb3aba8f7164715abd","datavalue":{"value":"https://doi.org/10.1023/a:1026477216294","type":"string"},"datatype":"url"},"type":"statement","id":"Q1595928$D09E71C8-5760-410B-9B18-183A31C50AFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e2cc148e05fe0ae367094289131bb79d8b0ca1a","datavalue":{"value":"W1518042125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595928$E60D6504-0A13-4B27-9C36-D2CFDBE63302","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7586235be3f1989789971f8119d408a75879d7e","datavalue":{"value":{"entity-type":"item","numeric-id":5453483,"id":"Q5453483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf2954e1a110ac0375db15704dea8f4e33105bc","datavalue":{"value":{"amount":"+0.8817507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595928$7A13C218-B5DC-47A3-AA87-C628E251EA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce389c97bc71a3a7946c5fc2b2f8b0e758176209","datavalue":{"value":{"entity-type":"item","numeric-id":3452277,"id":"Q3452277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2ccb8efad3618eda6c492dca94e5d7307e71e3","datavalue":{"value":{"amount":"+0.87372583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595928$47C6B76B-7F8A-49EA-A479-52CE3393DD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79065112560b80d954638832271ff884950c8489","datavalue":{"value":{"entity-type":"item","numeric-id":294375,"id":"Q294375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af6b73a281cb46a275d3bd7a290d2c3a7bebfeb","datavalue":{"value":{"amount":"+0.86906284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595928$4532E634-C48A-4538-9586-91616BCBCC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c636bafd51a2a454ec0cb61f2525f2368e8f28","datavalue":{"value":{"entity-type":"item","numeric-id":5928880,"id":"Q5928880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71dfa5eac01d678badd3ab1ff4a64683e2d0d862","datavalue":{"value":{"amount":"+0.86695284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595928$A36B6609-5C62-4491-B751-645327DCC55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec74197e4ff696562893a07b32ee3b06ac127dcc","datavalue":{"value":{"entity-type":"item","numeric-id":4556039,"id":"Q4556039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50707fe8c6093869f074f4f470f83e829d3ffe3","datavalue":{"value":{"amount":"+0.8640095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595928$B865570F-26EB-4B0F-A20E-6DF3FC264735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"440d6962bfdf38ddb0e8fda9262f085c24304ffb","datavalue":{"value":{"entity-type":"item","numeric-id":628075,"id":"Q628075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a601986ea11072748b554bef96cf87fdfa0bf7","datavalue":{"value":{"amount":"+0.8617142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595928$634DB8A4-D639-4783-90CA-EBB8435C8DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f888ea85643b48e33524556c0e788661332693b","datavalue":{"value":{"entity-type":"item","numeric-id":968304,"id":"Q968304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5188c65be402b4031d61167681d6f0fd19dec874","datavalue":{"value":{"amount":"+0.8589842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595928$8D0E3BFF-A85C-402A-B2D2-8293C5CC3E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc4166e0c5dcc89d975614f3a05adebc50d3686","datavalue":{"value":{"entity-type":"item","numeric-id":3003231,"id":"Q3003231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bcbc5be350998846eb9c88826b9a4012c3307a4","datavalue":{"value":{"amount":"+0.85866773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1595928$6B83A18A-6036-459F-BC29-48E72A956799","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer-aided_construction_of_finite_geometric_spaces:_Automated_verification_of_geometric_constraints"}}}}}