{"entities":{"Q719245":{"pageid":721094,"ns":120,"title":"Item:Q719245","lastrevid":63807243,"modified":"2026-04-11T15:40:45Z","type":"item","id":"Q719245","labels":{"en":{"language":"en","value":"On the expressive power of schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5955733"}},"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":"Q719245$CDF3CCAB-B9F6-473E-8506-E4AE71305E72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bce66fe063d208efb4123c0ff4d2ba247d040ff","datavalue":{"value":{"text":"On the expressive power of schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q719245$6185A580-5B39-4598-944E-F092D4030239","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d21800e298fb8febfd97a644caa868cfc125b3fa","datavalue":{"value":"1241.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719245$1F374367-2537-4EDC-B620-28F9AC7CDF00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$5228B35F-8B44-4C31-B347-6191366E5C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c9994e22132749d99397bc99150caa21bed2ae3","datavalue":{"value":{"entity-type":"item","numeric-id":457561,"id":"Q457561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$653DA550-0586-4923-BCA4-8AA4A3455778","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$9A673055-D74A-42E0-93FB-FAE92D5F412C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"150a41d2600a9b6bb2d57bcce319d1e2cca67717","datavalue":{"value":{"time":"+2011-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q719245$0464002C-CFB5-416B-B6D2-4FE5F5193CF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719245$A2F33C08-AD37-4CD0-A0C1-27A5E2287E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719245$F7BF147F-2B6C-4025-87F4-1877D95F1E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719245$62D4B463-B39C-4C11-A876-FD10F17C089F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afabe40351fd89462536d858db5913497486c735","datavalue":{"value":"5955733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719245$738F934C-4599-4EEE-867C-7788F760E54A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q719245$2B6E73D6-DB6D-404B-B7D5-8930DFD96550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1a91003eec20b6e040430743ad3336209f33dd0","datavalue":{"value":"proof normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q719245$A927E176-E21C-48B9-BA65-CDF8D05D4B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940be6b117e12709d851ae4ad68c25d16c23957d","datavalue":{"value":"bound variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q719245$1AE57ADC-750F-437B-B9B9-E85E7DF5E278","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":"Q719245$A76AF31E-818B-46CD-8A5A-6680D7EED836","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65dd5b014c5c74c18cf52541a12e99a9e4089f28","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q719245$279B026D-429B-4DAD-A066-257EEF19B305","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d35a8d5bd7200fd62ab749371204b3c4d39e2084","datavalue":{"value":"W2080915657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719245$E5E9EB99-2217-4D08-B163-42B3061CEF7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$BC1E3042-1029-4ADA-A0FD-0D66FF9B6FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299d84bd8be4de2d299646c82508e4e61ad3db7a","datavalue":{"value":{"entity-type":"item","numeric-id":2851692,"id":"Q2851692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$D38AB349-5D54-4248-8920-98F2B59C4919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd47a8d2d181f84e90445545d2f5c03857e23b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4681365,"id":"Q4681365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$E63DB138-9290-44A6-A40A-E8083946694D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8beb7ea051ebf981d9a006e2f767d94efa238313","datavalue":{"value":{"entity-type":"item","numeric-id":751646,"id":"Q751646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$A0708AE0-5265-4C4D-B5C7-71742DE40344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae986ee19008aa7d1adfbf0f48061524c85116e2","datavalue":{"value":{"entity-type":"item","numeric-id":1917086,"id":"Q1917086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$7511D0C4-E695-46DB-81F9-0E0509586C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7701c984faea0a06c36493915d94358e6a7a7e71","datavalue":{"value":{"entity-type":"item","numeric-id":4218930,"id":"Q4218930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$28CB43B5-7D2D-4B54-81A8-F3B4176E049D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5d83fb5c1896876351d51b19033684002cdbe8","datavalue":{"value":{"entity-type":"item","numeric-id":3025341,"id":"Q3025341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$469BEB78-B23F-4303-A852-E0E3DC44A3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8952423c04db1b8045e833200e12d27158942c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2503325,"id":"Q2503325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$7E5A6F87-94B2-41B6-B180-81FB9BE7D076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a446515cb7e3e4e5e70281f56550226cdb87e3","datavalue":{"value":{"entity-type":"item","numeric-id":3638274,"id":"Q3638274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$4EFEF04F-76CF-4733-A7B7-DD92B471A35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$969A7175-28EA-450C-A61D-8B0FCFB83814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66101d7c220497845264a62fc655d0a0090b58b","datavalue":{"value":{"entity-type":"item","numeric-id":4194954,"id":"Q4194954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$8AFFF2DF-A000-4E69-8389-4BE2B7174338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$9AC29B2A-CE4F-4D01-9900-AF646ED47676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd82c182f3ba29e8e7c6e8899bb4609fd961b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703867,"id":"Q5703867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$D47F9177-DF34-4FE6-BED6-0EBD24526A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e52f792aed007740441efa3e7b7b70e2d7b6c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4650285,"id":"Q4650285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$29EB3A71-CE5C-4B14-A9DF-0D1D6C2D6EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q719245$6F8FF3D7-E5BC-4F13-A6A5-91CE6E6AB6A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"426099c40c0d1fed47385b3288529398be356915","datavalue":{"value":"10.1016/J.IC.2011.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q719245$F522D1B5-1EED-43EC-8819-B199148E15B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a88b820879f2cbeec29ad4d4e38baf04bad2edd","datavalue":{"value":{"entity-type":"item","numeric-id":3024833,"id":"Q3024833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4410425be2de9d1ab19c3780db175801aa0dd766","datavalue":{"value":{"amount":"+0.7612908482551575","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":"Q719245$5A215072-2B36-43D3-8E4D-EF4EFFC2EB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f8ddf71b2d5cd28cd251b780e95170840ac8ba","datavalue":{"value":{"entity-type":"item","numeric-id":1408657,"id":"Q1408657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424038c420b7f374790606a769aedb1bd3288c00","datavalue":{"value":{"amount":"+0.7489098310470581","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":"Q719245$450B902A-8830-427C-A968-93D003C895EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1d066023fe0d97db41b5e4089b2eae7b2146db","datavalue":{"value":{"entity-type":"item","numeric-id":4992396,"id":"Q4992396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1da793b3c6c0654545261c89366c4a191c8bb24","datavalue":{"value":{"amount":"+0.7250673174858093","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":"Q719245$5D042DB2-BA1C-4464-A464-8ECFFD95659A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f66029902477050449cbd0aec73801e847965e8","datavalue":{"value":{"amount":"+0.7209445834159851","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":"Q719245$7C8BF224-1901-4DE2-A88F-56FB5D48D14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64dbf5b58c942073400bfa1f887eeb83ebba948d","datavalue":{"value":{"entity-type":"item","numeric-id":1744450,"id":"Q1744450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9000fb5dcd9ea04ea02c7b8dba8ecca7939ad1","datavalue":{"value":{"amount":"+0.7199939489364624","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":"Q719245$33211DB3-529B-45F2-90E7-9327CD778850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the expressive power of schemes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_expressive_power_of_schemes"}}}}}