{"entities":{"Q2782478":{"pageid":2793216,"ns":120,"title":"Item:Q2782478","lastrevid":83262860,"modified":"2026-05-07T06:55:01Z","type":"item","id":"Q2782478","labels":{"en":{"language":"en","value":"Church-Rosser property for conditional rewriting systems with built-in predicates as premises"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1724407"}},"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":"Q2782478$50D136FF-C4A4-4F3A-804F-BD938EF081BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1c75d36e12236ff3a04aa002bdf1170f4a98d94","datavalue":{"value":"1004.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782478$313A3BDA-8DFF-458B-9064-17D5A5444E76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782478$FA0AB389-45E3-4E3E-B5E5-E331B1B79FD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3583c475d5b5f4ed43ab2b529774b77c32bef8d9","datavalue":{"value":{"time":"+2002-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2782478$CA6E137C-5B5B-483B-85ED-3C81684B7CB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782478$1D4591CD-17FF-43CB-A06E-88EF7D155487","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"785e89b6ddfca13d803f51c17a72dcffb63745c9","datavalue":{"value":"1724407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782478$073E8316-4228-47DA-8163-8D0D347DC2E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4319312dd61f53c06c4678587f37500db2378ff2","datavalue":{"value":"conditional term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782478$1019572E-3A0E-467C-A997-2E024903AD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782478$45B352E2-7061-4B68-990A-D84AE8E048B8","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":"Q2782478$EB0C39D9-95B4-47E7-A7CA-E7DB3C5CA0A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70c420613a8b646ff8fc00141ddc9a23d581192e","datavalue":{"value":{"text":"Church-Rosser property for conditional rewriting systems with built-in predicates as premises","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2782478$2BE19A88-C204-45A3-9C9F-5DA546BCA8A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46fe65993e794ceb364f460c685272a81366462a","datavalue":{"value":{"entity-type":"item","numeric-id":1189444,"id":"Q1189444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354209ac3be1db7a11cc58dc0357a372671497fd","datavalue":{"value":{"amount":"+0.7611764073371887","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":"Q2782478$07AEAF54-BF4B-459F-88EE-D5BEFCA2501C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18bceb515c67fa017b419606b89d34cf8fa4820e","datavalue":{"value":{"entity-type":"item","numeric-id":5881179,"id":"Q5881179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89483e585607b155ababd566e3a35d9a82c6fb4","datavalue":{"value":{"amount":"+0.7602819204330444","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":"Q2782478$2A69D07C-0736-4AC1-85B3-B05C4F8DABA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22166a6f863f3d93e30ac50b27836a39500db44","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84592da96954217d8d7427c2f2e1603499ef63d1","datavalue":{"value":{"amount":"+0.7543328404426575","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":"Q2782478$13F3454D-3E77-4C47-93B9-6622AEB8A285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a13f71fe71fba92be42f2c6230aa618eec2301","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4797c097445b878e94849f67373c2b83aab7b1","datavalue":{"value":{"amount":"+0.7532006502151489","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":"Q2782478$999DD8EA-0DCD-4D5C-AE8F-13ABB255EBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6574306d2419827858f10ebf8d18454bcc32293","datavalue":{"value":{"entity-type":"item","numeric-id":3706484,"id":"Q3706484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8acb5f8c30537832e0531386d6f8acab0862cc7b","datavalue":{"value":{"amount":"+0.7531580924987793","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":"Q2782478$22B868BE-522B-4584-A2AC-85FE01501137","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Church-Rosser property for conditional rewriting systems with built-in predicates as premises","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Church-Rosser_property_for_conditional_rewriting_systems_with_built-in_predicates_as_premises"}}}}}