{"entities":{"Q4645805":{"pageid":6675386,"ns":120,"title":"Item:Q4645805","lastrevid":89921210,"modified":"2026-06-04T18:37:15Z","type":"item","id":"Q4645805","labels":{"en":{"language":"en","value":"A complete proof system for nested term graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7000083"}},"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":"Q4645805$1D106A0C-265D-474A-8BAE-DAA03D828B98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45737ed3ac329204c2f407154f95a47daa550f43","datavalue":{"value":{"text":"A complete proof system for Nested Term Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645805$D43BD361-F010-4834-A209-50A54029B1ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5da6a6e6da352c77a4ae30a53f5d878d9b2f9d80","datavalue":{"value":"1407.68237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645805$1DBDAE2F-19F6-4BC8-A0BE-4432E6656E29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee7c9e95ed6b7ca0233d8912cf829a8a9b1cae5a","datavalue":{"value":"10.1007/3-540-61254-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645805$8B3F7918-7585-49F7-9E58-AA257F53BC49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"041d5ee3fabd59c2cdad1eb3f2e35ff32f1de0f9","datavalue":{"value":{"entity-type":"item","numeric-id":1630042,"id":"Q1630042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645805$2B2E86FE-3C0E-44E4-8F53-5955D0E3D98C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f4e0f8e524361885297eed7490a40202225a697e","datavalue":{"value":{"entity-type":"item","numeric-id":4645800,"id":"Q4645800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645805$B210D9FA-EBB5-434C-B64C-4ED7CB3FF947","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0a1786c627d23fd7437b6a14326c56be749770","datavalue":{"value":{"time":"+2019-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645805$8BC2E381-0821-4ECC-94ED-8A230A60336E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645805$77D213C4-442D-4FDA-B6A7-011820A7D265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645805$614B9AFD-87F6-47A1-9B1A-DEB8AEBBAEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645805$99415D98-C341-4949-923D-082036452B9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c233b5eddb184486df91d76dc579e835ee98cad","datavalue":{"value":"7000083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645805$A7FCB3DB-75D9-4FF6-AEE1-5975F503DE94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa530abbbf3c263bfda8a22c0625877db212595","datavalue":{"value":"black hole","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645805$6161EB4D-36C7-48CA-A4A7-E8516133D6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3ae69788226feca6ae8044c1c7a9062ebff252","datavalue":{"value":"function symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645805$81EBA75D-0985-4054-A8E2-E27836F0E001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645805$43577E73-6CDB-40C1-8654-FCBFB82AF72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba813033450a4388c099d98e1235b855f629520","datavalue":{"value":"garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645805$B90C6CBE-6D1F-4D00-8E46-3C865EA5432A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95ea9446b03f5f7259145c1d855de754bff1230c","datavalue":{"value":"underlying graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645805$DB8526AC-6AF6-42DC-B327-D9BC0CB55C05","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":"Q4645805$572BADE7-3C21-4282-B1EF-0059E4083D7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d49d244db203529385067a4737ba8872a36a5824","datavalue":{"value":"https://doi.org/10.1007/3-540-61254-8_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645805$45A7FFD6-0986-482B-A26C-28EEE1B6B8E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbb234432112276ab92f78fefc9693e7565fada8","datavalue":{"value":"W1574241317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645805$6AEE3C32-1ABF-469B-8BAC-8C4A3179AF58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46a8bc6502e09f75290d4a8854327f8dc52f38d","datavalue":{"value":{"entity-type":"item","numeric-id":4890709,"id":"Q4890709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645805$9E259F47-2D0A-461A-8225-43B687AA7FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645805$404EA3BE-F9A0-4358-9A33-3E320AAC77D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645805$A7A5A243-ECF5-48E9-B5A6-DDC3BED4BCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645805$D72274A0-81D7-4E55-84FF-2D5540301FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645805$C86C0EF3-2FA6-4BD5-B6ED-1DF0807DAF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645805$221DD50B-F029-4C44-BD18-6354F57CA267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0426e61a4750cf11d302b47b0624f9b4ef55cbc2","datavalue":{"value":{"entity-type":"item","numeric-id":5287535,"id":"Q5287535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645805$DDDA4009-5B83-48E9-BD6A-58A2EEC72FFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa898f1ea21bd377e1bc7502a9590219489c947","datavalue":{"value":{"entity-type":"item","numeric-id":5013813,"id":"Q5013813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2c059fcfe20b8cc2dabc44865f650800d2445c","datavalue":{"value":{"amount":"+0.7969267964363098","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":"Q4645805$F971481F-E78A-451F-AAB9-E0327E7C5520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79dcc09fce2f4a780ce364fde69cdf04cb02acba","datavalue":{"value":{"entity-type":"item","numeric-id":5308096,"id":"Q5308096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cb3090a0a8e5e330b359f6a9aac61d702a4d61","datavalue":{"value":{"amount":"+0.7817791700363159","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":"Q4645805$A95F0ED0-4E12-48DF-8CAA-AFD262B403CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e10ee0e73de9e33f04e1f066780f797f8216a90d","datavalue":{"value":{"entity-type":"item","numeric-id":4890709,"id":"Q4890709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b5358c9f4b2aa947f47dcf3fb8d05e5f6c7db9","datavalue":{"value":{"amount":"+0.7400768995285034","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":"Q4645805$2D77C17D-E979-4272-B430-1580BF16428E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec530746eccf4ecbe5c092ef93257110410c56c7","datavalue":{"value":{"entity-type":"item","numeric-id":2873679,"id":"Q2873679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984fdcf0f7d7c3d0ffbb8ff04177aea4d8bad75d","datavalue":{"value":{"amount":"+0.7382672429084778","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":"Q4645805$DCA17724-0A49-49DA-9B81-C122AD186821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1743250094eec35f5641d8a39416bdbaf3972f54","datavalue":{"value":{"entity-type":"item","numeric-id":2843933,"id":"Q2843933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613e323b8caa734d306a43f84fd9d768b0d92f87","datavalue":{"value":{"amount":"+0.7361270189285278","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":"Q4645805$AE4B92DB-B184-43BA-BA3E-FC55C202BAC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete proof system for nested term graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_proof_system_for_nested_term_graphs"}}}}}