{"entities":{"Q4938430":{"pageid":6968012,"ns":120,"title":"Item:Q4938430","lastrevid":47446207,"modified":"2026-01-01T18:51:47Z","type":"item","id":"Q4938430","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405455"}},"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":"Q4938430$7918A7D8-03D6-40C0-AC27-487E9DA949F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1186c68f4298a38012dcf01970450b6353f76c85","datavalue":{"value":"0954.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938430$B266A32B-C8B9-45D9-8465-D3C844B1E3B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c2f814df6a60e444807c544b48a51d0a34ec02d","datavalue":{"value":{"entity-type":"item","numeric-id":1810913,"id":"Q1810913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938430$527E1F83-4862-408E-A0F0-D58FB6CC001C","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":"Q4938430$B0030ABF-EB5D-492C-92DB-6AE49FD81A96","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":"Q4938430$ABA93C3C-78EA-4624-819B-ACDB386A87BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e01016a5aa1fdc00855be84e2d8c96709b2787ec","datavalue":{"value":{"time":"+2000-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938430$A3113BA6-297D-4222-B350-A7752662F766","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938430$F45F0301-4DBD-4A32-9717-5A9583AE7220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938430$5AC97DCA-4F0C-42BD-A4C1-BCBBF98E6B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938430$ADF1728A-A37D-432C-9BE2-49EE3B084207","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e52244f1839d178129c55ac929c50db9f7ea241","datavalue":{"value":"1405455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938430$42D1000B-B76B-4B74-8A03-F7A4A8A966BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db749849c34b077af74b88325523904bf9671f19","datavalue":{"value":"estimation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938430$CB18E571-A996-4395-BCE7-9D32FD321462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebbbc62aa181b574ba05ae4ed1a8508ba68c1d75","datavalue":{"value":"termination of functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938430$FFA3F2EF-2848-4317-A30F-ECA783B4EE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53040639a5a08fc25fd1713248f9f2f7cb50e72a","datavalue":{"value":"well-foundedness of induction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938430$4BDB4027-F720-4E4B-82CF-1920BC23F9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"734166dd76551156a537e5c17e63162394a8c79d","datavalue":{"value":"automatic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938430$EABCBD50-D840-4A31-8FFD-A8348154AA5B","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":"Q4938430$2022CC96-4EB3-42C8-B645-2627A2F20960","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44fd0c229528f6322aef61abb34cd47788fada4a","datavalue":{"value":{"entity-type":"item","numeric-id":4647554,"id":"Q4647554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f00560e29db075a7c59601ff493f379d64b4813","datavalue":{"value":{"amount":"+0.7376533150672913","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":"Q4938430$BB20CA89-6F25-4A67-B6BE-BDB5145289B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c709b86cf7ff4047dac00daa01e8a4e28d9c32","datavalue":{"value":{"entity-type":"item","numeric-id":4023458,"id":"Q4023458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0380704dd620442d8531d0cc25be462ad2176be0","datavalue":{"value":{"amount":"+0.7363895177841187","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":"Q4938430$FDDB2CD5-9CE1-4A20-BB67-82AA3BA8861C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704a49cab08e72b5b7eb95f34ca27569ea97ba64","datavalue":{"value":{"entity-type":"item","numeric-id":1595923,"id":"Q1595923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0380704dd620442d8531d0cc25be462ad2176be0","datavalue":{"value":{"amount":"+0.7363895177841187","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":"Q4938430$2E853242-8532-4457-A908-F49621864A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73732f22ae9e393a28f631d7255522eb6210bdc2","datavalue":{"value":{"entity-type":"item","numeric-id":2702599,"id":"Q2702599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd64c9bcdc769277201143e708f738e663203091","datavalue":{"value":{"amount":"+0.7272446155548096","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":"Q4938430$56168BC1-50A4-43EE-916C-D24C17A8756C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d541e48bcead1393bbc42b8e56c09a0b09485b5","datavalue":{"value":{"entity-type":"item","numeric-id":3021959,"id":"Q3021959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d0a7485af1d796bac786bc0efde083ca6cc011","datavalue":{"value":{"amount":"+0.7259703874588013","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":"Q4938430$8BEA252A-9041-4FAB-BBB7-05C559EA31F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938430"}}}}}