{"entities":{"Q4133168":{"pageid":6162768,"ns":120,"title":"Item:Q4133168","lastrevid":96436178,"modified":"2026-06-05T11:16:17Z","type":"item","id":"Q4133168","labels":{"en":{"language":"en","value":"A Proof Procedure Using Connection Graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3557277"}},"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":"Q4133168$CC176A18-AA91-433E-8D06-9975FE7FAFF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b17d42bfc5c886c8dc16f731679a403e469cbe84","datavalue":{"value":{"text":"A Proof Procedure Using Connection Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4133168$4D14DD94-14C0-4686-8A76-3A7F8BAFB52C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cabd559ae7263edf44a1a36de5289293b137a872","datavalue":{"value":"0357.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133168$1262A922-63F8-4DAF-9347-8515D5E6AA00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0402cb844a8949593a3f164474830db9ffdb772c","datavalue":{"value":"10.1145/321906.321919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133168$6DBC83F3-30B5-4623-920C-17A38C18CDDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00307f35e60c8191f73414fc0f32ebe37cbb927","datavalue":{"value":{"entity-type":"item","numeric-id":264955,"id":"Q264955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4133168$30CC28F7-EF14-480F-9F03-D041CC73FD95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4133168$B43997F4-C776-4BEB-8F16-45E6BE4DAC1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q4133168$E84CDF7C-5052-411D-B9A7-28439DCB432D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133168$AEF622E2-6365-4F42-BCD1-F8A4E95B7CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133168$6E653704-48F8-405E-814C-2ED46A4E8FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"357c7c34a1a90d83243f17011b7aa90788d1792d","datavalue":{"value":"05C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133168$491547F8-0A97-404D-BF20-AC6E4F1FA624","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e312a73f7f417cfd854afd193fa379a1bb8c58d","datavalue":{"value":"3557277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133168$B0C91D4A-8F7C-4DD9-8485-71846B728E66","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":"Q4133168$B6B67863-4093-4C93-81C8-4985213FBCB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2d96e2c2e342024a84ee03eaef6e13109e92cc0","datavalue":{"value":"https://doi.org/10.1145/321906.321919","type":"string"},"datatype":"url"},"type":"statement","id":"Q4133168$FA0BAC72-9673-48E3-8AB9-BEF731133AAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe19062894b2ee16f5abe1c114ed995c76ae1e5b","datavalue":{"value":"W1970045008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4133168$84908796-5406-4A62-BD86-03FF359918A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Proof Procedure Using Connection Graphs","badges":[]}}}}}