{"entities":{"Q4933334":{"pageid":6962916,"ns":120,"title":"Item:Q4933334","lastrevid":51101825,"modified":"2026-01-16T16:33:37Z","type":"item","id":"Q4933334","labels":{"en":{"language":"en","value":"Constructors, sufficient completeness, and deadlock freedom of rewrite theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798924"}},"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":"Q4933334$2B05A90B-3640-411F-8931-CA9BEE3E335F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f57ebad7eae8fc6f793482ddaa453500a7793487","datavalue":{"value":{"text":"Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933334$75C66379-BF79-446E-9D61-122ADE8BA8BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c8efdc9cf395a2b03432ec739583b606474a863","datavalue":{"value":"1306.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933334$1139FA86-0FE0-4D2E-B530-2290B7FECC54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"988dd7740ba7acf6e37df4ca55f4406f9f04df9f","datavalue":{"value":"10.1007/978-3-642-16242-8_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933334$B48BCA49-BBC8-42EE-875E-39BD86C96B03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a482cf0499359d513e033835fd455222dfc82f","datavalue":{"value":{"entity-type":"item","numeric-id":347383,"id":"Q347383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933334$786B13B2-E6FB-4D3A-A561-AFE8957FBA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933334$B68EDB42-EACB-44F0-87EF-FD35785F4C0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933334$24D86F0A-DA2F-4070-A184-5F7B79DF61AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933334$8F13EBDC-DBB6-4910-A2E8-2738E005453D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933334$E1F908C3-2612-43BF-B546-69F1A879B685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933334$E6D8585D-AD8A-4AFF-BE3D-4915B6B63347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933334$41E866E7-B87C-4873-BDEB-DD24B413328E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933334$4B314D4C-FB4B-4D21-9C02-A68B6FAAEE78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77e742d022fd0d54c94d70f8cb60cbc8db1f645c","datavalue":{"value":"5798924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933334$FED08045-2E5F-44F2-8E15-D6070BAB4DD2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933334$CCD24A31-C2A8-4444-B7EF-AAF65B3B6135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8ca966210be70fcada8c30a5c6fc89e9edbc6851","datavalue":{"value":{"entity-type":"item","numeric-id":21787,"id":"Q21787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933334$0D52DB77-A4B3-4A98-A528-233DEE1A36C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"838759fee7c99191fe189c02823d3763f2703085","datavalue":{"value":{"entity-type":"item","numeric-id":21788,"id":"Q21788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933334$85A1AAE5-14F9-4B81-8CFE-32CC86CF1A76","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":"Q4933334$2207EDB2-FE10-43AA-9A57-FF03DACA1202","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d05e71f87633f31be78cc11976341ff06467d57a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_42","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933334$626BCEEA-5286-414D-86B5-793151A6081B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"443cc8c152cca60ca684547b3ef8e3f24276e73f","datavalue":{"value":"W102151912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933334$1D44E6C5-B030-4C14-B71A-2C57111BC405","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c482ff61639a60025a0e7daace3859271381b3","datavalue":{"value":{"entity-type":"item","numeric-id":2641108,"id":"Q2641108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1728a3832f64520ac0a199fb2d9fc7508aa0dadc","datavalue":{"value":{"amount":"+0.793707013130188","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":"Q4933334$7D7511FA-E675-413A-BF41-13415AE073F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ea5d1901cf02ee947a37f999c52affb876d842","datavalue":{"value":{"entity-type":"item","numeric-id":420848,"id":"Q420848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066af654975fcdbdf8608a8085784634d42dc232","datavalue":{"value":{"amount":"+0.7692300081253052","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":"Q4933334$ABD867D1-82A1-45D9-82BE-7D5867178BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b844fefd28afa67d47f762ce647aee59ce31061c","datavalue":{"value":{"entity-type":"item","numeric-id":3761697,"id":"Q3761697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d252fb0ecea5c0ddcd9b28cc9809e0285fa9970","datavalue":{"value":{"amount":"+0.7564607858657837","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":"Q4933334$F2EB6A98-A142-4573-8C2C-CD175425E17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f707dddfd1b49d57e3b6ce35f6039f80f955b01","datavalue":{"value":{"entity-type":"item","numeric-id":2368072,"id":"Q2368072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c9c7b629dad921d425c22127a82196a2d36fe5","datavalue":{"value":{"amount":"+0.755093514919281","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":"Q4933334$9F5460E8-22E1-487B-9475-CEEC87FEA89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac12c37842370b92aa3a790a4cfac45812cfe55","datavalue":{"value":{"entity-type":"item","numeric-id":5055759,"id":"Q5055759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57bbb3b92fe7a554d5f76119701c0f2513b9507","datavalue":{"value":{"amount":"+0.7545616030693054","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":"Q4933334$80BAF5B4-D52D-4426-B15E-AE5F577D3979","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933334"}}}}}