{"entities":{"Q3094175":{"pageid":3104890,"ns":120,"title":"Item:Q3094175","lastrevid":51351776,"modified":"2026-01-17T21:26:35Z","type":"item","id":"Q3094175","labels":{"en":{"language":"en","value":"Formalising overlap algebras in Matita"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5961497"}},"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":"Q3094175$080A3CDE-8C88-44F5-A69B-B5C4F2E6A048","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e88fda46c608d78967d6ce9a0c0d0d7ef96cb8a","datavalue":{"value":{"text":"Formalising Overlap Algebras in Matita","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3094175$19714204-E132-4FD0-BE2D-0D563AFAABCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"610d17f8c2287859fdc3c24b247317a23bcd8f43","datavalue":{"value":"1223.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094175$73D5625F-73D3-439B-A523-63682D9CF9B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca37b503f1f380f000dfe2eb7c38b6d8252a2261","datavalue":{"value":"10.1017/S0960129511000107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094175$85A23C68-E2BF-467B-90D0-58B0D49CEB78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$28DB5925-8DE6-42AE-B3B9-1475F5CA5540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99729ea5fbac2e397c47743039765083a0ae1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":205581,"id":"Q205581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$691DB48E-7B3D-4342-94A9-4CE124DE0E8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$157FA8A0-7872-47B8-B463-51D0E07849DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5412e51208588a3303ff1411a4274ccfb0b7d7d6","datavalue":{"value":{"time":"+2011-10-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":"Q3094175$CCF14B0E-66D1-442D-9DAF-956F5FE29E33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094175$1B3EB9A3-F268-40DB-B767-D90DC50CECED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a38573ca4a709c8ac52b39a749341e5f7583a9c6","datavalue":{"value":"5961497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094175$FAB33989-C0A7-466F-AD3A-68BEFB3E0F01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de872ce0531811ec02ed1dd65560079bdbc0affa","datavalue":{"value":"formalisation of formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094175$A854C79F-19C3-4EBF-A295-49B200D11F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e717e136be392d6067426f8019b974b5ab7b0df3","datavalue":{"value":"algebraic presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094175$D392DD78-91BB-4123-A86A-3E1B17845B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"963c3102c41280ad5b6af282b578492bab3113c8","datavalue":{"value":"overlap algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094175$61923DD8-95FF-4E2D-99A5-0CF6926D4FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452c2bc219e831894ca1b2ba93a388f09b09e6e0","datavalue":{"value":"Matita","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094175$E1FFC239-081B-4789-B142-66E65AA545C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$ED58EB03-1C88-458B-9539-B46F0B2A526B","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":"Q3094175$14B2EDD6-B646-4516-B604-11C09D251960","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96dd678f7e77ab503651376673b231f824f268f","datavalue":{"value":{"entity-type":"item","numeric-id":841693,"id":"Q841693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$84E353A5-3DC1-4A38-B6B0-7B0D8E87E9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cb318559b5e8b835fb9fc7ea1d7ddb2a0c1f9c","datavalue":{"value":{"entity-type":"item","numeric-id":5718565,"id":"Q5718565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$18C56220-0223-4E4D-A6B9-4672EDFC9446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090eaf792f4154c8724d8ec52792b48cab975d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1412832,"id":"Q1412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$4FC0487C-BB46-447C-8F45-5A36DE268B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$F6A4AB4D-995A-480C-8E48-3D944F6E0883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b69b87a89e39228c18921d060707265030559f","datavalue":{"value":{"entity-type":"item","numeric-id":3965242,"id":"Q3965242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$579096C7-2059-417A-8E90-362CA5F041FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afe22cc1a784b53b28aedad7331334f85b8bd81","datavalue":{"value":{"entity-type":"item","numeric-id":979062,"id":"Q979062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$20B8EB02-239C-4F37-BCAC-BD7C8E55C71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d1a9251d88d87e3308844dfd876a1c96f0f056","datavalue":{"value":{"entity-type":"item","numeric-id":4236219,"id":"Q4236219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$717CD724-A2CB-4AA4-8F01-3247C1C52875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f64d57050206512889a218305d67a8f65e3f09","datavalue":{"value":{"entity-type":"item","numeric-id":3183522,"id":"Q3183522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$90EFE8D2-90CC-474C-9E0C-D589C12D2A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1ae7aebac7ea3716330aa8760535123903599e","datavalue":{"value":{"entity-type":"item","numeric-id":1040007,"id":"Q1040007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$2D8CC6DF-B0BA-47F2-9108-83FFDB3012DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8847fc96bd6cc15667c599e80d53cc2bce3050","datavalue":{"value":{"entity-type":"item","numeric-id":2462635,"id":"Q2462635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$9E87C043-BC85-40C7-95F1-64ADD217662F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790431959cbc450f8f91911b56400214886e60fe","datavalue":{"value":{"entity-type":"item","numeric-id":3582713,"id":"Q3582713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$32B17FB7-71E1-466C-A89C-DBD54576B6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c812f0f157ce7dbbbbb44d0b9c38c0ca55c13822","datavalue":{"value":{"entity-type":"item","numeric-id":1765104,"id":"Q1765104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$6B000C4C-3DFE-476B-8EF9-3792E8CAA2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff7181965704e473c064c7d95f9f7f0b397f93f","datavalue":{"value":{"entity-type":"item","numeric-id":3543665,"id":"Q3543665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094175$D4C00F2E-0D8D-4C70-AFFB-5BDCD1ED9407","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec4f4df96fb52313c76cd8ced321a18938fed312","datavalue":{"value":"https://doi.org/10.1017/s0960129511000107","type":"string"},"datatype":"url"},"type":"statement","id":"Q3094175$5749384A-6A26-4E25-B78A-11AE20427F3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3fea52d97b29861702c67d4d1f8d0020aa8063e","datavalue":{"value":"W2102919742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094175$193739CA-67BE-4C1E-879C-E68B9A6D985C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9580ff8397a5a71e84d6e3206794a1e4fac9ad6b","datavalue":{"value":{"entity-type":"item","numeric-id":1942039,"id":"Q1942039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49015c9334979a610b637441c6714948a928988","datavalue":{"value":{"amount":"+0.7749493718147278","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":"Q3094175$1FAE1E1A-FD23-47C5-BA82-58851AB1A49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5066040f6c70c40209456eeda1e83a5662ca5f3","datavalue":{"value":{"entity-type":"item","numeric-id":4982400,"id":"Q4982400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb38e1764e3b0c157a29f34a13958124066bd3a","datavalue":{"value":{"amount":"+0.7671370506286621","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":"Q3094175$91B26ED6-0CC7-4B68-A6B8-4F1254BAEBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"180a84071b0e969e82331e9096592f4128b8af0f","datavalue":{"value":{"entity-type":"item","numeric-id":979062,"id":"Q979062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ca9aa3958748680e0e297e27456715e4c29366","datavalue":{"value":{"amount":"+0.7606069445610046","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":"Q3094175$89E400F9-8060-4338-B5F6-38F878524BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5b314669e1ea2254db5f3a4cdcc7d0c9f1cf1c","datavalue":{"value":{"entity-type":"item","numeric-id":5200125,"id":"Q5200125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb63d0c710acca8c1897c7f09d906e0365d541c3","datavalue":{"value":{"amount":"+0.7583994269371033","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":"Q3094175$1788742F-2A6B-4BBF-B348-BEC39088DDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e368442f706a872bb5d9683aca795d828b6b5de","datavalue":{"value":{"entity-type":"item","numeric-id":4925157,"id":"Q4925157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421d5c5262e1d8ea191d86ec0f5898d78d5295fb","datavalue":{"value":{"amount":"+0.7459120750427246","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":"Q3094175$F7794B41-4B82-421F-8422-05AA0D79F830","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3094175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3094175"}}}}}