{"entities":{"Q2713355":{"pageid":2724094,"ns":120,"title":"Item:Q2713355","lastrevid":82966727,"modified":"2026-05-06T22:33:47Z","type":"item","id":"Q2713355","labels":{"en":{"language":"en","value":"Cut rules and explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1595923"}},"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":"Q2713355$C4A9C15B-AA20-4D4D-B130-9E991F016C72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4ae81dd1c4926a704f47d8c940add5cc18aa7f3","datavalue":{"value":{"text":"Cut rules and explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2713355$92902330-061F-47C3-A2EF-429CE61923C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa2f2ef2f0200babe231cc82ecc6a2c60e471196","datavalue":{"value":"0972.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713355$C9FE6487-C20D-4E18-9933-6A269CDB20BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bb3d14f63faaa452869d201ccd4908b66162756","datavalue":{"value":"10.1017/S0960129500003273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713355$26F63C85-999B-46EE-A502-42B816D5455A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96bd72a5e73758bd30e2ad91ff0a0a3698c24ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1045891,"id":"Q1045891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2713355$31FC0B49-5F1C-49EF-B875-74B51CDE80A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2713355$1F86CE30-F6B4-4781-9A98-436C0EC6ABF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"977947cd79f3920d9b8080aee0947b44a750ae0c","datavalue":{"value":{"time":"+2001-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2713355$8F21BB3F-D831-4882-B3C1-9C926D835EDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713355$DE3F1500-C0F3-4600-A438-0F97BD51301A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713355$5ECD3101-4324-425C-86C0-19060F299DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713355$A3A51923-F7CC-4194-AE11-A153D20E3ACA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48463fba4a598a3189bccebc7907b2dbbe552fef","datavalue":{"value":"1595923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713355$2CF6115C-A893-4F22-9BFF-A9EE4ACB497A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168a78ecc72716f6c4bac412ea5f930139f49bf","datavalue":{"value":"rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713355$0A637E84-54DA-4F24-9B73-A06446DF5BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4bcdb4c50163b82c0c986378896fa85ea7b62a9","datavalue":{"value":"logical deduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713355$1CEC87B9-4B03-4B4C-A6F3-E8E21CA15CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713355$54467E86-4C29-47C7-A560-0B9112F21149","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":"Q2713355$DB4FFA55-1546-4E04-8EE1-AD4605083511","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d350bc173eca6b7529f9eb58c4d71aa1c33f623","datavalue":{"value":"https://doi.org/10.1017/s0960129500003273","type":"string"},"datatype":"url"},"type":"statement","id":"Q2713355$3EA33C3A-1DFD-44CB-9145-1BCA536969DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e89d674e4b0c16c2d51923b32f546e31bae0f28f","datavalue":{"value":"W2148143203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713355$23E27EDF-A5F0-4210-9474-AEA1A7C0E960","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f05cd6753491b5836102c47ec38d29706f79787","datavalue":{"value":{"entity-type":"item","numeric-id":5213610,"id":"Q5213610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef75af3b6da2ed1ebd60a4042410b4fec1db0b7","datavalue":{"value":{"amount":"+0.8692122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2713355$51B29F2E-5898-4069-AB4A-0EDECA998699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c22e727e399f479ab19457dace14af5e379b90a3","datavalue":{"value":{"entity-type":"item","numeric-id":2703494,"id":"Q2703494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"517debcf9ffadfcfcb8ec47290766da4ec6e6301","datavalue":{"value":{"amount":"+0.84517354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2713355$B9FE63AA-71B7-4DC6-B4FF-CD11A1A2165F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"943d690423531fcfbd8c012633f5807f0fa1f9a8","datavalue":{"value":{"entity-type":"item","numeric-id":5040173,"id":"Q5040173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e51eb5cfc1bfc324a31ad6b9d053c9964c9808","datavalue":{"value":{"amount":"+0.84371954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2713355$18336AA7-B5F2-45A9-AA6E-A5C2B7B1AA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a1e17eddf55b13c84ff2defa149d71a93296f0","datavalue":{"value":{"entity-type":"item","numeric-id":4530460,"id":"Q4530460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2eba45239cc02aff78aa6ce815229a30cf70ba","datavalue":{"value":{"amount":"+0.84365696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2713355$0D48D91C-DF00-405A-9E48-184887E7458E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11cef07e2172f0e710885331d2c86c993bbefbd","datavalue":{"value":{"entity-type":"item","numeric-id":1311051,"id":"Q1311051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e91016f9a69b33cca2b27f6235af3816312399d","datavalue":{"value":{"amount":"+0.84321433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2713355$E40D921C-63C9-4E5D-8213-A064CED7D723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce871da3083f9569bcdbed95a098aa7376083b7d","datavalue":{"value":{"entity-type":"item","numeric-id":2752530,"id":"Q2752530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b15b14d9cf3bb38b07f1448a91717bcdbcd811","datavalue":{"value":{"amount":"+0.842317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2713355$7BD82777-E1F1-499C-A8CD-D01C4D17A684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610063cb2d5d625d23d1434e89afaca2aaf608c4","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b354582ec2b0f76af6edb5456c0bde501ccc68","datavalue":{"value":{"amount":"+0.83674973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2713355$9B5ACFE9-7456-4FBB-8827-CDE60DCD7705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68211a7e42d5820c042f0e78f684627476a3887e","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42781b12762e584a29cd48f55c425eb8164f4406","datavalue":{"value":{"amount":"+0.8335004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2713355$BD60FA08-CC65-434D-A370-2DFCD948EAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6fc6366c0c2b2e621d1db85f37747606df9abb","datavalue":{"value":{"entity-type":"item","numeric-id":3781102,"id":"Q3781102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535863466a23389f93028ee06666c12f2987445f","datavalue":{"value":{"amount":"+0.8321496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2713355$3AF2721A-9181-4D2D-83BF-2C17BDC87EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f48fe0e6d1c93954c8dceaa22389b2e72b4533ba","datavalue":{"value":{"entity-type":"item","numeric-id":5945008,"id":"Q5945008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f833b32fb3d5a8ad190a81dc69c5623756e3191","datavalue":{"value":{"amount":"+0.82967067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2713355$68DE1706-F99B-46DC-9FAC-9F9EEF82AAB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec159f1e880362cf671a113c6496de63141fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":6768254,"id":"Q6768254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2713355$6C149AD2-FA0F-4AEF-AD12-F1FEC9699481","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut rules and explicit substitutions","badges":[]}}}}}