{"entities":{"Q3454104":{"pageid":5233504,"ns":120,"title":"Item:Q3454104","lastrevid":88240646,"modified":"2026-06-04T14:00:23Z","type":"item","id":"Q3454104","labels":{"en":{"language":"en","value":"Quantomatic: a proof assistant for diagrammatic reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515516"}},"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":"Q3454104$4F2141B7-EF48-419B-B994-60756AF57785","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f7937652508d371dda85ba93000077e7e0875e2","datavalue":{"value":{"text":"Quantomatic: A Proof Assistant for Diagrammatic Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454104$604F1531-847F-45EA-986D-33531C7794E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb41339c5170e2db593338bddc0f6c5f1e73d72e","datavalue":{"value":"1465.68288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454104$A0D56325-40E9-4C63-8919-78D2BB17A72B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"852b477fa0a9f597af7ed7a9d7c4a11f0903894b","datavalue":{"value":"10.1007/978-3-319-21401-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454104$6ADF58E5-A106-4959-939F-54BABA8729A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0d49db60428957817aa19f539dd310d977e935","datavalue":{"value":{"entity-type":"item","numeric-id":513860,"id":"Q513860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$EEB824F8-CD0F-458A-8DC9-F2C35D497367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c53ee96c25258a099adffdda89c42403a08a832","datavalue":{"value":{"entity-type":"item","numeric-id":2200847,"id":"Q2200847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$04A12F39-FF58-4346-88D9-796FDC4EB3AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$9DF0684A-8006-43BD-AE6E-86F39ABEE18A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454104$C47032CC-E467-4382-B5DE-B136717C21F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e033b2e3ec2478fcd0fba3a722c78c2266443970","datavalue":{"value":"https://arxiv.org/abs/1503.01034","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454104$AD2CC693-C01E-4EB3-88FB-18BC50FE056A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454104$931A915C-15F0-44E2-B18A-781031B4EC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4ea2daeca0cfefc07be3dd0f659dafac4cea2cd","datavalue":{"value":"18M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454104$0E0FF1BC-64A9-4361-BDAE-D13390AD0BB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"336579178769c1b7b4bd0ff3c737bc5ba175cf99","datavalue":{"value":"6515516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454104$EFB62AB0-9769-4401-B3C2-21BD04658F30","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89c436defcd226981117335a9c52fb20fa5ce8c4","datavalue":{"value":{"entity-type":"item","numeric-id":16625,"id":"Q16625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$BA0E3630-DA9D-4CB4-8552-1FC52FEA1CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0887771fa8fa24228e4b65a3b13091f37ff5ace9","datavalue":{"value":{"entity-type":"item","numeric-id":21462,"id":"Q21462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$C38F77C0-8E52-41D2-9CA2-27DD9C3CD436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"305c07a235b091bd26613150e3835701852a35da","datavalue":{"value":{"entity-type":"item","numeric-id":22076,"id":"Q22076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$E5517C73-8A0E-4731-A79F-B29AD26D7312","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":"Q3454104$4487B08A-E030-4B8C-A052-88E2B47F4C56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53e58be1b0f0c88183418f1c948511edd531beae","datavalue":{"value":"W3105021321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454104$E4494774-F66E-40FA-B7C9-69272135B224","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"95684c0392eb3db3aa453c0ca892c531db84eb0c","datavalue":{"value":"Q64356758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454104$B9885C86-5E31-4CC0-AA12-D5AC042B7B4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbcb0a63005ad482c443e708ed4d6184dc02a7aa","datavalue":{"value":{"entity-type":"item","numeric-id":5261936,"id":"Q5261936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$47EC1C74-8370-4EFC-8BA7-8603814A01D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c1e037cb785f0c7ecd73ddb4ffe142aac1c42f","datavalue":{"value":{"entity-type":"item","numeric-id":5410683,"id":"Q5410683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$60B66B07-813F-4818-B93C-9049EE9B6DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba96f83ee5a3db35621065d31d4ce8dbdf49f7bc","datavalue":{"value":{"entity-type":"item","numeric-id":2819836,"id":"Q2819836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$7C81CAD8-E9A2-4953-B718-9B59CA297BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c85435f4ab90cf9c6f0a66fb085815ec7fcfda","datavalue":{"value":{"entity-type":"item","numeric-id":5135836,"id":"Q5135836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$23814693-2FAA-4892-B991-60E5A2790D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb758a9ea774c9cc8baea78451583a787a48ec0","datavalue":{"value":{"entity-type":"item","numeric-id":3525627,"id":"Q3525627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$E02F2AE7-0F1A-43E5-B6B5-1110A87C2977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8297fb5d760e87c3b4bc882a234bc4620a351572","datavalue":{"value":{"entity-type":"item","numeric-id":4917191,"id":"Q4917191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$8E33B227-C019-4C3D-908B-C26430859BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b35c1bf212276a68cab6eb0f31d028107a9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4997267,"id":"Q4997267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$6915D92B-3D10-4CFE-8126-225F7E0E1D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0351b94b1748b25457f83596c9d24cf9d6b6df69","datavalue":{"value":{"entity-type":"item","numeric-id":3587446,"id":"Q3587446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$2AD7FE6B-7C06-4800-9D39-105F2BBDCEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc68d0c63fc526ea5871bf3910e143d716cf06f9","datavalue":{"value":{"entity-type":"item","numeric-id":438543,"id":"Q438543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$6A841CD9-C749-4F28-A436-897BE308ACAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5551f8a9f81295661d7b491f84c0fe988e68f13","datavalue":{"value":{"entity-type":"item","numeric-id":1175729,"id":"Q1175729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$C1CC07F7-67E0-4587-B57B-EBE244497A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238337aac2112715e74b569318dce7bf2a98a79b","datavalue":{"value":{"entity-type":"item","numeric-id":4994842,"id":"Q4994842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$B4B119EA-B0B6-4899-8CC3-EDD004326A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e06f115a7462d05efaddac0c1308a40353944769","datavalue":{"value":{"entity-type":"item","numeric-id":2947216,"id":"Q2947216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$2F643598-5ACE-48ED-AA4E-E337526DD536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22bef6174a8e5859d22c45e155a024cf54ba578","datavalue":{"value":{"entity-type":"item","numeric-id":5170826,"id":"Q5170826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$732B8DE6-1739-402C-AF7B-5074C4CF1E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3386e5e64cacb476206a1ab2e0a80247a8ef9985","datavalue":{"value":{"entity-type":"item","numeric-id":5620163,"id":"Q5620163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$004F7CBB-2A33-44B4-A1F1-DD872CF9ED12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd81d9e005f551102ecb0a83c0f095af5bb74c3","datavalue":{"value":{"entity-type":"item","numeric-id":3584955,"id":"Q3584955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454104$E25BC96A-7D15-4017-AC9A-87669739EF66","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4df85f9fb76394dac8e6539c2c55211037dc9817","datavalue":{"value":"conf/cade/KissingerZ15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454104$27E2E816-3507-454F-AD03-14FAA7C0088E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a94f3c5900ddc55c03b7c4324893342b441f8f9d","datavalue":{"value":{"entity-type":"item","numeric-id":4635934,"id":"Q4635934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e206bf468bb2ea0fc5615bd304807de1eb8c9c2d","datavalue":{"value":{"amount":"+0.7740476131439209","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":"Q3454104$725A85A7-91CF-4B95-8EDE-7FDD41ABF287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24daf3a3287100bbbbfd655159d6913b3994c8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5058366,"id":"Q5058366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905ef90480f72f269bf93f0ea173cb0016e78a82","datavalue":{"value":{"amount":"+0.7730085253715515","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":"Q3454104$EC7674B8-7679-4FD8-BFCE-72ECEE160E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a8ba9cbfcf50d3521e83f01285ad8e7c11f358","datavalue":{"value":{"entity-type":"item","numeric-id":5066951,"id":"Q5066951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558243537ef3bdd24701f8e165c3542c92c7fe90","datavalue":{"value":{"amount":"+0.7656323909759521","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":"Q3454104$79C7B471-C8AE-431A-8E60-DCC5F0C74EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4347511406dae86d8d95cd679053bdde56d50d4","datavalue":{"value":{"entity-type":"item","numeric-id":5015207,"id":"Q5015207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfdec62b64a15e451bcaebc7559988b45f72992f","datavalue":{"value":{"amount":"+0.7649309039115906","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":"Q3454104$20E40B9C-91AE-4CAA-A116-9AAEF53B2414","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantomatic: a proof assistant for diagrammatic reasoning","badges":[]}}}}}