{"entities":{"Q5111303":{"pageid":7140877,"ns":120,"title":"Item:Q5111303","lastrevid":46185301,"modified":"2025-12-24T00:10:41Z","type":"item","id":"Q5111303","labels":{"en":{"language":"en","value":"B\u00f6hm Reduction in Infinitary Term Graph Rewriting Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204427"}},"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":"Q5111303$B0C19723-35C4-45E7-9FE4-2F693B9E9A22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a1e4f133f07c8350a5c5b0957ff085333638b31","datavalue":{"value":"1434.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111303$7758AEB0-72B0-4705-A164-ABCD425F56B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4136daa22cf2091db4454b4ad389b74934d06947","datavalue":{"value":{"entity-type":"item","numeric-id":667428,"id":"Q667428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111303$C5688611-3062-45AB-B1BA-1827153CE4C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111303$BA8CB317-E161-45C2-A2C9-A0580CCDD347","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111303$4F9E9A7A-08F2-44B4-BBB0-BE004F107BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111303$33C40E7F-DF3D-4611-ACF8-861229973473","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4c6f48e6ecefefac002c3f9dda28b079cafebbd","datavalue":{"value":"7204427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111303$B9F341EE-ED19-48D3-89AA-5A042C6B0CEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f56d129a8b4b3522bb15ffbeec4fec64edc5f5f","datavalue":{"value":"infinitary rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111303$7686D143-1A2F-40B4-861A-33D0886D4914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eace8dbec38ec66fa156644db5e4adb455df6121","datavalue":{"value":"term graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111303$01CE0D77-9D59-4C32-9D68-6739ADA4C930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111303$2FAB7ECE-0452-4BA0-BCAB-F98A8F32DF10","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":"Q5111303$24F3C31E-6BDD-4732-BC6E-792D6FE39AC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b164eab697ac3242b5a7167e810b22bee245c97a","datavalue":{"value":{"entity-type":"item","numeric-id":5389135,"id":"Q5389135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111303$0CC6A41F-888C-4342-A53E-1C3D851BF235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88979e839602fdcb6309d187c38d620ae698eb81","datavalue":{"value":{"entity-type":"item","numeric-id":5389136,"id":"Q5389136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111303$47D30E5C-7DAC-480A-BEF5-6847BA432250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb858ae18c11ca1b60d56eab91f118e2e5f73d50","datavalue":{"value":{"entity-type":"item","numeric-id":5111897,"id":"Q5111897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111303$8EB43466-5D70-4019-81FB-EAB4A0E686F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed53823d817192b4d96d4668449095e3a41e54d","datavalue":{"value":{"entity-type":"item","numeric-id":4764617,"id":"Q4764617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111303$D998B6E2-FAC3-4301-854A-858477D270EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5a16b889a55b8ab0bc43e030a5cca97f6aa3ce","datavalue":{"value":{"entity-type":"item","numeric-id":1823673,"id":"Q1823673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111303$518DCA21-610B-4AE9-A8FF-BE7C54ECB81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111303$133941DC-28B8-4BC1-BAC0-A9DD0EE0FE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a802643d47446f2ba0a2c18eb45ac08dd19cf51","datavalue":{"value":{"entity-type":"item","numeric-id":4259973,"id":"Q4259973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111303$7A046150-B261-4F45-98DF-3E9F27F1488F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a5e7f94427d670644e085b2be0d1c199024796","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111303$DEF1C528-7FB4-4F0F-B12D-EA432F41BA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd18787782015b7e4cdfec4f80eec7185d2f979","datavalue":{"value":{"entity-type":"item","numeric-id":5901571,"id":"Q5901571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111303$743D653C-A72B-4F3F-BFA9-A624B8E8FD96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f5153d1f04a3a887c25dfc3a0501f646e8bef23","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2017/7727/pdf/LIPIcs-FSCD-2017-8.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111303$1367A54F-8132-4539-B223-850F6890A5C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bd52861ac52dbb2a5c8eb109dc7d97dadbabdfd","datavalue":{"value":"W2760539377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111303$32C05C25-B8A9-40E3-866B-A4101C5404B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fe565ecab06454247e5a9f7bae1daeb9bdf4eec","datavalue":{"value":{"text":"B\u00f6hm Reduction in Infinitary Term Graph Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111303$490314F4-41A6-4494-9476-588B100CDF22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f82a101b98363d7cb17abd26aa165dba72eec9bd","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111303$FB899924-EB5D-4A5D-A846-C24AA696820D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f881908f3cf345973ac2414f85d9eee100830884","datavalue":{"value":{"entity-type":"item","numeric-id":5389136,"id":"Q5389136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee30425f5e795189df6e74937f2943bb57426770","datavalue":{"value":{"amount":"+0.8692690134048462","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":"Q5111303$BA5D16FA-5DF1-46B3-BCAE-0AF63AD14927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9cdcf001cebdb754b8373348187e8727c7119cc","datavalue":{"value":{"entity-type":"item","numeric-id":5419490,"id":"Q5419490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca45112878970ee1e9fd33754c5e855a184b9af","datavalue":{"value":{"amount":"+0.8289075493812561","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":"Q5111303$BB06BFAA-540A-4B4B-BA8B-8F34003F21CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b00f7c522a703614e059b491fd76476df84017f","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7d6bdaa176aec120054431c67f77183c8301bb","datavalue":{"value":{"amount":"+0.8098934292793274","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":"Q5111303$3E1452FD-5FE4-4535-83EA-01F6702DA315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5598ee8b4b27ef75188452446c37c748b9f195","datavalue":{"value":{"entity-type":"item","numeric-id":5111897,"id":"Q5111897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eed6561b4a5aa89ac5266c4d0b84c6dc8a2e686","datavalue":{"value":{"amount":"+0.8065673112869263","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":"Q5111303$E0AF273A-D358-412A-92DF-D8E1A4B00643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e664d94900514794f7162a6f95c05fa87bba23","datavalue":{"value":{"entity-type":"item","numeric-id":2888507,"id":"Q2888507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7ede304136baebfba54979f97f126665371168","datavalue":{"value":{"amount":"+0.8043274879455566","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":"Q5111303$34CD0E3C-E8D8-4668-AF4B-8D2FCD14C23B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111303","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111303"}}}}}