{"entities":{"Q3172843":{"pageid":3183553,"ns":120,"title":"Item:Q3172843","lastrevid":51341804,"modified":"2026-01-17T20:25:24Z","type":"item","id":"Q3172843","labels":{"en":{"language":"en","value":"Probabilistic real-time rewrite theories and their expressive power"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954719"}},"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":"Q3172843$FEE05906-D83F-40E2-891C-FDC834319730","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a51992d151e86eb2cd246b55c5dfc79f78941ad4","datavalue":{"value":{"text":"Probabilistic Real-Time Rewrite Theories and Their Expressive Power","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172843$B9C3A740-91F0-41D3-BD26-2098BF02C03C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cef36c9d426e309a7b8e50914d05fbd50d83a88","datavalue":{"value":"1348.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172843$0C550FF8-D5B6-43BD-A2DE-6DF9E7F53544","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a26d4305d6dea40c69ff5c4a417b167f0d0fcf8","datavalue":{"value":"10.1007/978-3-642-24310-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172843$87490461-44AE-4F91-BEE1-F82A0DF52C16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f97a4321e8dc387fdb6652462e9e4bcdd2507fa","datavalue":{"value":{"entity-type":"item","numeric-id":835107,"id":"Q835107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$460736B5-4481-4EA5-AA8F-3C01F1EB54E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa3aa6236fe928872880c7f4a30dce18000e322","datavalue":{"value":{"entity-type":"item","numeric-id":714795,"id":"Q714795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$AF3657C3-E0EE-432A-A529-8CFD41ACBD42","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":"Q3172843$D08604D9-6B7A-4838-B917-AFF471BE6739","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172843$28527772-52DC-4D75-8E8A-5F0D0FE270A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3bf8930b15d90fad9d8f1e194c4a649b412a964","datavalue":{"value":"http://hdl.handle.net/10852/39285","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172843$B8DD33D0-9183-42D5-9DB6-3A8CB78127A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172843$5D1534A9-ADD6-4E24-AD03-9A2E4C051D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172843$0C94C073-016D-442F-8F1A-675CAD7169D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eba635f2173f553a090eedfc3294024674acb072","datavalue":{"value":"5954719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172843$C486EF87-012E-4D1D-A2D8-A9423876AD70","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":"Q3172843$6D58ADED-3AB1-4FBE-A379-91586EE2D98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d9e3398f9a03c25d17ec7e1e092f704c058607e","datavalue":{"value":{"entity-type":"item","numeric-id":20434,"id":"Q20434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$40C84244-33A6-4E0B-B8F1-320B565F1DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63670ec9990cae130bf497257dda369111539e56","datavalue":{"value":{"entity-type":"item","numeric-id":20432,"id":"Q20432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$65E83F08-4098-4057-93C8-2843C01AFC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8e5d5bcc5e71e7649f82c0434334f298b02dfc0","datavalue":{"value":{"entity-type":"item","numeric-id":22650,"id":"Q22650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$D2EB02B5-C5C2-443C-AE25-BE27DF21BA2F","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":"Q3172843$9D963765-DAA5-4A19-BFB4-EAF967DAABAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0764f10ec6ee27dc3bc5ed2e8f06de1da3ac4b8d","datavalue":{"value":"W1495622653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172843$F37E00BA-3EEE-4974-AC89-292DE4B87399","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$A516859D-0B16-4B72-B21F-171E34774318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3947499defe7cf14c59bccac9868306f5b34fa0","datavalue":{"value":{"entity-type":"item","numeric-id":3172843,"id":"Q3172843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$EF7B25D0-C771-4310-8D4D-7EE989D76293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$CB700F63-FA69-4E7D-95BA-28FCA4460BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$3C0E3DB8-7D23-4AF9-88FE-DC2E0E80C0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$932E194B-AB8D-45A6-9822-F1F72345EF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$96AFD809-01C9-4F34-A2BE-D6C84E9119C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$47542E2F-9C1A-4E8B-BE2B-F2A0E70E8C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d7892fe9feccb20e05037849becc76af71cd61","datavalue":{"value":{"entity-type":"item","numeric-id":922720,"id":"Q922720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$9A6E342E-B9FA-48A4-BFF5-D661B1D84CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730c66190d161c62379a21e901aa6aeaf6d3f898","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$3F2918EF-D693-4FF9-987B-A1D9D4C6A72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f17343293c82352a41b45771a8f5da36d8ea202","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$6ECD0699-AAEC-4E2E-AA39-32B6CAADF40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de6cce8ed5ac47c4cb430b7dde65ee7f46389979","datavalue":{"value":{"entity-type":"item","numeric-id":862853,"id":"Q862853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$189C8D3E-53AD-4230-8AA5-16700E135A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8914758ac6f2ac25786ddc0b91cc49457a108d49","datavalue":{"value":{"entity-type":"item","numeric-id":1004068,"id":"Q1004068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$0DCA0A7A-B38E-409F-ABB5-946DEA08A286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3d96243025d2e93c7d18b9f2c830aee47d6b45","datavalue":{"value":{"entity-type":"item","numeric-id":5325838,"id":"Q5325838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$1D4CC089-96C1-4199-8282-B257AF771EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0992a9732d4c0a6122dab597921488e8c283dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4421726,"id":"Q4421726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172843$3C3612B5-1187-45C1-9708-7A0DA95E42A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eefa4983250c66e820bed7481eb4cc58da8cd160","datavalue":{"value":{"entity-type":"item","numeric-id":4447223,"id":"Q4447223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fd1dc75a3eb71bfb08b9662e1f42979d9c5eb1","datavalue":{"value":{"amount":"+0.7446088790893555","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":"Q3172843$EAD974CA-1357-4716-85CF-AF02C8889805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8946700f4a8cbeb294907f247a120ab05d6ff287","datavalue":{"value":{"entity-type":"item","numeric-id":1994363,"id":"Q1994363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39da1291ee6544466de5bccaad90cf0b28b0ca4","datavalue":{"value":{"amount":"+0.724875271320343","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":"Q3172843$358D7834-71F6-454E-8D6E-26022C5844AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27aaaad23cc2de4f1cc69d725e0d8950c922285","datavalue":{"value":{"entity-type":"item","numeric-id":4222863,"id":"Q4222863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80db6aa283da7c7335b7e6315fcf2981e9fced26","datavalue":{"value":{"amount":"+0.7241094708442688","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":"Q3172843$61F9DC3F-8E55-4DC8-8618-D1FA3F37DBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb5e81384e75315cebbc1ae142717243ea328c4","datavalue":{"value":{"entity-type":"item","numeric-id":4972014,"id":"Q4972014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51db1ea0fa306056b227679a368196595f55a5c5","datavalue":{"value":{"amount":"+0.7228490114212036","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":"Q3172843$F331BD92-7368-46D3-A35F-B74A0BD16823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2f71985f7018dd603e8dea28361c13fc7c7488","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed83423b27e819e5a805e65a93df797730ff6c3","datavalue":{"value":{"amount":"+0.7209043502807617","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":"Q3172843$16C3A1F7-863D-497E-BDE2-D7F93B679BE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172843","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172843"}}}}}