{"entities":{"Q2128787":{"pageid":2139530,"ns":120,"title":"Item:Q2128787","lastrevid":57726666,"modified":"2026-04-01T03:09:11Z","type":"item","id":"Q2128787","labels":{"en":{"language":"en","value":"A modular first formalisation of combinatorial design theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7511922"}},"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":"Q2128787$9DA33481-6607-4093-AF48-74F647B3E1AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c40bfb55442eb401fd715c83629c9704f61ddaf9","datavalue":{"value":{"text":"A modular first formalisation of combinatorial design theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2128787$5F0F8EEC-60E8-4FD8-BDF4-C503DA1B3C82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e097b700091c456e17b92914f636aefc8221384","datavalue":{"value":"1485.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128787$6624A695-9B25-4A79-8483-D7A716E00708","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40d159e5b5ecd422aef1f3628c716fa8d4bd37b0","datavalue":{"value":"10.1007/978-3-030-81097-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128787$446B614F-2D09-49E6-8DB0-5C50E0AF548A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0771934c4887fa6cdca5c7d66d14a214ab90b74","datavalue":{"value":{"entity-type":"item","numeric-id":2128786,"id":"Q2128786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$0DDB58DE-81F7-435C-BD1D-A1854AD65165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$D4538AF4-40D4-469D-B3BC-AC108EEB0C1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a2d220bbda83e730799716cad61153265e68ffa","datavalue":{"value":{"time":"+2022-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2128787$A3C146C9-AE66-471A-8BA3-9F3962491416","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e37ff649c69bee734b2a82219e3a0e2da020251","datavalue":{"value":"https://arxiv.org/abs/2105.13583","type":"string"},"datatype":"url"},"type":"statement","id":"Q2128787$B0BCC66A-B048-486B-B5AA-4CD55969A7D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128787$17E3BFBF-D99C-4CA6-A29B-C90046B0CD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0b46eabb667830d76cf6f148e31a5855b86a7f7","datavalue":{"value":"05Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128787$4EB39AFE-E57B-4EE0-851E-4CB550195278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128787$724B62DE-0315-42FF-B9BB-1F1A61B56BDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71ccefa6dc0ad02b8473df57bfe520e0d8d9a725","datavalue":{"value":"7511922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128787$406FFCF3-0833-43C6-BC78-13DB3A86E54C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128787$29E9CB92-9135-4DB9-8430-960228BD9FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459ffded74521c7177e183238b11e0b004784b7c","datavalue":{"value":"combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128787$5B7FEEC4-E564-43C1-8A45-BDCA5751ED63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc0dc7c05f75a6364f0dcd54ee6aed1a8932214","datavalue":{"value":"formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128787$92B6A3B0-4A45-4076-B22F-A864D6268A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b18a74c599c9ab6e6047b499c4529cfa47686616","datavalue":{"value":"interactive proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128787$78A56F53-E911-4117-9A42-73F309A52182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfca136b1a297e22280ea9e68b5534cf5d436a65","datavalue":{"value":"combinatorial design theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128787$A5EA5515-B607-406A-8827-7AC646E34139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a481af8c65db7a9093c726cb204e51c4259e7084","datavalue":{"value":"block designs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128787$31DA65F0-D8AE-48AD-837F-FD51760B462D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f76e4c6e45d480748f23181265e5d12ca8d72d0","datavalue":{"value":"locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128787$6693B798-2AAB-4767-908C-ECDE862FBB73","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc0ef8503a8d7e821dd13879e1649510713f2d2c","datavalue":{"value":{"entity-type":"item","numeric-id":27002,"id":"Q27002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$981900A8-65FC-4F3F-A002-D14157CD9DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$EBF1BDCF-4C0E-4ACA-8BD2-48F62973FCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6c174d821fd79a7783515439fa32811e73b08e2","datavalue":{"value":{"entity-type":"item","numeric-id":5972985,"id":"Q5972985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$891C3AB2-D5A8-4396-A5EA-4D6A1272DDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c85d5f7324fc268c1ddd8fbed733d9d4a1b3c8de","datavalue":{"value":{"entity-type":"item","numeric-id":5975011,"id":"Q5975011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$8166516C-8061-4854-9478-D212B7CA3C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87cca02f8a00784fd1e7b5b6c01b040b2f0e2ae5","datavalue":{"value":{"entity-type":"item","numeric-id":40295,"id":"Q40295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$173A96D0-0B53-4A8D-8B72-6A1199A01CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$EA7CF920-96C3-4D7E-A11F-34C6F253FB78","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":"Q2128787$4DD3FE7A-FE89-45F2-8944-07C607B6CA00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1182822c8eb59f47da1580c69e47d00732a7da81","datavalue":{"value":"W3185338641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128787$7DC549C0-924B-43BC-8EC7-3FD73953FD3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a655377852f4fbc1e40cdceec18686655bda680","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$747E42E3-60B8-43B1-9009-9C3F99A50240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb32397b1095265031d4ab0bf41b38c7753dd5fc","datavalue":{"value":{"entity-type":"item","numeric-id":3062061,"id":"Q3062061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$3A6F5C81-FF3C-4936-8B38-800C59CA3972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81b20c39194198bd8522651b2e5f3384f964d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2209550,"id":"Q2209550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$BB23600B-0E88-4D4E-AE3C-C316625808B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164ad910badc6a97034146b7678ac10adb8cfacf","datavalue":{"value":{"entity-type":"item","numeric-id":4718791,"id":"Q4718791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$16C9F14D-E342-4029-B6B2-256B8199FB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23e7bc5a087cd8dcbc80276e5103647248fb256","datavalue":{"value":{"entity-type":"item","numeric-id":4000288,"id":"Q4000288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$CFF30C3B-5B69-4560-9C59-9004FB2333AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d429a56e99ce60763e0394f9c0f1c9a6d9cb90e3","datavalue":{"value":{"entity-type":"item","numeric-id":3411976,"id":"Q3411976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$2A146219-3FF5-4477-A2AB-47299892125E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$161833C3-4B08-47AC-BC0E-72BD5277D5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75dbd6831f5997bcd1e3a90202470be0212b0ff","datavalue":{"value":{"entity-type":"item","numeric-id":3638251,"id":"Q3638251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$46E36F79-2A99-45CE-8A8A-5A61CFEE8E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517fc8b23acecbf986165d1288d8b39f955c2983","datavalue":{"value":{"entity-type":"item","numeric-id":2018659,"id":"Q2018659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$B5043D46-6AB3-432F-98B9-42AB874E0BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8671e048b5103b534ce6227328248ca4d69deb32","datavalue":{"value":{"entity-type":"item","numeric-id":4559535,"id":"Q4559535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$329644DE-9D6F-4235-99EB-4E6515D8BCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e70ccbc3703a38d028bdefff631c8fdd8797d4","datavalue":{"value":{"entity-type":"item","numeric-id":2841966,"id":"Q2841966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$EF945691-2130-400F-A820-4300A02BF1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d7f6ccba49bfc02eb09c4ca0467fad5c80d22a","datavalue":{"value":{"entity-type":"item","numeric-id":4441040,"id":"Q4441040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128787$F51F6CC2-8D8A-4B63-81D8-89EED1DF2121","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1736af7159104d0625be8e8c96b9de3093bba417","datavalue":{"value":{"entity-type":"item","numeric-id":3429229,"id":"Q3429229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1c6ffb8314b10089d0d2b82ee85a8b7c0c98be","datavalue":{"value":{"amount":"+0.6900209188461304","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":"Q2128787$88889A35-DD10-46CB-902F-8542513C801D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6f8e4fb92c5e9f8415dedf91c1faa12b8ea2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3523168,"id":"Q3523168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2166dbce4bc823e77cf637011011bd18b9872b59","datavalue":{"value":{"amount":"+0.6776572465896606","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":"Q2128787$6EE1BDF2-7B53-4E0D-A7F2-04995151DE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95abb6469afc8d880f03764fc22c99f814d78278","datavalue":{"value":{"entity-type":"item","numeric-id":1798967,"id":"Q1798967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1466211814fc895635efc83f344f84845825407","datavalue":{"value":{"amount":"+0.6695764660835266","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":"Q2128787$3A2DB010-8D3A-40F7-85AE-FD6691709557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c013473e7b4cccdc138bb31021c66fd5349a7c5","datavalue":{"value":{"entity-type":"item","numeric-id":4944854,"id":"Q4944854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8ed3dc88ae32efa0047c4fcc51feff54afefcd","datavalue":{"value":{"amount":"+0.6625217199325562","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":"Q2128787$4BC25DB1-6C2B-4CC4-94B0-10F9E9861522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76443e31985dbe7766abb6807422e598c61832ac","datavalue":{"value":{"entity-type":"item","numeric-id":3728911,"id":"Q3728911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4ece5e83ab546715b13106c7a69fd3b427cb38","datavalue":{"value":{"amount":"+0.6603885889053345","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":"Q2128787$D4104283-3254-44B6-8A85-56C6BD41538A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2128787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2128787"}}}}}