{"entities":{"Q1137877":{"pageid":1148626,"ns":120,"title":"Item:Q1137877","lastrevid":42902493,"modified":"2025-07-15T21:16:39Z","type":"item","id":"Q1137877","labels":{"en":{"language":"en","value":"Using rewriting rules for connection graphs to prove theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3669889"}},"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":"Q1137877$11FA0F00-8E1C-4218-BBDA-C76EBE087FCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2ade9017b33bdcb4d70edd417520449667e038a","datavalue":{"value":{"text":"Using rewriting rules for connection graphs to prove theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1137877$0DB9E64F-F023-469A-9273-D36437CFA1D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"302bb71d8f298428f4e5bc498d8eb783e4d510b8","datavalue":{"value":"0429.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137877$198F8AE9-7118-4EC7-A4FA-1C51DF4BEA47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e9bc623b92acfa765f90674c9e8db85fd906bff","datavalue":{"value":"10.1016/0004-3702(79)90015-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137877$D70FA4A6-6444-4D51-9F9F-BD95A7BAC54D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$DA1C82EC-8707-4F10-92D6-378081D69A51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$AEB535E7-41DD-437E-8991-7EE99483E84E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1137877$8252BF02-5BD7-4C0D-A2BA-0ABEEE9CC842","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137877$18798A70-2478-4D8D-86BD-1AAC5185A944","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f151fa1d68754fbb54ed025559144d698fc07cda","datavalue":{"value":"3669889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137877$93DE0207-035B-4ECB-9484-8BAAC5A42923","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237bb64abe07c31904fc0e8e2ddf2df232747977","datavalue":{"value":"rewriting rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137877$09121FAD-9F96-4DAF-BE0D-40BEFD032CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32582a9ca578df5e765eb00017c3143309bc8722","datavalue":{"value":"connection graph procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137877$00286F3D-1F32-4E4D-BA02-452F47FBB0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137877$C3AB1C2E-19BB-4B57-9E1F-5E43C71C1AE0","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":"Q1137877$9CB5823A-2813-47D8-932F-272BDCD4A7C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc37fb3c894bbd3221d9af37c2cce2f15af2afc2","datavalue":{"value":"https://doi.org/10.1016/0004-3702(79)90015-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1137877$1527D22B-2B10-4631-93B5-4ED86B505CA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d50e1e424c1bf4c6b3d2d2550413c2f340a1ff3","datavalue":{"value":"W2037274636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137877$CCBA1145-CFBE-410A-B01A-98F7E5AE2F9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"818f2044ada61f8186028673bf007a526a9aea73","datavalue":{"value":{"entity-type":"item","numeric-id":4096457,"id":"Q4096457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$C4D1DB6B-BCA5-4135-AED1-2FF4A38080B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85302529ae8048931d942accdfde415f39d0d59","datavalue":{"value":{"entity-type":"item","numeric-id":2554609,"id":"Q2554609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$25004870-6D27-4692-83C6-26665234A7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b8154126bb7dcff376a3fb5230eefc60388d66","datavalue":{"value":{"entity-type":"item","numeric-id":5652222,"id":"Q5652222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$BFC25156-8C77-4255-942C-E8D7C96C127F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d6412374cd99d26f25760aacca4ecd0fb813a7","datavalue":{"value":{"entity-type":"item","numeric-id":5339307,"id":"Q5339307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$FE8D2DA2-5BBF-42C8-8A0E-18C61E87ADA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76aa1eda94d9a926c49201f286596fe90487fff5","datavalue":{"value":{"entity-type":"item","numeric-id":4188779,"id":"Q4188779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$7BA65BEF-9436-46E9-BAC0-E26251633A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45ed88c84c30a799c478233e266ce605894b324","datavalue":{"value":{"entity-type":"item","numeric-id":4133168,"id":"Q4133168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$5E5725F0-0FEC-404F-A091-195A16A7D073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a18c9be85115cc170432a50905e61cdb1300d5","datavalue":{"value":{"entity-type":"item","numeric-id":5585003,"id":"Q5585003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$B53073CA-5D3C-48D9-B8F6-AEE84AAA2D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e82257b416db4246a715182cdefecc0570e41d","datavalue":{"value":{"entity-type":"item","numeric-id":3279281,"id":"Q3279281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$C4EE3773-06A1-48BB-AF15-BF5380FA37AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cceee8a5fb32e6eb7443356542ae558c36b13a21","datavalue":{"value":{"entity-type":"item","numeric-id":5672214,"id":"Q5672214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$58F3F2EA-A705-4954-B8C3-7672264D79D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$10D0067F-B9BF-45AE-A72D-9D783886AB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bd4f24e8eb1a084ca4ac4963d45f487b7e5bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1226867,"id":"Q1226867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$1D73535C-D538-44E6-A9F8-863F73F766F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c3547e1c2cc867bc4bf25f2aadfd5ce3114f18","datavalue":{"value":{"entity-type":"item","numeric-id":4096461,"id":"Q4096461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$1DA41FAA-1C76-4909-931A-83F859DEAF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd37d50d5d2880c1b79306c2f454035a01b03d1e","datavalue":{"value":{"entity-type":"item","numeric-id":2543000,"id":"Q2543000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137877$4EFDE074-600B-4E08-8158-6AE6B017EF40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1137877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1137877"}}}}}