{"entities":{"Q4809499":{"pageid":6839079,"ns":120,"title":"Item:Q4809499","lastrevid":74685798,"modified":"2026-04-14T23:54:23Z","type":"item","id":"Q4809499","labels":{"en":{"language":"en","value":"Descente Infinie + Deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2095439"}},"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":"Q4809499$DE26B825-3A31-419C-82DA-6129802C27D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e410feab5c332d827741af579f3d6800fb612138","datavalue":{"value":{"text":"Descente Infinie + Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4809499$9E22140F-6551-4A2C-A39D-EB2C518ABBDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f89c3aecc05506b9e56813f52c836dab98c51a6","datavalue":{"value":"1067.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809499$24A987C1-CB5A-42B0-8BF2-C21E4F9C17FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a9059fbad1dac267c8b3db87819e98298f3d65f","datavalue":{"value":{"entity-type":"item","numeric-id":429595,"id":"Q429595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4809499$E5DEF4BF-35B0-4E0F-BBA1-80757C203147","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"267848cac483a3bf60786df1d022248bd2e0c1fa","datavalue":{"value":{"time":"+2004-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4809499$ECE9FF13-4014-4726-8EED-AF6A4BA67D29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5398f29473413c41f4e1bce30bab320105d6276","datavalue":{"value":"https://semanticscholar.org/paper/847f0ed0ab3a9fc9103dad4fcc5103294f061261","type":"string"},"datatype":"url"},"type":"statement","id":"Q4809499$AACC4A55-DF8A-4E91-BF11-7D580E52BE59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809499$C10499B2-3E04-42AD-BFAA-B37AB6528BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809499$514A2840-CAE7-46B2-8B84-22BB79A9AD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809499$62384A79-DB97-4AA3-B15B-0A499B9C2BAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe6d94ff9ac24de3e72cfb20f69e611f48c7e759","datavalue":{"value":"2095439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809499$5689AADC-2686-4B99-8537-A81A05754B2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a40cbf7d9f6bc4547b8519ebed8ef746e369f52b","datavalue":{"value":"descente infinie","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809499$0B911433-F487-41AE-9FF1-C5AD7F5F1A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809499$AA85A2C8-F3BE-4FD5-8816-C2B3978C59BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809499$FE86A6EA-F271-4F0E-956F-3F13EFFE4B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809499$F4B6C948-8B73-49EF-9333-4AEE6B14B483","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":"Q4809499$5F8F20AA-B728-43C1-8B59-CA173C6349B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3181f4435d36a4b66c333a5f5c53e06c1ea9e5a","datavalue":{"value":"W2068793017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809499$DEC94212-ED00-4BFA-B359-27C41FA0635D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1109c777d2e70951dcccec35f658aab6e9a59b12","datavalue":{"value":"10.1093/JIGPAL/12.1.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809499$368E6050-0EFA-48DF-80A1-061D91641E4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4809499$E600F935-351B-4BB1-90DC-8AE6AB887FDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111987797771664757c3f9431859571a63da9e17","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b9057eb5af0a38cdeb3ee071b7c49b4b640ef2","datavalue":{"value":{"amount":"+0.8221257328987122","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":"Q4809499$EE9D4E15-6473-424F-A275-50537BC4CEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8633798346f1c67033c7da29da9c7695925389b0","datavalue":{"value":{"entity-type":"item","numeric-id":2802087,"id":"Q2802087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d749272164cf666b47ee47853e87ecc973abd65e","datavalue":{"value":{"amount":"+0.8137624263763428","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":"Q4809499$7BBA9B09-C5D1-42C9-AB5F-F60A92D41080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e8c2304de6d0f793edbe43b05f387f747a189e","datavalue":{"value":{"entity-type":"item","numeric-id":4913999,"id":"Q4913999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb00dda1d887dd823e350fa96d0abf68ad6daed","datavalue":{"value":{"amount":"+0.8127259016036987","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":"Q4809499$D5D43614-6F36-42AF-8681-4A941A8C39E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf05d9f5340899fe3c29d002f92acecf6503b93d","datavalue":{"value":{"entity-type":"item","numeric-id":5479282,"id":"Q5479282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263d7fcd5363e0fb320ecb9f8d72500ae4407c8c","datavalue":{"value":{"amount":"+0.7853052616119385","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":"Q4809499$A0474569-27E7-4999-B307-F18389A49F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09b1e7e7772c0ade5a9defd90806a01ea7628f6","datavalue":{"value":{"entity-type":"item","numeric-id":4529268,"id":"Q4529268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310eea38ecb6ac81f5e7aabfaabd710cbd36768b","datavalue":{"value":{"amount":"+0.7343820929527283","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":"Q4809499$475359F1-A9C9-4596-9812-839328F53E62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Descente Infinie + Deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Descente_Infinie_%2B_Deduction"}}}}}