{"entities":{"Q6535952":{"pageid":14147095,"ns":120,"title":"Item:Q6535952","lastrevid":55604953,"modified":"2026-02-17T19:35:57Z","type":"item","id":"Q6535952","labels":{"en":{"language":"en","value":"\\textit{\\textsf{Circus2CSP}}: a tool for model-checking \\textit{\\textsf{Circus}} using FDR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817376"}},"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":"Q6535952$8AF2382A-0E3F-4150-84A4-653DCA391C0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98fef2ce63dfc1a95b0407779472a8edfc692b9a","datavalue":{"value":{"text":"\\textit{\\textsf{Circus2CSP}}: a tool for model-checking \\textit{\\textsf{Circus}} using FDR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535952$2476EAEA-FD30-4098-B01E-1065EDE4E120","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"982ab900ba4e911f48f8f6c33dec11e58aed13c9","datavalue":{"value":"1539.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535952$AC302637-1726-4C5C-8E8C-D5A2291F3D60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0197f92659e333b8ad47e55eeda98f327f990cee","datavalue":{"value":"10.1007/978-3-030-30942-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535952$B7A30582-FAF1-43FC-A491-BEA01E9F6EEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30a1521a66d0e3a15b0d61a3cc86b1ad3399d2cb","datavalue":{"value":{"entity-type":"item","numeric-id":6535950,"id":"Q6535950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535952$E9DB211F-F2AE-41DA-BED6-366A5FE1573D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bcc2517d7f29a0c99d871175f905014f619cab8","datavalue":{"value":{"entity-type":"item","numeric-id":539164,"id":"Q539164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535952$792CF887-A129-46F8-841F-207B108FA693","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535952$4A39C389-FC92-4711-932A-754749AF04FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535952$A613257B-A0CF-4136-B035-979A64BD8147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535952$B4647BD7-53A5-4DED-A61B-49BAD321FE7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ef8ae4f142af1277bb4c84b99fc5d9b04a33a9d","datavalue":{"value":"7817376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535952$2483ADCF-EAB4-4EC7-A6AF-4A42E08F1867","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c8223143402d63869cb92db7f64e9cbcbc6f9c","datavalue":{"value":"Circus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535952$5178A5FD-2436-4A09-B868-515DD13CA3CA","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":"Q6535952$7C982A0F-7010-4839-A678-A912A57DEAC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535952$3D512E4D-D68F-41B0-9D6E-0945F8855563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf98a7be5b6815254e211306ec66d127b3aeb2ea","datavalue":{"value":{"entity-type":"item","numeric-id":510897,"id":"Q510897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535952$D39317A7-0D48-471A-8115-09A7F408D402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de6837c1039b580a2b129c1e17dd7bde403e279","datavalue":{"value":{"entity-type":"item","numeric-id":1293891,"id":"Q1293891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535952$FDA7A774-3B13-4352-809E-69607F6C009C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535952$4C0F7D5D-C247-43C0-898D-9D8CF54F308E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535952$E359FB2A-CA73-4038-A8A8-BDF289159106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac401061be2855dd82e617ca880a8f1b7c9b280e","datavalue":{"value":{"entity-type":"item","numeric-id":931435,"id":"Q931435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535952$F8EA8D4F-CD8E-4F47-AE72-50BCFE143065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535952$CD58D703-B9AC-4A30-BD33-2FF1727FC5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a19ae881192c505330aa7dfe2b528f7960cd36","datavalue":{"value":{"entity-type":"item","numeric-id":736788,"id":"Q736788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535952$97DC0D15-5804-469A-B40E-E97370A2B777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0198e68f6dc9303aefc05c74bbadbddc5c16bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4472182,"id":"Q4472182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535952$622CFEE1-D417-4670-AEAC-E7067BFB74A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9500c52b82211c30e7e53c9ebce092e43e61718","datavalue":{"value":{"entity-type":"item","numeric-id":5716879,"id":"Q5716879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535952$C8274E8A-D0F7-44D8-BDDC-41F6A5A39675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535952$4B0CAE24-0A04-4011-A09B-741B3945A063","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ce0951763c53523475ba528504278c65cbe765","datavalue":{"value":{"entity-type":"item","numeric-id":6535951,"id":"Q6535951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1623e004604524c3bb6e02488f8bfacb77bfaa5","datavalue":{"value":{"amount":"+0.8158831596374512","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":"Q6535952$AB6200A6-E7B1-4BE4-A7CF-343A39B8AD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60848ef0f7c00945bb2f12e3d38c730dbd76029","datavalue":{"value":{"entity-type":"item","numeric-id":5716879,"id":"Q5716879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f12f468401e9be873e747e9d19295b240970573","datavalue":{"value":{"amount":"+0.7909266352653503","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":"Q6535952$C83F8AEA-49A4-46E8-8184-E2857FE7EB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf6128767f41e8247a95055a64d5113ae336cd3","datavalue":{"value":{"entity-type":"item","numeric-id":2873610,"id":"Q2873610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced0ba46c2e72b96b988c41113deea929018ae8d","datavalue":{"value":{"amount":"+0.7403545379638672","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":"Q6535952$A00B9761-7F93-4246-97B2-9AF0734F87C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001c7df16aa3241b856d84c17fbc912216777584","datavalue":{"value":{"entity-type":"item","numeric-id":5179350,"id":"Q5179350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca9cedbeaa33778fc6da1b6dfd496a0dd54aa3f","datavalue":{"value":{"amount":"+0.7207784056663513","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":"Q6535952$A8C50E74-97BA-4B27-8DC4-23DE8E3234BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a750499399fb23693a151d13210daf45e5912f","datavalue":{"value":{"entity-type":"item","numeric-id":766162,"id":"Q766162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa3d7d745a2d89347fc37c5547292f60472ee94","datavalue":{"value":{"amount":"+0.71983802318573","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":"Q6535952$571EE889-03DC-44F7-A4C4-5F4B8AEA3C3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535952"}}}}}