{"entities":{"Q3636854":{"pageid":5666760,"ns":120,"title":"Item:Q3636854","lastrevid":50694722,"modified":"2026-01-14T20:15:15Z","type":"item","id":"Q3636854","labels":{"en":{"language":"en","value":"Symbolic Counter Abstraction for Concurrent Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571890"}},"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":"Q3636854$B0CE929D-1BB1-4316-BB05-03D31A0CC178","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ba2d715f491dc649d83f4f1f1002aa5f7ef3498","datavalue":{"value":{"text":"Symbolic Counter Abstraction for Concurrent Software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636854$E1E9B192-DB50-4C58-88EA-622A6C06565F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93b7f31e46897768d7af4025c7924f066433b5f0","datavalue":{"value":"1242.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636854$5B376E63-ABC0-4D0F-BF5C-57B8D3279273","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b657778f2763d2a74f797ba6810641400216b012","datavalue":{"value":"10.1007/978-3-642-02658-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636854$232C4446-9AE5-4381-BA8C-2DE3CDFAEE0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30b0a0dcc4837662d9c4799648e52e8b72fe7569","datavalue":{"value":{"entity-type":"item","numeric-id":600976,"id":"Q600976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636854$7357F1FC-A508-4C1D-809E-0D4042D5C5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95e513be81ef99fb8da5a52d15ed6a71b0696cd7","datavalue":{"value":{"entity-type":"item","numeric-id":600977,"id":"Q600977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636854$7FF30C82-B301-4B2A-BED0-D661A71EBC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d662772c24869dc9f46a36b74617d8d791c39563","datavalue":{"value":{"entity-type":"item","numeric-id":438555,"id":"Q438555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636854$D6845621-0C53-4166-BB78-07125CF217DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636854$EF92F902-1D17-4777-854E-4C3AF5B55035","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636854$F22EB344-2565-490A-9B13-E44E2622CD03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636854$5BF9E09E-2806-4F65-B99B-4CC95F6A969E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636854$A01440E5-A24F-4B3E-B2BC-47B210A2814A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636854$3158880F-693E-4657-8336-8E6FC2B3A732","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53127a2a39e4f9c76df71f75e8f04ce908508503","datavalue":{"value":"5571890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636854$285E71F3-9E17-449C-921C-1BD9A46ED11F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6522ca7747c785bf9d644f39dd3e0aca04c1c6aa","datavalue":{"value":{"entity-type":"item","numeric-id":13781,"id":"Q13781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636854$58ECEF1A-A428-4D0B-99DA-4946E9C0FC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636854$7ECCE856-3150-4D19-B472-772239766743","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":"Q3636854$62966F17-9089-4A3B-84DE-0D19988EB5BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50ed09c6810c5b277c91e427a395fdd5549bfe03","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02658-4_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636854$539DBFB5-2296-4E5F-94F1-13B3033AEB7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59cd1762233158dbc3fd8535342c1fe094568bbd","datavalue":{"value":"W1586035363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636854$7A6F1049-8E6F-4F06-B079-C2746EE63FAE","rank":"normal"}],"P1643":[{"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":"1525b0033a7b4df86b44c07b36c2bb4d3156be98","datavalue":{"value":{"amount":"+0.9710060358047484","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":"Q3636854$09F8D75F-6FD1-454A-8F2A-8C50CBA8FBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8bc67b583574f4d04ded58ffc9f2ecb59a911fc","datavalue":{"value":{"entity-type":"item","numeric-id":2441711,"id":"Q2441711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea230c8073eb9ed134357de204d37f1ec192088","datavalue":{"value":{"amount":"+0.8492982983589172","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":"Q3636854$00D3EFB4-F945-4B44-A1BE-54D6B2C74683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a579b013a956ec97d820edfbcf397083f850c9c","datavalue":{"value":{"entity-type":"item","numeric-id":2769593,"id":"Q2769593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecef6a420238a536badfde463088c1314abb20cb","datavalue":{"value":{"amount":"+0.7920569777488708","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":"Q3636854$23DEEFF5-8756-4708-9817-4544D10F1959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609db31109f29daf5f20500cb6e669dae387d5e6","datavalue":{"value":{"entity-type":"item","numeric-id":5902361,"id":"Q5902361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06671d47ad74077705b607410f79a6b05a013e8d","datavalue":{"value":{"amount":"+0.7856490015983582","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":"Q3636854$9CBEC6D7-2364-4A6F-8665-63A10090C5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c38ff252b9382be6ec6719ef0a02e3a8bb5ef7","datavalue":{"value":{"entity-type":"item","numeric-id":5900683,"id":"Q5900683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6411c60ca215f6dd0166346ab03b0d1f51e133af","datavalue":{"value":{"amount":"+0.7831628322601318","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":"Q3636854$5346162C-FFB6-4F5B-8B02-458C23103107","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636854"}}}}}