{"entities":{"Q5172646":{"pageid":7202218,"ns":120,"title":"Item:Q5172646","lastrevid":52191053,"modified":"2026-01-21T03:17:29Z","type":"item","id":"Q5172646","labels":{"en":{"language":"en","value":"Debugging process algebra specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6397680"}},"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":"Q5172646$27076AA1-F4B6-4B6E-935D-D180579FB208","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48c793d8c939d88757c9264a8b3a45c185ced68f","datavalue":{"value":{"text":"Debugging Process Algebra Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5172646$C5AFC27D-A01D-4C68-8873-0545960EC24F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3ff9d1368ff2906ae52d2d3296e52cd94db9dd0","datavalue":{"value":"1432.68267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172646$F150E29C-D7C0-4A92-8A47-6970EE0B34B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6370c83f70a8f17cbda64bfd7389c2cbd5512699","datavalue":{"value":"10.1007/978-3-662-46081-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172646$986B7101-F3A2-459D-9C44-E748249917E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65b4a98099b7ca5bd6ebeda9e47c41c524b13805","datavalue":{"value":{"entity-type":"item","numeric-id":433346,"id":"Q433346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172646$368BD985-FD31-41F4-9297-32B04FD2A75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ea66c99404727bd3781ae03a59b6d43ee77ab6a","datavalue":{"value":{"entity-type":"item","numeric-id":409003,"id":"Q409003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172646$16A89298-4D52-47F5-A98B-9547BD1C23EE","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":"Q5172646$39982797-95BD-465E-8AF1-FE50540DA8B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa47d3e0ba2062e2ce661f751109363b14b792ea","datavalue":{"value":{"time":"+2015-02-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":"Q5172646$7D8F5B49-6879-45FF-B8EC-3E5443D55B4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ffbc09c3abe9b8541268ccaa11ace865a880b98","datavalue":{"value":"https://hal.inria.fr/hal-01087505/file/main-VMCAI.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5172646$2A71B807-99B2-453B-85E6-885BBF545899","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172646$AF4CDA20-8988-4318-B649-FF3A15DCE1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172646$F2B3CFB6-1784-4BE5-B872-4748D35FB73C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9f57ee1514ce675a7d8c7de6c2e88cb84df2808","datavalue":{"value":"6397680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172646$16D7783A-AC37-451C-98F3-83393B491070","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":"Q5172646$446E22B4-3C16-4A5B-987D-EFD58C077F4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25f3087962ed9ca89cae271b889292aa96fd6aa9","datavalue":{"value":"W201172970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172646$7F7A1636-F8B4-4E94-A1CC-EB81DA115C9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e758bfcac0e1942492fb9482f5dccbbe6cbf7fe","datavalue":{"value":{"entity-type":"item","numeric-id":2348946,"id":"Q2348946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6107b5031ff3677591b7c1e7b3117825297b7f","datavalue":{"value":{"amount":"+0.721990704536438","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":"Q5172646$DB7987D1-24EA-4A21-AD7F-A5222EC98A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0533b2e0b71a4d593002aebfdba937e2b8de6467","datavalue":{"value":{"entity-type":"item","numeric-id":4472258,"id":"Q4472258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383c30e4431162213a177f09b5f0777dbc355e70","datavalue":{"value":{"amount":"+0.6982858180999756","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":"Q5172646$CC89E74C-2765-4EED-B4D4-3C8AC4F92209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca4cf07011724ca25b90d22378bf37771d4700c","datavalue":{"value":{"entity-type":"item","numeric-id":2093147,"id":"Q2093147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3821fda6e76c74f146780ba2ee9eaa469c04a0e","datavalue":{"value":{"amount":"+0.6924358606338501","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":"Q5172646$02FCE831-E42D-4BD4-B0C2-7DD142614E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f27494b99a72f258d3bfdcf81d01b98c8ea9ad","datavalue":{"value":{"entity-type":"item","numeric-id":3713583,"id":"Q3713583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962b051e34a06c9181de02bdf5b905cbd48d2bf6","datavalue":{"value":{"amount":"+0.6918942928314209","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":"Q5172646$BEC84291-919F-48C9-A6A1-51C6FD60774E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56647d30581aa439529424cd033731c744f33fec","datavalue":{"value":{"entity-type":"item","numeric-id":3153074,"id":"Q3153074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7cbdae298526218d6af5358f2bc54adbca20839","datavalue":{"value":{"amount":"+0.677536129951477","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":"Q5172646$9FF4503C-A8FB-4E2B-BBFD-14B638A9219E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5172646","badges":[]}}}}}