{"entities":{"Q2894572":{"pageid":2905297,"ns":120,"title":"Item:Q2894572","lastrevid":51501698,"modified":"2026-01-18T13:05:37Z","type":"item","id":"Q2894572","labels":{"en":{"language":"en","value":"Rewriting approximations for properties verification over CCS specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051391"}},"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":"Q2894572$1574ACFC-6896-4D5E-998A-54E591AE06F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c34ca2e7f031f39737139a040a628d49ea9abdc","datavalue":{"value":{"text":"Rewriting Approximations for Properties Verification over CCS Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894572$537AE975-C182-4B01-9D96-DDF29EE1E0DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b17e74cafee3a49c9069dae2521d79979472212","datavalue":{"value":"1353.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894572$41D4C0AE-E32B-4E02-93D9-41832662C4BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da9ed15fd6bb064aded01b30fcb1eec2e001e846","datavalue":{"value":"10.1007/978-3-642-29320-7_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894572$A2B80479-1082-4144-AACC-B1676A72E83F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ce8e350636a75f1da02e8ccdbf246aa63c5fa86","datavalue":{"value":{"entity-type":"item","numeric-id":2894571,"id":"Q2894571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894572$FB6ECF0E-9578-4256-8F98-15407F451C85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894572$5F082BC4-3194-4994-8EC6-4ADBB22A992B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894572$541D5CC5-C872-4CB6-971E-60048C708946","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894572$F534C6A9-D28E-4FA3-B33F-690F08E628A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894572$8F634DF4-B3B1-4750-A0F5-31ECF71B1081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894572$31A77880-E1CB-47F0-8CC1-03E939B40DB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01cf3bcc6dafb1fdad6ddcec58cec1b254c57b97","datavalue":{"value":"6051391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894572$760A729E-70C1-42BC-84F0-4B56AEAC647C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894572$C1BB46BC-E4E0-406C-B8C4-9783D53ABC02","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":"Q2894572$DEAA8E67-6BAB-4B91-BF06-BEC1ACED661A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eaa89d66f7e4159b00696077a384a370f276c6a3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29320-7_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894572$9DB965CE-2D4D-4724-9E91-75562BA9BFD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe2a967fbc4750a93c4aeba21f88b7d79833afc2","datavalue":{"value":"W1572470522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894572$FD072C16-102B-4418-8049-AA913E563027","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b655b702113265b100f3d7bdb3d36419137a329","datavalue":{"value":{"entity-type":"item","numeric-id":915472,"id":"Q915472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1d227e580d6900a7b9edc49cac6365f24fd56f","datavalue":{"value":{"amount":"+0.7836416959762573","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":"Q2894572$6A2184D2-1F66-4078-9F06-6047B514877E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2555092385310186321ae552b6ea9bd22a3360","datavalue":{"value":{"entity-type":"item","numeric-id":2747754,"id":"Q2747754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e8f3ba1ac11f67795f76bb1f7a504388140dc3","datavalue":{"value":{"amount":"+0.7590129971504211","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":"Q2894572$2B7E0EB4-642D-43E0-8A51-62C9F368F906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc641eb70d8b1bf846a29f4608d2d1b2f887538e","datavalue":{"value":{"entity-type":"item","numeric-id":673974,"id":"Q673974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed78a9cd68bc0cc979d522a71fb7502918b9faa","datavalue":{"value":{"amount":"+0.754825234413147","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":"Q2894572$1E9C778B-6299-47FF-B0A1-CED22C0284E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993793ad74609249e510287d5d49c28c75cb9ac4","datavalue":{"value":{"entity-type":"item","numeric-id":2799215,"id":"Q2799215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7f437770c811a5e6e44bf12247edbe8698f1b5","datavalue":{"value":{"amount":"+0.7516477108001709","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":"Q2894572$630BB6E5-6F0C-467B-8C32-C79BBE073EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5923d94db751624059ff0ec7b651cdb66a829830","datavalue":{"value":{"entity-type":"item","numeric-id":2424681,"id":"Q2424681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1e82c6679545c7dc1c65158b49e40282dcc51d","datavalue":{"value":{"amount":"+0.7477769255638123","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":"Q2894572$A5A5B745-25E7-4F89-ACFA-4D4BEAFCEEA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894572"}}}}}