{"entities":{"Q5878911":{"pageid":7908462,"ns":120,"title":"Item:Q5878911","lastrevid":101978135,"modified":"2026-06-06T03:14:22Z","type":"item","id":"Q5878911","labels":{"en":{"language":"en","value":"Confluence without termination via parallel critical pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7656676"}},"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":"Q5878911$C6B8AC09-A722-4102-A55B-7735B28D1B56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01c421169f45405d6a7a2541766c4d17d2ab209c","datavalue":{"value":{"text":"Confluence without termination via parallel critical pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5878911$EF3A3E84-F443-45B8-B59E-F47D45EC1E93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0599da6bc7777592d41a676a9e73c26f53d1a04","datavalue":{"value":"10.1007/3-540-61064-2_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878911$BFC3C319-D442-4E14-9359-9E49CB516413","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"10a2dd9cfab3350d57ecfd66941f44fbfa64643c","datavalue":{"value":{"entity-type":"item","numeric-id":5878896,"id":"Q5878896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878911$B78B65CF-AB3E-4834-A557-6105D99E8C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729820b3d9c942c8ddeec0ce26b9b49723352c71","datavalue":{"value":{"time":"+2023-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878911$3C198C76-81F1-44F8-BADB-6342F956CBFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878911$4DD80BAD-8EB5-4C9E-B039-F5C76AA26772","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dff5f223a52a7be44754b2f813c925ebd6e13a0f","datavalue":{"value":"7656676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878911$685F2208-AA29-4236-B32A-FA79847F612E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd62929982c5bab719524b29f6af40450c0159d","datavalue":{"value":{"entity-type":"item","numeric-id":671505,"id":"Q671505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878911$546011BA-52DE-4B4B-8B7A-CFAEEDFCA64E","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":"Q5878911$70BF41C3-3159-42E3-953F-5565AB0CF484","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae9aa69b004b4597921644012dc6f866289a4f18","datavalue":{"value":"https://doi.org/10.1007/3-540-61064-2_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q5878911$AD3E0D45-6F0B-465F-A0D2-9C3A1AF1E99D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88cb690ea849f27c6ad48155574b20b389efe036","datavalue":{"value":"W1591581638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878911$5EECFED6-F991-4452-B168-C355BC190AC6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a4c6ba020fe36e67df493632903d5f8e8e95e9","datavalue":{"value":{"entity-type":"item","numeric-id":4296747,"id":"Q4296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878911$44371CF5-77D5-4520-A189-C718CABC1C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec66fa64dfef8f56381c0991953e048ebc1437b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878911$5E95980D-4E22-4315-9D4C-D45F67217506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878911$34CB7F00-DAA1-46A0-84D8-2749FC370A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de387b474a5e7630b2d32a58f2ca9248ae0f8e21","datavalue":{"value":{"entity-type":"item","numeric-id":1322164,"id":"Q1322164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878911$7C1475BB-F0AF-4BB2-BC61-429290D945F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98cf0eeaa5161630234d4614855917a718b5d476","datavalue":{"value":{"entity-type":"item","numeric-id":3038598,"id":"Q3038598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878911$C9627368-222E-4516-921C-61F4A65A066A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878911$E6DCF6C1-C887-4311-B982-EE142EE447EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00912eec06d4f9baae512236a9b80f68a52ee40b","datavalue":{"value":{"entity-type":"item","numeric-id":3830525,"id":"Q3830525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878911$6B71A352-2F1A-482B-A7D3-C4CF4B3265D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcf024aa9c11d7a9325b0e6852ea3f518f6f848","datavalue":{"value":{"entity-type":"item","numeric-id":5055864,"id":"Q5055864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19591fc17e17f78db2e0107cb87dda792b12131b","datavalue":{"value":{"amount":"+0.891795814037323","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":"Q5878911$27E758AE-D22F-475E-AD77-3B65ADD9896C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227e7e3b42267e7f38cb644705a4d0b5663b2235","datavalue":{"value":{"entity-type":"item","numeric-id":2891456,"id":"Q2891456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda286387f7d753928b2fc21443f71802ec86477","datavalue":{"value":{"amount":"+0.8683443665504456","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":"Q5878911$D7B3458A-5F39-4055-B42A-F3FB6F4F7B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217f54b6c3935910f43ccc6f844514028ca0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5703842,"id":"Q5703842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663469821230a904bfeee376b3208de11e677f21","datavalue":{"value":{"amount":"+0.8645967245101929","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":"Q5878911$8AB026E6-F39C-462C-AD7A-772A1DB3ECE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d5ea8f319beb02881e79c56f126cf784c2a02d","datavalue":{"value":{"entity-type":"item","numeric-id":5170823,"id":"Q5170823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037c8fb8330f2eac73596fdf0f62f9454898eda1","datavalue":{"value":{"amount":"+0.852689266204834","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":"Q5878911$3308D9BF-420C-4C24-8E9C-AE996CB2FA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"912c3ee7667b8867a99bcfcb734d781e01b591c8","datavalue":{"value":{"entity-type":"item","numeric-id":3527284,"id":"Q3527284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1add1b354a1e8bd5e1fb8f5ec05e9dced49345","datavalue":{"value":{"amount":"+0.822630763053894","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":"Q5878911$6A8FAADE-A1CE-4B6F-9F79-1398261472A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Confluence without termination via parallel critical pairs","badges":[]}}}}}