{"entities":{"Q3717044":{"pageid":5746950,"ns":120,"title":"Item:Q3717044","lastrevid":50674322,"modified":"2026-01-14T18:37:34Z","type":"item","id":"Q3717044","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3946122"}},"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":"Q3717044$8B5B941C-02DD-47CA-8B11-ABEE9A8E8124","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ce642c57800845feb819c5941317bc0b293707f","datavalue":{"value":"0589.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717044$6F85210B-FD0D-418A-B6BA-951FC41307AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"969dc6dd8464518674d40d595a79bbfe5da546b7","datavalue":{"value":{"entity-type":"item","numeric-id":484810,"id":"Q484810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3717044$D22BEE7F-D7B7-49D0-B2C5-765E68D4EFE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3717044$9A7FA0B2-9DD6-409A-8BBB-17315FEC7678","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717044$CA535813-E6CA-4855-8C64-4AD00A9760FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717044$68C13480-D88E-431D-A8EC-D774744A376E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717044$2CCABB98-72A2-498C-9BAD-85EF0CD2E1AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94663aa948f6cb15df694a2614e4f0e3ff1716ce","datavalue":{"value":"3946122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717044$21CB6F57-1E44-42AE-989B-1DD57E7BC769","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b92f94a5b925ad567e137e2ff5200d49fed668c","datavalue":{"value":"classes of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717044$9E072403-DBA4-4B20-B10F-FBE200BC5B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b01185f4847407380f0c3743ae6ea601e5eacfa2","datavalue":{"value":"sequential classical and intuitionistic propositional calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717044$8F446C69-B135-48AF-B9F2-778CEAE1EFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eceae5e53eeae0b9ae492a46dda181f823396eeb","datavalue":{"value":"diagram based method of proof analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717044$BB0CB16D-8EC6-469F-9594-F08A7CB03BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac4d0515bf18b8c6c2e6f6ee3a266b57058533f","datavalue":{"value":"equivalent proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717044$C9AF421C-0C50-4653-9209-A5D8DCD0F9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b22683d4434bdce69f2ca592571006fd0dc62e5","datavalue":{"value":"diagrams of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717044$43C72BF8-C738-470D-812B-5019FCA11AD5","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":"Q3717044$782DCACA-7857-43C7-9018-D4042923BC52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f0886971cd84c9f03b872183d6866f65525ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5691488,"id":"Q5691488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07f26eb7ecd136efe6299c8fc04f248ed2fd237","datavalue":{"value":{"amount":"+0.8964044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3717044$41C176FD-321A-40A4-BAB6-A21B37572D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d0ee6a290fc7d7ac09bfb42f950d97e53afc56","datavalue":{"value":{"entity-type":"item","numeric-id":5878881,"id":"Q5878881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac6cb5a20b3da3cad258bdee0357176b93a2d32","datavalue":{"value":{"amount":"+0.87887466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3717044$84B21C81-4C09-41C0-96DD-ED0DB5F42A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21928efc14a8ef79ca25e51257d104e887b6f360","datavalue":{"value":{"entity-type":"item","numeric-id":2753899,"id":"Q2753899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40120e1683e62063d2ca65e3d7dd22737f4cbc97","datavalue":{"value":{"amount":"+0.8530504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3717044$2D4FBAE8-3455-4901-8DF6-1CC944EF9E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e945951b989d73a8dd5ca9fa265eeaf6ac67788e","datavalue":{"value":{"entity-type":"item","numeric-id":2948603,"id":"Q2948603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b21637a4ac64cdb518348a80fd27b732a680c36","datavalue":{"value":{"amount":"+0.844887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3717044$F62D0429-5A9C-45D1-9872-6170D8EEC134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f53635cf5ed90db7da82419e1a803669bca7733","datavalue":{"value":{"entity-type":"item","numeric-id":2255199,"id":"Q2255199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab7fbcbe1ba101704a137d37a2f89ca937e70c0","datavalue":{"value":{"amount":"+0.84488696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3717044$BAE4AA66-3BD9-474D-A0BF-F977831557BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89176ed55cdd6ca3f2532c2bb4c92de4d579158c","datavalue":{"value":{"entity-type":"item","numeric-id":4847218,"id":"Q4847218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a2fa4881823567277c3425f148f7d2b311c68c","datavalue":{"value":{"amount":"+0.84412456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3717044$C126904E-30AF-4B59-B595-D477F7437C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2798a55c9ca224efd935b48ee5c236521d21ae84","datavalue":{"value":{"entity-type":"item","numeric-id":3621271,"id":"Q3621271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e7efc8c4f81a8294db1e63010455f971cfea12","datavalue":{"value":{"amount":"+0.84412444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3717044$4C9B956E-32AA-4864-A3C3-2EF1BD1E8856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042e074e8d235bcbdbc777494aa60003e2ab131b","datavalue":{"value":{"entity-type":"item","numeric-id":4548194,"id":"Q4548194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ca5fe515a8bd78f24f3b456cb2ea6d717b4813","datavalue":{"value":{"amount":"+0.84062105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3717044$BA9CF1DB-D484-4D4C-B3C5-4964B39EF878","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3717044","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3717044"}}}}}