{"entities":{"Q5431924":{"pageid":7461488,"ns":120,"title":"Item:Q5431924","lastrevid":50239352,"modified":"2026-01-13T15:09:13Z","type":"item","id":"Q5431924","labels":{"en":{"language":"en","value":"On process-algebraic verification of asynchronous circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5222376"}},"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":"Q5431924$8AF6CB68-E5AC-4662-B857-4F7C453944C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51b9d56f8205fc998d81a02ad91a55929d250b6a","datavalue":{"value":"1128.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431924$2D6873DF-998D-4806-9209-647B11152726","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ba413d292f7b6fa375ce4205d55ab082f005f","datavalue":{"value":{"entity-type":"item","numeric-id":1708706,"id":"Q1708706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431924$C3AF0565-A6DF-4C61-B935-9FF88BBE7651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431924$01B38373-EFE0-4301-AFA0-ACE66D3EB22E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a793ba04367ac87554a44ec77bbc84d2cc70c8c","datavalue":{"value":{"time":"+2008-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5431924$A8385A40-1D74-472F-9450-1F2585CDD30D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431924$5060A85C-8E2E-44BB-B538-B56A7E9BC8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431924$EFC8FC81-BB77-4CBD-A164-96DDA433B541","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fa782bb10e46b8062f5f1cabfde16f9a138e154","datavalue":{"value":"5222376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5431924$2FBA7AF4-1786-4B01-BDD3-76D128DA49D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431924$7649E12A-F2C8-4132-A23D-4581F3169A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fe85ae8d4a7293b26db13c88d4f499a668dd17e","datavalue":{"value":"asynchronous circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431924$CF07E2BC-4148-42DE-992C-4C77A3AA8676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c37c1184dc3a493f6f397f324416f0821c1bbc88","datavalue":{"value":"assume/guarantee verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431924$DD86977B-264C-4ED6-91FD-F23E89E0D191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66ff872e3f214d30c9c5da36b244ab55a78e8808","datavalue":{"value":"progress/liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431924$799DE752-D92B-4DCF-9D0F-511235DDEE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c60d0fc5876a67b6f91942f5d8b2ef82d9443da","datavalue":{"value":"CSP/FDR2","type":"string"},"datatype":"string"},"type":"statement","id":"Q5431924$A8F0FDBE-2A6F-4E6A-A6F9-4126836356D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9466f0b26c1dc8acd437f28f29f075bef564116e","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5431924$BB49B9A2-CF3A-4B96-A9DB-B7F548A9395F","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":"Q5431924$D6C167F6-008F-4D22-9AD1-001AD7F7227F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9a9617426df6a2b838992c80c98623fe8bde62","datavalue":{"value":{"entity-type":"item","numeric-id":4250360,"id":"Q4250360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0255a32b7cd7cfde95c33ac00a01c99c29e6b143","datavalue":{"value":{"amount":"+0.8138391971588135","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":"Q5431924$AD18EE96-D25F-4796-8CF1-2A3E3CDF5043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc9c7adf0165f357f42a19f4bf038f7028a3a74","datavalue":{"value":{"entity-type":"item","numeric-id":3329397,"id":"Q3329397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5834245b57154ddb2387aa6914940081dd5aea2a","datavalue":{"value":{"amount":"+0.8120167255401611","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":"Q5431924$5FDE51FA-E346-41C9-8C11-B2A0444AE65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"503ce39c3a0da918b3a6ba3b260134b4677785a0","datavalue":{"value":{"entity-type":"item","numeric-id":3786429,"id":"Q3786429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea5d7db379c2ff460e0d1b56ea2e71a7ff2ebf4","datavalue":{"value":{"amount":"+0.797322154045105","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":"Q5431924$E2FA0B2E-29E8-41BF-898C-64CEB6799175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8adbe20bcab8f0440494c0edd7c0a3f88ca12ea","datavalue":{"value":{"entity-type":"item","numeric-id":5096372,"id":"Q5096372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"991f78de2270b8422882a1fe8aa04445d702cdd2","datavalue":{"value":{"amount":"+0.790821373462677","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":"Q5431924$24F100B9-AF0D-4A2C-8D85-5EE112A688D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a00e6f17faebc9eb6e6b1bdd8ebf80ccd86faa","datavalue":{"value":{"entity-type":"item","numeric-id":3350795,"id":"Q3350795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e959425ed8d06d84d803ca0b33d930d306e1ae1d","datavalue":{"value":{"amount":"+0.7897766828536987","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":"Q5431924$96280357-796C-4231-9DFA-4A258272BC43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5431924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5431924"}}}}}