{"entities":{"Q6535951":{"pageid":14147094,"ns":120,"title":"Item:Q6535951","lastrevid":55604950,"modified":"2026-02-17T19:35:56Z","type":"item","id":"Q6535951","labels":{"en":{"language":"en","value":"Towards a model-checker for \\textit{\\textsf{Circus}}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817375"}},"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":"Q6535951$3E2A50CB-6337-4182-BFFC-B48DDD91D42B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df82c3c1888e02b890c331e53882af00bdea73a7","datavalue":{"value":{"text":"Towards a model-checker for \\textit{\\textsf{Circus}}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535951$1721EE95-0E73-4E96-8B39-4951BD70B071","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be93360630c82bbf09e7e8b7080656f7cb7a95d9","datavalue":{"value":"1539.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535951$17F0E116-D0E7-4D8B-B042-C1AD9B6C107B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2f0b1b0717f704c3d80852b1a90c20b9b048f08","datavalue":{"value":"10.1007/978-3-030-30942-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535951$E5EA04B2-F5F5-49CB-B00C-FDC9E1C64F8F","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":"Q6535951$2ABE767F-55EB-4A72-B493-3E30C06952F0","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":"Q6535951$E98F7692-9580-49DE-8B6B-BB9CED5CF405","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":"Q6535951$D17156F9-CF31-4C22-BFFF-E7C6C2A41358","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535951$78DD3C51-4E65-4E89-A675-24331F7FDD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535951$4B23CE80-F60E-4F1A-A92A-1C1EF9936DFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d389a6130a80b853b3e6d267a11e10b12969603","datavalue":{"value":"7817375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535951$C2BAF2DA-5BA8-4705-A7B0-E784BC78A8E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c8223143402d63869cb92db7f64e9cbcbc6f9c","datavalue":{"value":"Circus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535951$82E8E7F0-8E9D-4D25-9AA5-E4B8D486E61F","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":"Q6535951$780B931F-055A-43E1-B3E1-977FEA1195B7","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":"Q6535951$7CECC8BA-8009-4EA5-8DD8-EEB5E28F33C5","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":"Q6535951$BAD8C700-DA62-4445-8F8D-777B93EEF87E","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":"Q6535951$8CFADE21-D6D7-45A5-9F21-32526FB92847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2179d8546d5ce60e354479db662e7bc4b3f5aef8","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535951$008D3E88-6DDC-4A8B-A977-493471E11CE1","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":"Q6535951$4F153DB6-ADFE-49B2-9180-5DB9B3419D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea00f9571a2f3eb35a08ae82329dd711da0dc8b","datavalue":{"value":{"entity-type":"item","numeric-id":2814613,"id":"Q2814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535951$F90B6A16-D639-4C03-BAB5-1DF193877624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e725e644d11a05c3af129a78867c98aa41e697cb","datavalue":{"value":{"entity-type":"item","numeric-id":5047037,"id":"Q5047037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535951$C7DA0D4D-C5F2-4D25-B765-AB465DACBDB3","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":"Q6535951$047B9BD9-2B9A-4A51-95F4-FB7B0E1DE65C","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":"Q6535951$3CF1595D-C858-461F-8D11-85D0B3A14936","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":"Q6535951$080A58D0-1C92-4C56-AD7E-53A7B6DF2252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e409dc90be3ac477fe6716dacfbfa2076424e0","datavalue":{"value":{"entity-type":"item","numeric-id":1941892,"id":"Q1941892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535951$DEB8F25A-2CD5-463E-8C49-FCE7D58BD868","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":"Q6535951$1E2183F5-6FF0-4AA3-AC61-A6075B55A3CA","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":"Q6535951$4F5107BB-A7AA-4EF7-B2FC-CE3392A7EF47","rank":"normal"}],"P1643":[{"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":"e8055400c5abd6dd6a6aaab84743690d10ec1485","datavalue":{"value":{"amount":"+0.8635419011116028","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":"Q6535951$2DD7E4EB-CF7B-4FC5-B413-78085749ADEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"287df93c87e54580e07b45def4d55afbd3abbc7c","datavalue":{"value":{"entity-type":"item","numeric-id":6535952,"id":"Q6535952"},"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":"Q6535951$8B7E9822-8E64-4D7A-8881-689CF3A178EF","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":"7e402eed84faa8baa9a3cddb9766fcfbb69884c1","datavalue":{"value":{"amount":"+0.7998401522636414","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":"Q6535951$35828DB8-B2C7-494D-B0F5-CCD9B52E2FCF","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":"2c3713a1e687f26a7825ea3ca25eb72dc9f9dd05","datavalue":{"value":{"amount":"+0.7645546197891235","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":"Q6535951$1B50A1BE-71E3-4E57-9D96-3E59FEC8BB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c00d6b98765156e0ec29101db3b1772bc2b3dc0","datavalue":{"value":{"entity-type":"item","numeric-id":1019016,"id":"Q1019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb05ff3179a0b2ea2f1c3531186cfed083857f95","datavalue":{"value":{"amount":"+0.7530531883239746","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":"Q6535951$67C13413-543F-40CB-8F90-235ABDA18771","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535951","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535951"}}}}}