{"entities":{"Q2364688":{"pageid":2375431,"ns":120,"title":"Item:Q2364688","lastrevid":57879768,"modified":"2026-04-02T22:25:10Z","type":"item","id":"Q2364688","labels":{"en":{"language":"en","value":"Formalizing mathematical knowledge as a biform theory graph: a case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751326"}},"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":"Q2364688$E4E8A058-A9B1-4C36-9019-D5723DD1E01F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e21045f7dc8f415450b156c3d55c0fcd72f511ba","datavalue":{"value":{"text":"Formalizing mathematical knowledge as a biform theory graph: a case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364688$2FD910CD-92BD-40D1-B68E-B942A2C65038","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"456897fd33755df81a430b12a680b5c35e59067f","datavalue":{"value":"1367.68299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364688$C9C64409-92F9-4B8B-AE63-D23F2411B990","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"918051562ee768f19341995fd60fe0609ef76fa9","datavalue":{"value":"10.1007/978-3-319-62075-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364688$7B98C2E3-9E01-4AD0-902D-14B1A5356553","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a39cd6203830ba7256d1741173f3d6696f619a","datavalue":{"value":{"entity-type":"item","numeric-id":532397,"id":"Q532397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$14038FEC-82D4-4C50-92AE-9B6F06037A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"596956d13d65318c3063740527340bc624646ab6","datavalue":{"value":{"entity-type":"item","numeric-id":174773,"id":"Q174773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$11A84505-F377-4855-AC82-714FD5373236","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2364688$CF4CA5B8-9BB6-4C8E-BEED-D135A19F9C84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d1e1c864b1cf19313fcbeb6c3cec004f2e539c9","datavalue":{"value":"https://arxiv.org/abs/1704.02253","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364688$82C5E257-BCD8-4821-B931-3DEACB49884D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364688$DB05E723-1FCE-4982-B716-5649FFA8A64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364688$A2BFA84B-DED5-43D4-BD4B-BB8986794C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364688$69CFAE81-A6B7-451F-AF6F-F611EA63DE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364688$2FAEE706-0754-4A12-B840-A3C082449430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364688$65431F92-41ED-4A6C-84B1-8461E1D6321D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"008da7dc1034ffe4ba89720aa07c9771c920584e","datavalue":{"value":"6751326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364688$6C39D2AA-F2E5-45C1-A606-595B5E8806D5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"df2e75598f4f887985d3fba151a324391b23ee06","datavalue":{"value":"Q60712705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364688$779C13CC-6E0B-4305-8F13-B6D196971134","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$E11CDC2C-DFC6-40A7-9F7B-1CD3EC256BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$34D4E7D8-EA51-437C-B951-91D0E49EB239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$451CDDEB-C8F6-4FE1-B5AF-20E8C713A607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$B2805457-A8F6-4540-BDCE-A71DB29A8698","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":"Q2364688$D46A1BEF-1F08-41FE-B699-83F6830E11F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe41eb62262b5a744019e99a1d54420147dd1005","datavalue":{"value":"W2605703278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364688$2EF5A8EE-84C3-45DA-9149-B22AC5761602","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$6C91E2CC-4608-4324-A21D-76197D7F3F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342a5b0b31f0f05ad26f2f5b664833f7a02c9ca5","datavalue":{"value":{"entity-type":"item","numeric-id":4229040,"id":"Q4229040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$D56F7292-7475-4AC6-A470-611581909E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4cce7d0087454ae1eb1fe3b000d53c0fcf66ac","datavalue":{"value":{"entity-type":"item","numeric-id":2364688,"id":"Q2364688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$49559AF7-707A-4A6A-B809-04A31AA9A2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf557dafdb518595f43722868c8e2d60f07e6327","datavalue":{"value":{"entity-type":"item","numeric-id":5505502,"id":"Q5505502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$2B733725-CCB8-4755-B663-0408A11F0A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f684fea45a3dea22089228e1945fefdfde256b67","datavalue":{"value":{"entity-type":"item","numeric-id":5428260,"id":"Q5428260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$5D3820C9-84E0-4FB9-9B46-EF09665EA167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08fad6c9d6b8523ce8acfc23ea990867496f6913","datavalue":{"value":{"entity-type":"item","numeric-id":2843004,"id":"Q2843004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$1D7E0B3F-BF91-411E-9A79-4613C69FFD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce68bdae299a701e7e0bb495b7f5eb6093fbfde0","datavalue":{"value":{"entity-type":"item","numeric-id":2817296,"id":"Q2817296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$57BFE35F-A803-4B2E-9B75-73021D85AD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8fa256c829f1b8ce8d3f2ef65e8720ea87e2da5","datavalue":{"value":{"entity-type":"item","numeric-id":2364672,"id":"Q2364672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$DF3B6927-46EA-4CBE-B77D-B4C04E2B28F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa946e46dd7fe5ebbecad5b92f77605dd2ee5cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1319391,"id":"Q1319391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$5EE5B36B-C2B1-4F86-A895-C1D3C06BDF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458562ae2613db0abbaf26dc41331f544ed51ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4023355,"id":"Q4023355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$C39CE539-94D5-4F41-B8C4-E978063E584B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037eb9f0a415bca20db2261839a4db9fee8b6950","datavalue":{"value":{"entity-type":"item","numeric-id":482501,"id":"Q482501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$15295EFF-E20A-41FB-92CE-20734B119198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$999A0055-002F-4259-8166-9F8665DCC63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e46d03ed8baa9ae878960109d39dea9a2288f13","datavalue":{"value":{"entity-type":"item","numeric-id":391632,"id":"Q391632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$80C7E74C-48B6-4C2B-8A15-F48129D85745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162d693aa76a5750175e9d46ffeb02a8a5b21d2b","datavalue":{"value":{"entity-type":"item","numeric-id":1188945,"id":"Q1188945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$EF4DE970-1A06-45C2-8473-41ADF62324EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364688$31B9D011-27B1-42F1-B88F-592327EE8FE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8443b091021095c8c3090b4181806156a424b37","datavalue":{"value":{"entity-type":"item","numeric-id":2843007,"id":"Q2843007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76d26fe433429f68612e059c9820dbadb00aaee","datavalue":{"value":{"amount":"+0.7753388285636902","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":"Q2364688$22345711-9108-42C0-B348-3361027A1EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ee095331948f79c79fccf2e8061b3032bf0b41","datavalue":{"value":{"entity-type":"item","numeric-id":5428260,"id":"Q5428260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd279adcb5e372c98704c4734e4143ce3be84acb","datavalue":{"value":{"amount":"+0.7537713050842285","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":"Q2364688$F268A1FC-ED82-4AC9-ADBC-2050A0A2D640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd04803cb512b80a1ddbad0922f63d1a9e2d5318","datavalue":{"value":{"entity-type":"item","numeric-id":1798949,"id":"Q1798949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57004f27f83342173e50e0d6c044b762b775ddf4","datavalue":{"value":{"amount":"+0.7414161562919617","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":"Q2364688$1AAED358-BC57-4C0E-AF36-4E587C442050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b400ecd78c70fa07e209050ec2066bc1afb909","datavalue":{"value":{"entity-type":"item","numeric-id":2767940,"id":"Q2767940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ef3836393b107674c20d7abe3ba06cbfb5dd6d","datavalue":{"value":{"amount":"+0.718471884727478","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":"Q2364688$D395426C-B04E-4A46-810E-BB77FE645C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d631a7d7921acf5714f62eb12988ad292fc189d","datavalue":{"value":{"entity-type":"item","numeric-id":1810918,"id":"Q1810918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6344dc2f27638724a87df0f3138f433a12bb53","datavalue":{"value":{"amount":"+0.7022074460983276","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":"Q2364688$F717BC40-FCD5-4C76-BBEF-1C1030CE48E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2364688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2364688"}}}}}