{"entities":{"Q2702604":{"pageid":2713349,"ns":120,"title":"Item:Q2702604","lastrevid":47584684,"modified":"2026-01-02T03:48:29Z","type":"item","id":"Q2702604","labels":{"en":{"language":"en","value":"Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1575027"}},"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":"Q2702604$4067FFA7-9117-44DC-AB31-484CDEADB259","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92f7cee9f1403e94686a5db401edc75f70c070da","datavalue":{"value":"0972.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702604$3516B372-428A-4191-925C-C3D611650878","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85c5753c1bade119a92fcd653f8b775d373f1721","datavalue":{"value":{"entity-type":"item","numeric-id":524932,"id":"Q524932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702604$1A596941-6DC1-4B07-989E-370B86CC3CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eee65693434df551c1501e75faada9813a28549a","datavalue":{"value":{"entity-type":"item","numeric-id":2702603,"id":"Q2702603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702604$21BF4666-1170-4F8B-80C7-C17CE7E4EADC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af22c54118a69f4324bd2bfa43c2edc40af04cff","datavalue":{"value":{"time":"+2001-03-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":"Q2702604$E9A89F9F-63F1-4A20-B117-8CB3780663EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702604$EFBF68AB-B640-480F-842F-5A2239F0B5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702604$306BD84F-0762-4859-8594-12E9DEBDEF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702604$66D47FA9-206B-4FF6-B8CB-8B8D79FE8435","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71f02d1802f7a067ad6ea098a90b7038a2796b13","datavalue":{"value":"1575027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702604$12A3F643-75FF-4577-B5D9-25B82F05D9E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702604$52652938-0DAD-488D-9103-A43CD0787B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702604$834D31C6-583D-4110-9226-A3D3508DE194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702604$6C4D37CA-7071-4667-882C-28B6B5B5FBDE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"648f72141e71ba7eece3437af2f76b81124739c8","datavalue":{"value":{"entity-type":"item","numeric-id":33150,"id":"Q33150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702604$A927A6EA-3B84-4CE3-9E73-8A2B7F90C191","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":"Q2702604$8F90E794-FF65-4801-BE5B-F0D8173B5831","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a0a2fad2e441c4b351655277cfd5796686c3e14","datavalue":{"value":{"text":"Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2702604$D8FB4E15-D42F-4071-A2B6-A2B0463F7BEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2201f76c7b649b6f5740c5f69f5273a6976de54","datavalue":{"value":{"entity-type":"item","numeric-id":4264201,"id":"Q4264201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"716a75945c3b2bb510bfbc251ee9872fb83c1dc9","datavalue":{"value":{"amount":"+0.7189930081367493","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":"Q2702604$10974971-B58E-4809-910B-627210C7EA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba46022a2fc7e2be01305fa0448f1742e31bcf2","datavalue":{"value":{"entity-type":"item","numeric-id":1181711,"id":"Q1181711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa639717fa7f4961854306c3fe8aa141d3afd837","datavalue":{"value":{"amount":"+0.6875750422477722","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":"Q2702604$51701609-2CAE-4532-9479-3CAD66324D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96ebe6852bb12eb9c619bebfe7cce8a9db22423e","datavalue":{"value":{"entity-type":"item","numeric-id":4452648,"id":"Q4452648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d64b174b87bbc01192605ac23f47ce0ad94541","datavalue":{"value":{"amount":"+0.6866185069084167","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":"Q2702604$DC56D511-DCA8-44AD-BC1E-0ABB333C7037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4ca972053202fcadf05af1326afd1b3c2d5c94","datavalue":{"value":{"entity-type":"item","numeric-id":4287499,"id":"Q4287499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12aa4658a71fcd706b7e3a6f5b182671552867d9","datavalue":{"value":{"amount":"+0.6843584775924683","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":"Q2702604$8FD642AF-C1EF-45E4-AB78-D31FA6C3D119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cffc23e28741b245b0f435c2b5b2b9463170c6","datavalue":{"value":{"entity-type":"item","numeric-id":3804238,"id":"Q3804238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29c9c78e9f045d33c75d6a28580eda2b8503bf1","datavalue":{"value":{"amount":"+0.6804657578468323","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":"Q2702604$17A3826C-A999-4D69-A16D-6BAB48C1E8C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2702604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2702604"}}}}}