{"entities":{"Q1306168":{"pageid":1316918,"ns":120,"title":"Item:Q1306168","lastrevid":46851060,"modified":"2025-12-25T17:32:24Z","type":"item","id":"Q1306168","labels":{"en":{"language":"en","value":"On automating diagrammatic proofs of arithmetic arguments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1343512"}},"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":"Q1306168$DD49549D-2F8D-4666-8333-8C43F8644984","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a870315f850f5075e0c6d0e816aa89cbfae45ee1","datavalue":{"value":{"text":"On automating diagrammatic proofs of arithmetic arguments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306168$B603631D-8582-422C-A61B-C34FC9B47591","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef451a1610e3d92908ca5ebc969a5bdf82af5bb5","datavalue":{"value":"0941.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306168$B55B4127-B5E8-4ED7-9BBB-2BC8C9F1BF66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"485e759bcfca1a2ce745ead3b2bfd2cce77e21c0","datavalue":{"value":"10.1023/A:1008323427489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306168$DD03F1DE-36C3-4C96-8339-185E5C0795D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284fbc1bc15076f8bcaa5ac2c8ac8b95878097ea","datavalue":{"value":{"entity-type":"item","numeric-id":946571,"id":"Q946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306168$0AEEE4AD-413A-4A37-9C12-28BC57ABA189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306168$763617D9-FDB2-44E4-845A-1185C8E49905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1049fb3a5c1f5f050767d0dfd05ea2dd53468c","datavalue":{"value":{"entity-type":"item","numeric-id":540692,"id":"Q540692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306168$D4AF89AE-81A8-423B-BE9C-F0AD66D04295","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306168$55972D9D-4B21-4BDD-B404-77F0EB44CBD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c926a7842f7994a2e02d7d97d6466af0601a09c0","datavalue":{"value":{"time":"+2000-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1306168$19595311-AC63-44E2-92F5-C67FB1B2869A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306168$9C23856C-3E93-45AE-86F1-FA922E196C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306168$57EA2F8B-F386-413F-B315-FF7A830604FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa3236cd0d55c47149a4eb5c2629c8d50791587c","datavalue":{"value":"1343512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306168$8B4D7747-40F1-4BEE-985A-11CC8E95C7B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306168$E0BC270E-6C0C-4E89-A893-9AB9090C8C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"238c77592dc6d8ff868cb0cde830df924cec9b3e","datavalue":{"value":"constructive \\(\\omega\\)-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306168$41691A3B-1BAE-4784-83DD-D44BFA17E0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306168$1084BFD1-44C7-4C15-9E8E-3350868FB605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15d71f6729339fb7943f4b33019522947e53ab4d","datavalue":{"value":"diagrammatic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306168$003E465F-D002-40F0-8D47-99C196C27A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15506c5322a6f28e6c56c3a2b212aaad917809b8","datavalue":{"value":"diagrammatic reasoning about mathematical theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306168$9332BA72-A151-4F9F-89E0-B16E38311E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bca2ceddd83d3507f3dbeacd531d2e806de8731","datavalue":{"value":"geometric operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306168$F34979B5-4A0C-46E1-810F-D2027EAD13C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"142e9aa2961cad276f4aa89b446158d97e47e84d","datavalue":{"value":"correctness of schematic proofs in the meta-theory of diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306168$C9C8998B-DC7E-46B7-9250-E46125419371","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":"Q1306168$50B2A0B8-30DF-4383-B8AA-F9E39DCCEC3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"367f141f22aa8f4749c48b986b11c440343b2875","datavalue":{"value":"https://doi.org/10.1023/a:1008323427489","type":"string"},"datatype":"url"},"type":"statement","id":"Q1306168$B6F0FBEF-3F76-48CA-9FED-6A49575DD8D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5dc1d42e2260440ec500db7bd7363d69253fdf50","datavalue":{"value":"W1821199070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306168$58967030-93D7-453B-9964-7A382D9B30CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7613fc4961d5ce4196a4db2fe6bebb25258e910","datavalue":{"value":{"entity-type":"item","numeric-id":4548193,"id":"Q4548193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48701c75e0d0ed91d3ae58981386ce3242e0db9","datavalue":{"value":{"amount":"+0.999683439731598","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":"Q1306168$8C248CFC-7174-4FAA-A12C-10F59972260C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2993ffb897d110d011eb9b78c87829edd531b30b","datavalue":{"value":{"entity-type":"item","numeric-id":4789490,"id":"Q4789490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f7aaa9edac5ad7974f656aab3913304ab2c4b7","datavalue":{"value":{"amount":"+0.9399458169937134","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":"Q1306168$2A61C5E5-7785-4C61-8294-BCB6C04829D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959efe7ffa388a0c3f8d087cc854d2999ffc7d71","datavalue":{"value":{"entity-type":"item","numeric-id":2753884,"id":"Q2753884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94205de78c6138d92b98f7619b4ee28eee6208f2","datavalue":{"value":{"amount":"+0.8047292232513428","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":"Q1306168$9E5804ED-DE77-4240-A0E1-E9C5E4971235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddfb425d157505a6249a2923caf4ab8d742bb42","datavalue":{"value":{"entity-type":"item","numeric-id":5691514,"id":"Q5691514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6d4f235aa6ba0c5b176938f72fb01b177c176d","datavalue":{"value":{"amount":"+0.7845306396484375","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":"Q1306168$11DAC2AA-B3FD-47B7-90B5-9017019B19CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1306168","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1306168"}}}}}