{"entities":{"Q2810979":{"pageid":2821717,"ns":120,"title":"Item:Q2810979","lastrevid":52548068,"modified":"2026-01-22T22:43:25Z","type":"item","id":"Q2810979","labels":{"en":{"language":"en","value":"Counter abstraction in the CSP/FDR setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589715"}},"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":"Q2810979$697DDD6C-CC06-443C-AC31-2BC3EE26BD2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"221725f69b995ffea2c22a7f4f8e57646a6c7a1a","datavalue":{"value":"1339.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810979$379C6C85-3269-4966-8C8B-B5B31F865065","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53db978adda49cadafe759896b936bc2ad6898dd","datavalue":{"value":{"entity-type":"item","numeric-id":1123354,"id":"Q1123354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810979$1349253C-7B0B-4070-9D63-AB17D086E3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10e5b6375cec486c10f672235e2a7de9b55f6384","datavalue":{"value":{"entity-type":"item","numeric-id":557890,"id":"Q557890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810979$DC65029A-9514-49E0-A85A-25103BFDB12F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810979$65AF1901-CFBB-4FFD-AB63-824C3FAA920E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d066e43a0d378deda532184f86b234184fe2275a","datavalue":{"value":{"time":"+2016-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810979$5BB45A89-A4FA-44CE-A068-845CA726C78E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810979$13DA383D-3214-4735-AE12-B25F1707637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810979$5F410C3C-070F-45C8-A34A-25C2524EAA2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66aa95c5f79f80a4454e290d7990e7b7417f5779","datavalue":{"value":"6589715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810979$AC49BFCB-4635-40E0-BA9C-7A4FFD9272D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5af0afaac8fd7c14ae66213cb48b298e3167893","datavalue":{"value":"counter abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810979$628B528E-9340-48CB-B6D6-0417029895A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810979$81F0FF0B-3885-41DF-9216-01E57B122AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9444b8224495bc3a0f450a750954c9373bb547ea","datavalue":{"value":"parameterised verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810979$45A0F2D0-3958-4FA3-BBE5-282038BC6CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810979$89902654-7C26-4438-BB19-644BEAECF000","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":"Q2810979$A1E3A36D-2773-48E4-88F8-988950E024ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2057422951819b27e91a225a52155eee2894daa","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.08.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810979$458FB561-C301-4490-BC0B-C4EA09F66B45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6e983b0c546565f4da76d181516496da6541919","datavalue":{"value":"W2153791853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810979$85923A90-5E6A-4FFB-B606-D662DD0CAE81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810979$EA4AC500-D547-4977-849A-926FB19053EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7228d911878a16429788a7e2e2b8ecaf57db22","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810979$7928339E-3C25-496C-86B8-163480A8202B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810979$0A7E94F1-6352-4C81-9D49-DF25D65D33B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810979$3A7EA714-5DEB-454D-AC07-10A35CF43FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810979$219CD187-A352-4DB3-AF48-733A2768DB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e04cf66f1b8c3bd1f3bbed16cc3b96dabda0b39","datavalue":{"value":{"entity-type":"item","numeric-id":1854391,"id":"Q1854391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810979$B91A18A2-9E77-4E00-B4C7-90A9D89A7908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14495826aa264560d537df53aac6867722fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5901914,"id":"Q5901914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810979$E29F4C25-B902-474E-A8EA-150CA84979B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff15a003decaf3fb97cc8f3b2a4669e9d9544304","datavalue":{"value":{"entity-type":"item","numeric-id":4873991,"id":"Q4873991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810979$DF1B3338-07C0-42C8-8D04-F2AC8D65B6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1dafc3f01ccb5786720a2526b847cd3aefa2af","datavalue":{"value":{"entity-type":"item","numeric-id":4804890,"id":"Q4804890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810979$DCCE70E0-21CD-4761-8030-31DB94995681","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"646bd17b4084336afbd5db7815be00d3926f65d7","datavalue":{"value":"10.1016/J.ENTCS.2009.08.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810979$33AE6D04-F422-4F9B-AD07-13EA27566B22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8757a9695e1a066f4d13300b2eab2c4f7654ad1","datavalue":{"value":{"text":"Counter abstraction in the CSP/FDR setting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810979$C9604761-F47E-4705-B111-8564316B76CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f95c2032deba558021f0fa34f0d173e2b7aa75","datavalue":{"value":{"entity-type":"item","numeric-id":3651280,"id":"Q3651280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f5d89752273fb26b5b1cd954376481ee0ffbd7","datavalue":{"value":{"amount":"+0.7699328660964966","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":"Q2810979$98AD5FBF-CBC2-4383-BD8D-8EE77616F070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2974ffcf928385cea280fdcd249f19fed55c46d6","datavalue":{"value":{"entity-type":"item","numeric-id":600978,"id":"Q600978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c3f607fd54331ad6ee9fa48477945863d753f5","datavalue":{"value":{"amount":"+0.7698154449462891","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":"Q2810979$99E38F74-6820-4A84-B190-4E3C89D9522C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cefa342511ff0a38e44245db56f582114773a663","datavalue":{"value":{"entity-type":"item","numeric-id":3636854,"id":"Q3636854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89f034cc22fef5347419d0692b40e4e899e01b3","datavalue":{"value":{"amount":"+0.7627665400505066","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":"Q2810979$93972DBA-06F8-4B04-9251-16CF5F3857B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9848a8705e3baf92ddf5a77132061d5bd14e249","datavalue":{"value":{"entity-type":"item","numeric-id":4808828,"id":"Q4808828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af11d88822c38e34fb9633b05da135470a11b558","datavalue":{"value":{"amount":"+0.7626888155937195","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":"Q2810979$89D09FB6-C5D2-4E18-A3BB-8114350BFEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1770bf13bf3d9df5762af0850a006c971e46c0db","datavalue":{"value":{"entity-type":"item","numeric-id":5901609,"id":"Q5901609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d99bebad05446dc00ad994640c3724e8f82e2d7","datavalue":{"value":{"amount":"+0.7621673345565796","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":"Q2810979$7EA98708-801A-4582-B162-4BACC6C00B3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2810979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2810979"}}}}}