{"entities":{"Q2898762":{"pageid":2909487,"ns":120,"title":"Item:Q2898762","lastrevid":84938036,"modified":"2026-06-03T05:14:51Z","type":"item","id":"Q2898762","labels":{"en":{"language":"en","value":"Towards axiom-based test generation in .NET applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054942"}},"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":"Q2898762$243738D6-9807-47B6-B3E0-6C81C00DE5E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fcb454dd8e83123bb41d50d677d06c86bf810f3","datavalue":{"value":"1249.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898762$A2B9805D-133E-4CAD-8D51-28305E811558","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e482ab04a014b2afab2497fd0059764167a1b5e9","datavalue":{"value":{"entity-type":"item","numeric-id":2898761,"id":"Q2898761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898762$A09AF129-84C0-4D7A-BB3D-B3FBF85CC6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e44ed566dd6697acb407a5168b271cda014f91","datavalue":{"value":{"entity-type":"item","numeric-id":596970,"id":"Q596970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898762$E2BEED9A-664D-4210-8B1E-5702DA5F734C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc84afb5e72a102a1e3677880bae4fbda2e5d89c","datavalue":{"value":{"time":"+2012-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2898762$4FA280D2-3379-4474-9288-B4D4F4D74085","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898762$ED558B00-FEEA-4415-AA2A-C790B538CBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898762$55330D70-98EB-467B-A764-E229037B5126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898762$755DEA0C-FF11-4370-8517-89E13582A2BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d930b1d97098ed7afcee147b3465dfab8a55430","datavalue":{"value":"6054942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898762$047FFCA2-46AB-42F3-9F3D-7F1CBDB31F54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898762$7AE86CF2-1F73-4C27-A558-E98853E76805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43b5fc9f340bdcae34913c8f0b3a4ce7e4d95807","datavalue":{"value":"concept","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898762$78824AA7-61AE-4E13-BE7E-0C48CAFB8AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf378679d37703b334b22ead87b6793cd1ed4fd7","datavalue":{"value":"axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898762$B87583B8-E284-44DD-B40D-3EBB42318F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898762$F0DFF4FE-35CE-4EFF-9C8B-6823248B06C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44bb8f04b1811f1c691fc7800979510b4e7dd1f3","datavalue":{"value":"test generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898762$E9C1853C-74AC-4944-8E6B-510C16086A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"359cc99fe2e734d750c9477058ba26c6a8c28ba4","datavalue":{"value":".NET","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898762$745F9879-6565-4D2A-8D18-F11165C61009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c2c95069af0cab7e8dd72415503e9f860e1d3a","datavalue":{"value":"C\\(\\#\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898762$02E9EFCB-EA33-4DD2-90F9-6FBFCF1888BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c85ed18bed093819352a8db423b4b91a60415b9","datavalue":{"value":"attribute","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898762$3E53864C-5305-4F20-9964-7695929B79D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898762$922D5DA6-B6E3-49D8-9134-09BC5F578B54","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898762$23EFC6A7-38D8-49A7-BD0A-3E0E346D80BA","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":"Q2898762$26DB0770-7611-4EDA-8A5E-E5BAD0D440AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bccf37edea16327748d9a748bee89ef77699e268","datavalue":{"value":{"text":"Towards axiom-based test generation in .NET applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2898762$E7367D53-BADC-47BF-9A84-996A45EA05A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7514f11a674f060ae5987886d706f5b548145d91","datavalue":{"value":{"entity-type":"item","numeric-id":6654363,"id":"Q6654363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898762$B23ED058-F395-4CF9-ACAF-583AABBC324C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8444ba740487b869516f171e0a8ef4bbf281254c","datavalue":{"value":{"entity-type":"item","numeric-id":3046739,"id":"Q3046739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754cce32abfd77ac63dc7379451e1109258606e6","datavalue":{"value":{"amount":"+0.6789959073066711","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":"Q2898762$ED376BC6-5A7E-438F-88C3-FC5732355816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be4d3134cc668742e426faa839acfa5e139ced6","datavalue":{"value":{"entity-type":"item","numeric-id":3043836,"id":"Q3043836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c2bce739a4a1c7482ce9c74fd2a83fb65d3d2a","datavalue":{"value":{"amount":"+0.6723402738571167","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":"Q2898762$EC8AF4F9-AEE4-4A48-9295-B934CC9EE2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228ffd0f458cc4c566d4139ef289598a4fca3f9f","datavalue":{"value":{"entity-type":"item","numeric-id":3585175,"id":"Q3585175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2956b74b78a6495d0624f984f5ade883d95023bd","datavalue":{"value":{"amount":"+0.6641788482666016","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":"Q2898762$BAF30D52-4547-4461-BD49-DD8807D91641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf6f0baa5c4638777ec2b2a4cdc9d5fb6201192","datavalue":{"value":{"entity-type":"item","numeric-id":4457497,"id":"Q4457497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2eff584664c5cd2a73c44bf0e2dfd9624411ba","datavalue":{"value":{"amount":"+0.6605653166770935","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":"Q2898762$D2FB65C1-27DD-49FF-A03F-1056314AA0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ae0636506839ea53bbd41474f85cd4e5588882","datavalue":{"value":{"entity-type":"item","numeric-id":4413672,"id":"Q4413672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448193366f30ec419adfb7b586c3f35850239193","datavalue":{"value":{"amount":"+0.6566582918167114","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":"Q2898762$0B9D3193-70C8-4F5B-9B67-291F9CA63751","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards axiom-based test generation in .NET applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_axiom-based_test_generation_in_.NET_applications"}}}}}