{"entities":{"Q4931325":{"pageid":6960907,"ns":120,"title":"Item:Q4931325","lastrevid":40953250,"modified":"2025-04-15T02:26:39Z","type":"item","id":"Q4931325","labels":{"en":{"language":"en","value":"Local Confluence for Rules with Nested Application Conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5795670"}},"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":"Q4931325$52070886-AA99-473E-B9CC-4EAF4ADE570D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51d3140c50dceed3dec33ca7a91e638dfbf1667d","datavalue":{"value":{"text":"Local Confluence for Rules with Nested Application Conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4931325$3D988154-5408-4E98-AB63-E7F7F873F50E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcd902622601041236e4a871a8bf78efaeae5865","datavalue":{"value":"1306.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931325$916ECDDD-FD37-41FA-94E4-6CD34DBD66DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf005dc36c67662e797f1ba5dfc4988d80e06ec7","datavalue":{"value":"10.1007/978-3-642-15928-2_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931325$3AAF9D38-0ABE-471B-961F-A79258821B1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7932890ff79a7b196908702cdb1b3dc6a332d7d7","datavalue":{"value":{"entity-type":"item","numeric-id":171481,"id":"Q171481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931325$F697FE71-E9DB-41BA-BFE4-54CA81EA6763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e0d716fe761e50ebe2a87a6a363c057ffbb434","datavalue":{"value":{"entity-type":"item","numeric-id":418013,"id":"Q418013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931325$C246B10E-6E66-4405-B86A-AA060A77EDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"874a476e6716f6cd8f170e2420dcab2786650206","datavalue":{"value":{"entity-type":"item","numeric-id":347378,"id":"Q347378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931325$CD0B4CA4-73DE-459C-ADAA-DBA4E6745243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804fb81fad8fd101074287ddc26e93ed7bd26a05","datavalue":{"value":{"entity-type":"item","numeric-id":418012,"id":"Q418012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931325$FB9B6407-3DE7-46D6-89C4-0CEEEF9033F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9688c2b4abadd78a444a878d8043fe5f73058cde","datavalue":{"value":{"entity-type":"item","numeric-id":1098319,"id":"Q1098319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931325$3D6C2198-D52E-4E87-9C41-FE7D1CEC6180","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931325$B6B94C82-7A68-439B-BD2E-C26124A5C3F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74cfab7d3906afc05e862851cc22fb484b12e8f1","datavalue":{"value":{"time":"+2010-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4931325$045F8DD0-E58D-493E-8CF2-1A2C4F9407AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aeb3cdee499c3898b28086c570686dbe189409a8","datavalue":{"value":"https://depositonce.tu-berlin.de/handle/11303/11356","type":"string"},"datatype":"url"},"type":"statement","id":"Q4931325$CD8ACFA0-DDCD-4292-B85B-90F94B55EAB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931325$003EE21F-6B30-4046-B612-B98342F871D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05c48167c4f609d6835ffd40989136c1d6f528be","datavalue":{"value":"5795670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931325$A221C0D8-8896-4DF5-9BAD-EB1D41B37942","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"688264d772c59a381a1bb6b0f73efc2ab822f13b","datavalue":{"value":"critical pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931325$140CFCC4-1CA8-4468-8C09-64690F3A1740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"336f2be9956a1184564fceaa16d494aaef70c1cb","datavalue":{"value":"local confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931325$AE3CF212-6948-4C16-AF9E-9388C4BF688F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931a163395e66e2dbdb7c27e436797e793d8bac4","datavalue":{"value":"nested application conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931325$11016D98-3167-41F0-B1B9-0F991C1C755D","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":"Q4931325$0FBF0089-C6B8-45C2-8F9D-B9B7D2406DCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54e8dd1d31a29bd5e343506766f9a21c8818bc6f","datavalue":{"value":"W1852104647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931325$5F84B148-A17F-4618-B840-F817230E0832","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920106f300b1dd4f3b2d0da9a537c94a1be50062","datavalue":{"value":{"entity-type":"item","numeric-id":5100729,"id":"Q5100729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983a2015ef06ac3c733529d83d01b979603bf6bd","datavalue":{"value":{"amount":"+0.8227002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931325$7FC73AE0-C8E6-4318-BFF2-0647EABE5EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d40aad2e3c749be0e685275cb1eb866b30e2126b","datavalue":{"value":{"entity-type":"item","numeric-id":3608657,"id":"Q3608657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199be9c212b01c2cad238534928cb5ca634d5fa5","datavalue":{"value":{"amount":"+0.7993463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931325$CE743EF7-0CE4-4136-961D-2142D73F6EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d03574835f8ed7c41930da9abcbddca8bc2a6c","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e550a852b41fe2f56b867967841409818620a52","datavalue":{"value":{"amount":"+0.7866324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931325$FA00C151-4239-48EC-81F5-9615B46D33A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4f2b25cc21a7f4481df2b91af9e88d72bcbbc5e","datavalue":{"value":{"entity-type":"item","numeric-id":751642,"id":"Q751642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45503d9d46d250694981575c875f7f92d73a2b0","datavalue":{"value":{"amount":"+0.7750811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931325$A8E104D7-BB09-44A1-99A6-2E0C594810AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20f59570fb168c4a547f8f3a2c4a911241dfb60","datavalue":{"value":{"entity-type":"item","numeric-id":5170836,"id":"Q5170836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9313bd39a3dc36af428e965aa0076d3d2a01abc","datavalue":{"value":{"amount":"+0.7705368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931325$01C069BD-086C-4106-91CD-98B38331EBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b06d8944d76546d99de2e474ee2d809dd68c88e","datavalue":{"value":{"entity-type":"item","numeric-id":5321533,"id":"Q5321533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02cefc96dccade654b49c6c4f629b332d8c8ad9e","datavalue":{"value":{"amount":"+0.76883984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931325$B48DAC6D-225C-450B-B5E6-F3FD1F0B41D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8001254e46de7fc9b1bafa8a163a63162e75680c","datavalue":{"value":{"entity-type":"item","numeric-id":5710414,"id":"Q5710414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1752f1ab66995f9f5fd14d820462a418ca56d8","datavalue":{"value":{"amount":"+0.75758594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931325$C584051C-AEE9-44A6-AEAD-14F702ECFF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b6c9ba60a425af60af31253dbd216e1141963d","datavalue":{"value":{"entity-type":"item","numeric-id":4911146,"id":"Q4911146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0914b278e5d302faf7b31e9299700e66cddfad54","datavalue":{"value":{"amount":"+0.755448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931325$7731B9CE-8D95-4644-9C57-D95140DF0A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d0858f2c6052cdf5e935fbbcec146febabf095","datavalue":{"value":{"entity-type":"item","numeric-id":2876316,"id":"Q2876316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fdf51709338718433029afce4459296a776fe4","datavalue":{"value":{"amount":"+0.7551983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931325$ECB03555-4EA2-4AE2-BA8E-6D5BC54EF407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1611cb9417e5134b7d8804249cc6b5e2f380a2","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53c6ed5e42d5b93bccd3a626983aeaa7fc9d7ff","datavalue":{"value":{"amount":"+0.7519325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4931325$425D8E3E-1A17-45E1-B0E1-DBA4BA689939","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4931325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4931325"}}}}}