{"entities":{"Q3081636":{"pageid":3092351,"ns":120,"title":"Item:Q3081636","lastrevid":51202772,"modified":"2026-01-17T05:37:35Z","type":"item","id":"Q3081636","labels":{"en":{"language":"en","value":"The proof theory of classical and constructive inductive definitions. A forty year saga, 1968--2008"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5862926"}},"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":"Q3081636$F0DD2778-3376-4BBB-9DC5-C09A9B88F187","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d051c4eca1331767de5e84a4721bad453359b2f","datavalue":{"value":"1244.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081636$6B7C8923-79EF-4E6C-84B8-C37EF141C62D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081636$0E6B256C-B67F-481F-8DE3-CF9D49E05754","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"791243a770867bf9a828ca3fa60256efae5a0523","datavalue":{"value":{"time":"+2011-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3081636$3164205C-A96E-46B3-9412-EE849845F75D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081636$734F14D2-EDAB-4FC6-A805-6079FBDB5C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081636$E1552CA2-ED7D-4D5B-AFC7-771DB7AC604B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081636$7D5C64EC-EBA6-4B5E-ADF2-D89D3D530DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081636$05A6DE34-1F2D-4B1E-8733-46F7236FBF86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe166f22a8d8bcb4578183403cd743cd6261ffac","datavalue":{"value":"5862926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081636$943F7EA2-ACE0-4B9D-89E5-BE62587B85FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081636$985742B8-30BF-4533-8CF0-760BA9017C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081636$71EDF192-0E5F-4F3F-8066-6DAACB49CD41","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":"Q3081636$05A468AC-6CFA-41E1-8627-DE965F511203","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee01c606f7055cdc64b625d90fb435ed638be65","datavalue":{"value":{"entity-type":"item","numeric-id":3081641,"id":"Q3081641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e304d08542d7377bcb7f8b419ea6fc73fac840f8","datavalue":{"value":{"amount":"+0.8046257495880127","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":"Q3081636$ABB273B0-A02B-471B-8F8C-EA03B7E6563D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f43dbeb135cf5e65627bf8aaff0b82fc0893448","datavalue":{"value":{"entity-type":"item","numeric-id":2566072,"id":"Q2566072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c35988651638fe399b919b90adf7c80c1e1d49","datavalue":{"value":{"amount":"+0.7861055135726929","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":"Q3081636$A0B567A8-5442-4694-A7DC-0E30A282B0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f27d0c649fbbbe2bdf03f26e487d73b8afde3d","datavalue":{"value":{"entity-type":"item","numeric-id":2267752,"id":"Q2267752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417e24eed15e7bd1c83989dcb19d7a6f4bbd9c40","datavalue":{"value":{"amount":"+0.7753521800041199","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":"Q3081636$7FB237DA-CC36-41F8-993B-F8805C637D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f15e5c9ab71465b79d2ec17ced4eba42d5469f","datavalue":{"value":{"entity-type":"item","numeric-id":5486242,"id":"Q5486242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97acc53d79083769b8efc6ae176008b3bea2eabf","datavalue":{"value":{"amount":"+0.7706100344657898","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":"Q3081636$E0AA1915-C6C2-4D00-8F29-31C739C59B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8482c4068af10e6f6c0ac45811b435ffb323110","datavalue":{"value":{"entity-type":"item","numeric-id":4692081,"id":"Q4692081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ca514c6ab2f0287d5888d62030201e65ebaa53","datavalue":{"value":{"amount":"+0.7704095840454102","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":"Q3081636$FC24D44D-F8F3-4AE1-B159-567685AAD636","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3081636","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3081636"}}}}}