{"entities":{"Q6173574":{"pageid":13308462,"ns":120,"title":"Item:Q6173574","lastrevid":102461960,"modified":"2026-06-06T04:31:10Z","type":"item","id":"Q6173574","labels":{"en":{"language":"en","value":"Structural rules and resource control in logic and computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7715471"}},"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":"Q6173574$BC802DA2-A2B5-4F4E-972A-D04BB1596F2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92a30c1f64d64c205fd16df2368754f0110c4f89","datavalue":{"value":"1524.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173574$475E67FC-78BB-4219-8071-D781580D3194","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173574$272A17A7-05B4-48EC-B401-5CB3865A5735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cce0ce92a3ed785a05d622f72a3c118d17b9cb61","datavalue":{"value":{"entity-type":"item","numeric-id":1709699,"id":"Q1709699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173574$2F35B7C0-B210-468D-8C90-6595C47FC108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173574$B68B6A8B-67CA-4560-84CB-44D3A1B46F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5448a351bf3feee9663629beddf06354ded52a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1434349,"id":"Q1434349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6173574$422AA966-9806-454A-99AD-B4999848C9AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca9f8142551b5159c71df5982bbefa0ef87fa1c3","datavalue":{"value":{"time":"+2023-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6173574$BF47A2DC-1176-44BD-81D7-BDE29B4BE3E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3409599138d89303bba5259dddc396ee1d3b0ff2","datavalue":{"value":"http://elib.mi.sanu.ac.rs/files/journals/zr/26/zrn26p79-109.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6173574$770C41DC-435F-4B15-BD00-D0A21CDAAE78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173574$6A4B14AF-1D37-4C3B-A1FB-361B02A322C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173574$DDFECBDD-91BD-4CFA-B341-439166FB5B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173574$44FC244B-764A-4403-B07B-2E1553F389BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173574$A8C8115C-63B0-4804-9D59-92DBAF590842","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"250c2c53fe306351ccc86f355ad48e33c79cc4d0","datavalue":{"value":"7715471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173574$FBD83F23-08D8-4689-AFAD-CC9ABF5C73B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173574$4FE91026-AF86-4345-A2D9-B5E6E49BA17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173574$709E4782-2D48-4D29-A5CD-0AAA4F13F8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173574$51B5641F-54CD-40A0-A8C6-F8439B02C5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2644e02edb5d4a0f8747de2957f332c7cced9d6a","datavalue":{"value":"resource control","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173574$4F4DA8B1-6AEA-466F-9B09-A7781434F249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604af6e25dfc03012279f2650702ecd9346f7e7d","datavalue":{"value":"structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173574$002BD76B-A303-4182-AD9A-0ECE9FDEB041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048e16d0cdc14662a7aa0453a39d405183a3ade1","datavalue":{"value":"typeability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173574$16DD1E08-3D70-4F95-806C-0BAFE11072E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173574$399C86F3-4DCA-44B7-866D-0CA8514C65C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8bb84bd86abec9f57c8cf048201e810211b8ba","datavalue":{"value":"strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173574$26FAF9FE-C10E-4E24-B33D-D41F3D2F9F4C","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":"Q6173574$C216B45C-F257-4D0D-B29D-3D5709588503","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dad4d114e3b83299f0b632fba11b4530bd920ca","datavalue":{"value":{"entity-type":"item","numeric-id":4712651,"id":"Q4712651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1297529f512090feca3e3cda3514715926347b","datavalue":{"value":{"amount":"+0.7254685163497925","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":"Q6173574$AE3A6C94-EBDA-4E9E-8657-18E33DAF9E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2083e8a04f24ae4244b105938838260c8a02124","datavalue":{"value":{"entity-type":"item","numeric-id":3105748,"id":"Q3105748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44cf4881f2250c4019875a56d56c7e03d97eed3f","datavalue":{"value":{"amount":"+0.7166999578475952","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":"Q6173574$BC9D83B7-D4A3-4EDB-8838-7C3F9B19E66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e351a59e56d92d42c11b56df8540cd537cdd3a","datavalue":{"value":{"entity-type":"item","numeric-id":876041,"id":"Q876041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997992e3c0079f4583f330291471b7a77df69a90","datavalue":{"value":{"amount":"+0.7128962278366089","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":"Q6173574$C2FD7500-E3CB-4C43-ABC6-888A44109B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61f1043df0660b821c287adfab81436de44a8af","datavalue":{"value":{"entity-type":"item","numeric-id":4362931,"id":"Q4362931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b22e41f54b36f4dd0d3e079f41412336dcbd9f","datavalue":{"value":{"amount":"+0.7069873809814453","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":"Q6173574$994CA9D3-52EC-43B5-832A-79AB13E92FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3feb2d7767cadabafe75b0c04b8ed9452a5643d","datavalue":{"value":{"entity-type":"item","numeric-id":4694214,"id":"Q4694214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634028f8cf6cd4a4709fe1b7ca5bb98b7dc92d90","datavalue":{"value":{"amount":"+0.704962968826294","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":"Q6173574$D6A2E08F-0474-4D90-836C-F258FDD93FF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural rules and resource control in logic and computation","badges":[]}}}}}