{"entities":{"Q600978":{"pageid":602754,"ns":120,"title":"Item:Q600978","lastrevid":51118199,"modified":"2026-01-16T18:50:42Z","type":"item","id":"Q600978","labels":{"en":{"language":"en","value":"Context-aware counter abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5809932"}},"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":"Q600978$4D76F4EB-1963-4A12-85C6-417DAA660E40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d0852c67b80961df984a1b526635789898650d8","datavalue":{"value":{"text":"Context-aware counter abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q600978$CB3340E9-E976-4A42-BDCF-2F8583AE7013","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7390d9013e3c1611eda72f7605bd4b416a8d083e","datavalue":{"value":"1213.68362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600978$7CE25F7D-01FD-4F59-AAA8-54722B3689BB","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":"Q600978$EE17B65A-176F-4B5A-B335-5E45B4CCAAC3","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":"Q600978$03793C32-B7D9-4A69-8EE3-64A388684060","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":"Q600978$5128B6FF-491C-411D-A9C3-330D92780CFC","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":"Q600978$1C216169-D5B3-48FF-A66E-67C1831DAD8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$22A1FB9D-FC21-4544-B246-FD04D9BFCA3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25cd2e09c2f6a58ceadbae256038e4067d8608c3","datavalue":{"value":{"time":"+2010-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q600978$27F8EE3A-1A74-4A0D-B76F-11F165B8F4D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f473c6c9cc8c6ebdd6b2e6afdb0d0354bd0208cc","datavalue":{"value":"http://hdl.handle.net/20.500.11850/22326","type":"string"},"datatype":"url"},"type":"statement","id":"Q600978$5449F61F-9F7E-4ED5-8A9E-4109EA269B31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600978$7D1210ED-06C1-443C-AB0A-5B876C02508C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d67785cf7326f5cb792c62ea00bbf1c7eb94b5e3","datavalue":{"value":"5809932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600978$12CD8F17-5DF2-42C1-A9E4-EC3EECC8DF38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7f40314fbf84fac7d4dd7329f9ded95a0b46a0","datavalue":{"value":"symmetry reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q600978$3CA7E189-06DD-4FCC-BD48-3453DEA365E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19fbc9329823a1115cade0bc6a8693a7b26bc014","datavalue":{"value":"Boolean programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q600978$42985725-DDE3-420B-BFCA-30C16E9DA7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q600978$64A596B3-1354-4DDE-B462-6078BC90F680","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$8F364D8D-2E62-4771-8B5B-EAD0397E586D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02e5db897a38edc1fd8a74ee097bd9055381cb24","datavalue":{"value":{"entity-type":"item","numeric-id":13716,"id":"Q13716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$36B2BF65-8A30-4B84-8EE4-0A957528BF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2415471ff41202a6c9259e793d0833a0591be108","datavalue":{"value":{"entity-type":"item","numeric-id":19544,"id":"Q19544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$99ABA46E-8750-40B7-A684-48B6D2A3B8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$3B11517C-46E3-4499-BF0D-3648F71155DD","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":"Q600978$649227A9-5F6F-4171-9E4F-A54F4966D2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62258a598491cd9e06e78a73a6d38e7c3bd30afd","datavalue":{"value":{"entity-type":"item","numeric-id":32046,"id":"Q32046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$E3DBF2B9-0AC7-463C-A166-9F3ADE17891D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$EEDA59C1-28FA-488E-85CC-815312145530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$A014337F-3EDD-44E0-A167-A6F8C07A7499","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":"Q600978$29480573-A9DB-4947-999E-5487417D82CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ab67ea0755058826d7d5a77b7fd6bb1edbbeb09","datavalue":{"value":"W2136867104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600978$2A53BD45-EAA3-4AD5-9F01-D8E2A313D3F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$F4C96C5F-51D0-4DCB-B9E3-C72B3985BFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e389246466590cf41e2d703b33455400e7c54c4","datavalue":{"value":{"entity-type":"item","numeric-id":2769585,"id":"Q2769585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$B92446F8-1CC0-49E2-B4F9-F2CE5C6204ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21028c64891d6617210ff745a4701f8b8e2239a","datavalue":{"value":{"entity-type":"item","numeric-id":816210,"id":"Q816210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$2A362CE1-36C5-4CC9-84F6-9FE37598214B","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":"Q600978$435A97AD-4248-4079-B954-400F292123C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a768592a36a0799f3311c6c16dd9cd5a4a03baf","datavalue":{"value":{"entity-type":"item","numeric-id":5703792,"id":"Q5703792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$5B82AA85-3112-4F18-98C7-1357F4B706CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0cc86a7f8173b28c4a829da1618b048522d1e06","datavalue":{"value":{"entity-type":"item","numeric-id":5394555,"id":"Q5394555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$D1520653-C6D4-47E2-9DCB-CC43B00BDB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95dce8070a64d933b5b1df25a5d7873365fada06","datavalue":{"value":{"entity-type":"item","numeric-id":2464944,"id":"Q2464944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$D7F147AF-F739-4D1E-A16C-B5256C303C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82889a8aaead4f7b83d3113f27cd04ae3da7df58","datavalue":{"value":{"entity-type":"item","numeric-id":2754073,"id":"Q2754073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$4D620F43-6DE1-4F94-BB85-E274CBA66C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3cfa5cbc29a490fa9eee5494235cfa87d81ceb","datavalue":{"value":{"entity-type":"item","numeric-id":3522889,"id":"Q3522889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$4F80B6C2-6E57-4B58-8B83-09C576082914","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":"Q600978$44B8DB84-33ED-4598-A5CE-6AFF55F877B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ceb233ba0d30f428f8e8cdcd58588ea0dfbd7bd","datavalue":{"value":{"entity-type":"item","numeric-id":5703773,"id":"Q5703773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$B2BAFF6F-12CB-4298-AF92-03E0061ED239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$803953C4-8496-43CE-95F2-3260A1A973A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f2de53b1bf73e880cd8935ca36395fbd675bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5900675,"id":"Q5900675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$C1400B28-6996-48F9-8685-3773B6E6E786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bb6cddfdc6bd28cc031f4999f2caa6ef6adb12","datavalue":{"value":{"entity-type":"item","numeric-id":3522083,"id":"Q3522083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$BA432826-1527-41EF-AE33-D66E64129244","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":"Q600978$B16C17B1-4FAD-4714-A06A-B7FB1A706FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2587ffe330d155a79713d7c516b730c3d86df3d6","datavalue":{"value":{"entity-type":"item","numeric-id":5493233,"id":"Q5493233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600978$EF86E17A-41C0-4BE3-B691-6BD79D667A4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b19553550c85de7e0485c40fca4bef3109d629e4","datavalue":{"value":"10.1007/S10703-010-0096-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600978$F269EC0E-CF6F-4C05-A4DE-A9A2F6EADE03","rank":"normal"}],"P1643":[{"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":"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":"Q600978$91E2030E-A58F-41DC-A3BD-AB4A9BCF1564","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":"b2e043981a0d2ae0cb90ad9736e8c324b78ba17e","datavalue":{"value":{"amount":"+0.8193214535713196","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":"Q600978$32174195-84BC-4F50-BC2B-0614B6D4A1C9","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":"12810ebceb9af34224709b946789d17b77a143f4","datavalue":{"value":{"amount":"+0.7867624163627625","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":"Q600978$442C394A-B253-4FA0-85B3-0022BB027519","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":"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":"Q600978$22094B94-AF32-47C7-95E4-E9756E55CB07","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":"b1bb0b2e4f360d87852fc46b34edc1275aedc46f","datavalue":{"value":{"amount":"+0.7650766372680664","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":"Q600978$11329705-48D0-4330-A9F9-72648E7AC472","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:600978","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:600978"}}}}}