{"entities":{"Q2337337":{"pageid":2348080,"ns":120,"title":"Item:Q2337337","lastrevid":71885247,"modified":"2026-04-14T01:10:47Z","type":"item","id":"Q2337337","labels":{"en":{"language":"en","value":"Partial correctness of a factorial algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7132616"}},"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":"Q2337337$D9462FAC-E111-4215-BD65-F1A8BF92679D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c874884c194af2e6eedcf2c816d40dba6e788d9","datavalue":{"value":{"text":"Partial correctness of a factorial algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2337337$E71703C3-2531-4C76-8A33-D6F60F3AFEBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f190065115917d7deb2f211068321ead27f6bcdd","datavalue":{"value":"1432.68536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337337$2EA0ABFE-94C1-4337-96E4-DF07CDA0514D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97f5866402635b99149bc460396a826566782037","datavalue":{"value":{"entity-type":"item","numeric-id":2337336,"id":"Q2337336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$9709B83D-46FA-40DF-BDC4-015D5E4553FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"640c4be06d582c72de984ba8f70a853b3b8bd56b","datavalue":{"value":{"entity-type":"item","numeric-id":271902,"id":"Q271902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$7EF83814-6B81-425B-B3EA-1F0EFD38D49D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$43F53D9C-027B-4AEA-BF96-8CF6AA3F7041","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10393ba55f1a886ba53e75eccd4b56403eff1eb9","datavalue":{"value":{"time":"+2019-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2337337$95F2575A-ECAC-49D1-80C8-8345048E39E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337337$15A76569-8F7A-4731-9D3A-800A07C96FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337337$96AD7F41-AF58-4078-BCBF-61C5FABA12ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef7dfae23cf569636b2fd528ee315a73a6f45785","datavalue":{"value":"7132616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337337$A56FB52A-AB98-4568-B083-BE0F8B968983","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b22cb6eafc35dd79843d76b4fd21d938354c1ec","datavalue":{"value":"factorial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337337$FED6AA20-1671-4879-ABF2-5E1231602D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc330330af81c651fedbd47b883734cbc393641e","datavalue":{"value":"nominative data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337337$E96E50F7-688F-435A-A20F-5F031AFC2382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337337$61FEDECC-8FBE-4ADE-BB2F-1089D0988F72","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$0103343A-91CC-4182-BC82-329B76927940","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":"Q2337337$0CF4FD9D-014C-4864-A81A-47893F592C44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"312355332648428781d85a45c5e8decaab1bb56b","datavalue":{"value":"https://doi.org/10.2478/forma-2019-0017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2337337$B2357C47-35C3-4E18-B745-3DBA898741E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc81fe9f7b41d38b4e604d606860357be27cf7d0","datavalue":{"value":"W2963647469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337337$DC8E223C-0D72-4144-905A-2E921C5112F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$35D7AB9B-7EE5-41F4-922C-EAFCB7377B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$FBB2EC0A-C288-4431-A4C5-F51EAB0F9431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d861948f1f6146a05d3ce13e4c51b6e0c074be1f","datavalue":{"value":{"entity-type":"item","numeric-id":286794,"id":"Q286794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$7BF6E9C7-24AD-4952-8E34-C18DBCADFA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$59DBFFCA-98F2-4FB4-B384-1D0811BCA47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50098f7373776d4560222ecc8a748602d90caa1a","datavalue":{"value":{"entity-type":"item","numeric-id":1688748,"id":"Q1688748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$A4932D58-66BC-432C-B38F-1DB1BE1A2F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeae895a2eedc4d5094f7da768129446f8f2e69","datavalue":{"value":{"entity-type":"item","numeric-id":1650410,"id":"Q1650410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$5F96BC56-53EC-413C-AB2E-C11FB8AFF714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d91bfaa278ea5f6d261d9800ec324915876d776","datavalue":{"value":{"entity-type":"item","numeric-id":2311522,"id":"Q2311522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$40AC1FA3-2062-4499-ABCA-DBEAE74207A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca891fbeb599e54094d6325ea944d3297b062ae","datavalue":{"value":{"entity-type":"item","numeric-id":2311523,"id":"Q2311523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$9BAE7231-DB42-4A4C-A8D6-6ECB802D891C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44a6ed92c6c245811327538ca01c4b094bb1c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2311521,"id":"Q2311521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$B47F0E96-3C27-4A2E-BE38-DB44B9A14319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"804d612aa23ca04bde66555843a754f787b9f3b8","datavalue":{"value":{"entity-type":"item","numeric-id":1796766,"id":"Q1796766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$3B2FD110-516C-462C-B958-55B0E99CD8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129b34a25e9b7fb67fdfe3e59012717c8e20f4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1650373,"id":"Q1650373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$AEE3BD39-1F7D-4747-9C14-9FCB6C8EFCFA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e9495f03a3064449502c111a80fe4d98c55a500f","datavalue":{"value":"Q127494107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337337$10C04B4D-7713-44AE-B568-332A949A81BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c3428396f4df622b7d2da276fe529f6c83c0692","datavalue":{"value":"10.2478/FORMA-2019-0017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337337$E0203C92-28D4-4575-A596-B27AA265074B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7552db9fd04152d821844505552b66770fa20c25","datavalue":{"value":{"entity-type":"item","numeric-id":2113835,"id":"Q2113835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a188a295623ff08ad01fefaab1ad782aef124e33","datavalue":{"value":{"amount":"+0.9029317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2337337$0C3FEDD8-BAF6-4952-8272-E4E50DE05F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f90b9866779c45ae9ebcdc7c54fe7d4c323f7a","datavalue":{"value":{"entity-type":"item","numeric-id":2311524,"id":"Q2311524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"020184a58e4b2da6e62eb015c662b809b944dbfe","datavalue":{"value":{"amount":"+0.8853804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2337337$84041F40-6DEE-4475-AAD1-6266030DAF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1309c64ee93aec7c1d3e75069d0b5bfba7eb1a8","datavalue":{"value":{"entity-type":"item","numeric-id":2337338,"id":"Q2337338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c75ab28715674709570b4784c7323339bdc2d81","datavalue":{"value":{"amount":"+0.87759054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2337337$1C9ED9C9-2D6A-4BFF-A770-50DBCB9DC8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ca705eb370b7ac69d6ce1588382cccbb5697444","datavalue":{"value":{"entity-type":"item","numeric-id":2518042,"id":"Q2518042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337707c3c9285c0881f3d6ab8a35b2524cf176fb","datavalue":{"value":{"amount":"+0.8314787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2337337$295F4F9D-100A-42FF-9928-106759CFF4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c94076f6a5abefd7eb162009ef3679c701075ba","datavalue":{"value":{"entity-type":"item","numeric-id":3696513,"id":"Q3696513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30dccd9d0d41f61a6fb2dfa519b999a804362a84","datavalue":{"value":{"amount":"+0.83144987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2337337$B39A7F22-B25F-4DD3-9A74-2D96F43347B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee97db81d06bf1e8cc747ea3c878478864a8e720","datavalue":{"value":{"entity-type":"item","numeric-id":3124731,"id":"Q3124731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adae37e33eb7f50866b09fd886b5cd6acb1deb75","datavalue":{"value":{"amount":"+0.8313585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2337337$4AEAD798-7DD5-4A99-8F0F-6BAF35B8D8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c91a2c1998e553657eca53ac3177ca1e399acc05","datavalue":{"value":{"entity-type":"item","numeric-id":4348911,"id":"Q4348911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24600d9281927b16bd038dd90e3db30ab020d5f7","datavalue":{"value":{"amount":"+0.83021015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2337337$C3BFC89F-8198-41A7-B63F-D7857BA79173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c11e1bdc374c644d079728ab07e38fda2781b7","datavalue":{"value":{"entity-type":"item","numeric-id":3701098,"id":"Q3701098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a448d2ec99560bb8ae3a2f501f7bef5542722d4c","datavalue":{"value":{"amount":"+0.8275212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2337337$0EEACFBB-2191-4B1B-9E37-A4CE32E1D12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"223f5fa41e1e05e74b480dfd51630771831c529f","datavalue":{"value":{"entity-type":"item","numeric-id":4418645,"id":"Q4418645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f96aafeb12ab92e39b33dfdd861594cc0b58f2f","datavalue":{"value":{"amount":"+0.8193905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2337337$FECE747B-1CFE-42C7-9496-4557742C913E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"e68c451775d8e2699e023b1b9b74a9d21a410b77","datavalue":{"value":{"entity-type":"item","numeric-id":57038,"id":"Q57038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337337$6C503061-13D8-449A-A588-944629010B6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial correctness of a factorial algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_correctness_of_a_factorial_algorithm"}}}}}