{"entities":{"Q6663521":{"pageid":14274678,"ns":120,"title":"Item:Q6663521","lastrevid":100173107,"modified":"2026-06-05T21:33:07Z","type":"item","id":"Q6663521","labels":{"en":{"language":"en","value":"Counter abstraction for regular open teams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7967317"}},"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":"Q6663521$BC6928C0-61BE-44BD-9B21-C7BE5C7E5A42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"898d3ee784f50f764a9ba2ac009378e98d83478d","datavalue":{"value":{"text":"Counter abstraction for regular open teams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6663521$24B8BC25-8A8B-40FF-8318-B03BB5FAF9CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"493e0acf815666e0f7433b92ffdaf3f9ee5b95b0","datavalue":{"value":{"entity-type":"item","numeric-id":6663518,"id":"Q6663518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$E990B87F-F962-44DD-A2DA-6C67F6141B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ff2c230a7022dea313716c0aa171fb9fb7c4609","datavalue":{"value":{"entity-type":"item","numeric-id":6663519,"id":"Q6663519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$5DE30DA5-C13E-4810-9A2F-902935DA69E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2eea938cb58825ed993662351cd6ff008475ae5","datavalue":{"value":{"entity-type":"item","numeric-id":6663520,"id":"Q6663520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$AC04875E-07E4-4E59-B198-518499F62512","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$1943F736-B836-4EC7-868D-9C3F73A6F0DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b939f7d6bb04335f584ac4f12e27b7d35776737c","datavalue":{"value":{"time":"+2025-01-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":"Q6663521$051F9314-A439-45FC-B944-B8AB1B08D5FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663521$EE6A9A9C-3897-407D-A8E0-3635E943ED7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663521$A4592C8B-9597-407E-894E-B02DBD77316D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663521$E93BC07A-9986-49E2-B151-EB5014130CC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b4ed0d958eadf65770df6ecf4b9b82aee1b7481","datavalue":{"value":"7967317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663521$0B814FF1-9FC0-4160-9458-CE356F373A37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6663521$6B017BFC-ABC0-4487-B5E8-19234D817D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6663521$0DCB0F14-FE4A-41E7-9208-A3E675297604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1319ebeeb83f3f577bfa05886660a419a47f92","datavalue":{"value":"multi-counter systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6663521$9F7493AC-92ED-4847-A090-C708C068F0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5af0afaac8fd7c14ae66213cb48b298e3167893","datavalue":{"value":"counter abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6663521$7A334FFC-6E39-46EF-83F5-9B80CBEBF955","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":"Q6663521$EC83EF44-49E2-4DDE-BD9C-4938F81DD1C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8520190a2cd663ef0aba110e3981354bf2af10a","datavalue":{"value":{"entity-type":"item","numeric-id":694485,"id":"Q694485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$38B8C43B-0EE3-4F13-AB33-492ED27DF118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$65E91B6E-09FF-41BA-8915-EF2A37862FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d50c524c53d7f49976000982a6078db3bc09507","datavalue":{"value":{"entity-type":"item","numeric-id":5506377,"id":"Q5506377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$0DA2C91C-DAED-4CAE-9516-5740CDA2C230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3566a490d88c33fc918b800fc8d67647f997367d","datavalue":{"value":{"entity-type":"item","numeric-id":3056325,"id":"Q3056325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$53144C24-3385-410B-BAAA-B240917016CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9986b95f80f7f2ade277d4e74eede8a4186dc099","datavalue":{"value":{"entity-type":"item","numeric-id":253980,"id":"Q253980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$34457911-03BB-4C4C-8A60-184F2B775BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8beb81d7321b654467d2d86f641d805b3cc3d49c","datavalue":{"value":{"entity-type":"item","numeric-id":4494389,"id":"Q4494389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$0500C3FF-E2F2-4ACD-9CA0-2FB36D0DE987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$07B20C24-57CA-43C1-B832-9AAB4D3EF57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$84A94B6F-0C0B-4FD7-B877-55A54E5DD8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6d180c98b7518dfbe30d0622a6092abf2ce9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3584961,"id":"Q3584961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$452E87A2-73E0-4CFD-9A5B-716B86A1A31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$0E12A80C-12AA-4191-B55A-92FA752A678F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c772d2703f22bd12636c05a8bf424fb4fb7392bd","datavalue":{"value":{"entity-type":"item","numeric-id":1193891,"id":"Q1193891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$0A880338-0626-451F-A256-11858D4C609B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6e75a49a48b2f10120476e040f3acec29fefee","datavalue":{"value":{"entity-type":"item","numeric-id":1056221,"id":"Q1056221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$4332D851-BA9F-4F6D-95F3-8B6D2DDD64E8","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":"Q6663521$8B37F592-641B-4113-8486-0A36E3BC46CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"260bb1ff4954a6e9d3d53bf618e90c86debbadaa","datavalue":{"value":{"entity-type":"item","numeric-id":3636854,"id":"Q3636854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$6A6B2D8A-F325-488D-861C-D6CE6323B749","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":"Q6663521$30FD7D19-421D-4DC6-A214-634CF0A3EA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b43ee9a451db34a823f8a7c83f980aa83df3ee0","datavalue":{"value":{"entity-type":"item","numeric-id":2002056,"id":"Q2002056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663521$FA8A8B80-C6C3-4484-B73D-6CCDFA207B80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71fe5521f477860b41fd6f3226d09ff3a2309ed1","datavalue":{"value":"10.1016/J.IPL.2024.106533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663521$F8C841A3-3166-4954-8490-D828E85CD2DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3116e6fc28538f32ee47bf4b64a2a38b25725241","datavalue":{"value":{"entity-type":"item","numeric-id":6612772,"id":"Q6612772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13441a2614bb2b2fa733c4e9e3c29c315d4e8a76","datavalue":{"value":{"amount":"+0.663478434085846","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":"Q6663521$D8F31213-D209-4E43-AB03-CA60060D1135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac5400caddafa26f00592f5bf9e1948c9f15212","datavalue":{"value":{"entity-type":"item","numeric-id":5238255,"id":"Q5238255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de80f0ea935ca9bdd2bf8bc54be9682d9a4e282","datavalue":{"value":{"amount":"+0.6627307534217834","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":"Q6663521$A847DBEA-5231-4B09-8CEB-1B4F84791F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e71f75339c4394c3489398d70fd871be63c055","datavalue":{"value":{"entity-type":"item","numeric-id":3092303,"id":"Q3092303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61f9933953baf46d796bd5d41298d2b8d83b025","datavalue":{"value":{"amount":"+0.6528568267822266","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":"Q6663521$A05EC5ED-74C9-4490-B2E1-77C6143975CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2db4973048dd1d1014e93961cf11d0c9aba9127","datavalue":{"value":{"entity-type":"item","numeric-id":352029,"id":"Q352029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64cf56483226284ec8fff66a0e44459a4007b0bf","datavalue":{"value":{"amount":"+0.6526255011558533","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":"Q6663521$98079C90-F40F-4F8E-8FDB-703D49EC1E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ae6214dfe2246e95631454730d4191066edb51b","datavalue":{"value":{"entity-type":"item","numeric-id":2810979,"id":"Q2810979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602122e497c61808f9c50479c692e91502ee5ee9","datavalue":{"value":{"amount":"+0.6501622796058655","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":"Q6663521$1A0A6791-E5AB-4B8D-A15C-28CFA1B2BA19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counter abstraction for regular open teams","badges":[]}}}}}